


Остановите войну!
for scientists:
Alessandro Cimatti
Person information

- affiliation: Fondazione Bruno Kessler, Trento, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c185]Alessandro Cimatti
, Luca Geatti
, Nicola Gigante
, Angelo Montanari
, Stefano Tonetta
:
A first-order logic characterisation of safety and co-safety languages. FoSSaCS 2022: 244-263 - [c184]Arturo Amendola, Anna Becchi
, Roberto Cavada, Alessandro Cimatti
, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni:
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. TACAS (1) 2022: 125-142 - [c183]Marco Bozzano
, Alessandro Cimatti
, Alberto Griggio
, Martin Jonás
:
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) 2022: 273-291 - [c182]Marco Bozzano
, Alessandro Cimatti
, Stefano Tonetta
, Viktória Vozárová:
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) 2022: 543-560 - 2021
- [j48]Marco Bozzano
, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei:
Model-based Safety Assessment of a Triple Modular Generator with xSAP. Formal Aspects Comput. 33(2): 251-295 (2021) - [j47]Marco Bozzano
, Alessandro Cimatti
, Marco Roveri
:
A Comprehensive Approach to On-board Autonomy Verification and Validation. ACM Trans. Intell. Syst. Technol. 12(4): 46:1-46:29 (2021) - [c181]Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone:
Automatic Design Space Exploration of Redundant Architectures. ApplePies 2021: 149-154 - [c180]Alessandro Cimatti
, Alberto Griggio
, Enrico Magnago
:
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. ATVA 2021: 32-47 - [c179]Alessandro Cimatti
, Alberto Griggio
, Gianluca Redondi
:
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. CADE 2021: 131-147 - [c178]Marco Bozzano
, Alessandro Cimatti
, Anthony Fernandes Pires, Alberto Griggio
, Martin Jonás
, Greg Kimberly:
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) 2021: 209-230 - [c177]Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta:
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) 2021: 529-551 - [c176]Muhammad Syifa'ul Mufid, Andrea Micheli
, Alessandro Abate, Alessandro Cimatti:
SMT-Based Model Checking of Max-Plus Linear Systems. CONCUR 2021: 22:1-22:20 - [c175]Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri
, Roberto Sebastiani, Patrick Trentin:
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. FroCoS 2021: 213-231 - [c174]Anna Becchi, Alessandro Cimatti, Enea Zaffanella:
Reverse engineering with P-stable Abstractions. OVERLAY@GandALF 2021: 91-95 - [c173]Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
Assumption-Based Runtime Verification of Infinite-State Systems. RV 2021: 207-227 - [c172]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM 2021: 351-371 - [c171]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli
, Parisa Zehtabi:
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. TIME 2021: 13:1-13:14 - [c170]Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
Proving the Existence of Fair Paths in Infinite-State Systems. VMCAI 2021: 104-126 - [c169]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Expressiveness of Extended Bounded Response LTL. GandALF 2021: 152-165 - [i16]Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. CoRR abs/2109.12821 (2021) - 2020
- [j46]Alessandro Cimatti, Alberto Griggio
, Enrico Magnago, Marco Roveri
, Stefano Tonetta:
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. 272: 104502 (2020) - [c168]Alessandro Valentini, Andrea Micheli, Alessandro Cimatti:
Temporal Planning with Intermediate Conditions and Effects. AAAI 2020: 9975-9982 - [c167]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c166]Alessandro Abate, Alessandro Cimatti, Andrea Micheli
, Muhammad Syifa'ul Mufid:
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS 2020: 161-177 - [c165]Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio
, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi:
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) 2020: 240-254 - [c164]Anna Becchi, Alessandro Cimatti, Enea Zaffanella
:
Synthesis of P-Stable Abstractions. SEFM 2020: 214-230 - [c163]Alessandro Cimatti
, Luca Geatti
, Alberto Griggio
, Greg Kimberly, Stefano Tonetta
:
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) 2020: 155-172 - [i15]Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid:
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. CoRR abs/2007.00505 (2020) - [i14]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR abs/2008.05335 (2020)
2010 – 2019
- 2019
- [j45]Marco Bozzano
, Alessandro Cimatti, Cristian Mattarei:
Formal reliability analysis of redundancy architectures. Formal Aspects Comput. 31(1): 59-94 (2019) - [c162]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
:
Robustness Envelopes for Temporal Plans. AAAI 2019: 7538-7545 - [c161]Alessandro Cimatti, Alberto Griggio
, Enrico Magnago, Marco Roveri
, Stefano Tonetta:
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) 2019: 376-386 - [c160]Goran Frehse
, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio
, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
:
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13 - [c159]Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
Assumption-Based Runtime Verification with Partial Observability and Resets. RV 2019: 165-184 - [c158]Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
NuRV: A nuXmv Extension for Runtime Verification. RV 2019: 382-392 - [c157]Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta:
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. SAFECOMP 2019: 200-215 - [c156]Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta:
COMPASS 3.0. TACAS (1) 2019: 379-385 - [i13]Alessandro Valentini, Andrea Micheli, Alessandro Cimatti:
Temporal Planning with Intermediate Conditions and Effects. CoRR abs/1909.11581 (2019) - [i12]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. CoRR abs/1911.07318 (2019) - 2018
- [j44]Alessandro Cimatti
, Minh Do, Andrea Micheli
, Marco Roveri
, David E. Smith
:
Strong temporal planning with uncontrollable durations. Artif. Intell. 256: 1-34 (2018) - [j43]Alessandro Cimatti
, Ramiro Demasi
, Stefano Tonetta:
Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. 52(1): 88-116 (2018) - [j42]Alessandro Cimatti, Alberto Griggio
, Ahmed Irfan, Marco Roveri
, Roberto Sebastiani:
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. ACM Trans. Comput. Log. 19(3): 19:1-19:52 (2018) - [c155]Alessandro Cimatti, Ivan Stojic, Stefano Tonetta:
Formal Specification and Verification of Dynamic Parametrized Architectures. FM 2018: 625-644 - [c154]Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa
, Giuseppe Cadavero, Giuseppe Scaglione:
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. FMCAD 2018: 1-9 - [c153]Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta:
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN 2018 - [c152]Alessandro Cimatti, Alberto Griggio
, Ahmed Irfan, Marco Roveri
, Roberto Sebastiani:
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT 2018: 383-398 - [c151]Sergey Mechtaev
, Alberto Griggio
, Alessandro Cimatti, Abhik Roychoudhury
:
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE 2018: 389-399 - [c150]Alessandro Cimatti, Alberto Griggio
, Ahmed Irfan, Marco Roveri
, Roberto Sebastiani:
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. SYNASC 2018: 19-26 - [i11]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. CoRR abs/1801.08718 (2018) - [i10]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR abs/1801.08723 (2018) - 2017
- [c149]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. AAAI 2017: 3547-3554 - [c148]Erika Ábrahám
, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler:
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE 2017: 6-10 - [c147]Alessandro Cimatti
, Alberto Griggio
, Ahmed Irfan, Marco Roveri
, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE 2017: 95-113 - [c146]Alessandro Cimatti, Sergio Mover, Mirko Sessa
:
SMT-based analysis of switching multi-domain linear Kirchhoff networks. FMCAD 2017: 188-195 - [c145]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
:
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. IMBSA 2017: 255-271 - [c144]Alessandro Cimatti
, Alberto Griggio
, Ahmed Irfan, Marco Roveri
, Roberto Sebastiani:
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. TACAS (1) 2017: 58-75 - [e5]Marina Zanella, Ingo Pill, Alessandro Cimatti:
28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Kalpa Publications in Computing 4, EasyChair 2017 [contents] - [e4]Alessandro Cimatti, Marjan Sirjani:
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings. Lecture Notes in Computer Science 10469, Springer 2017, ISBN 978-3-319-66196-4 [contents] - 2016
- [j41]Alessandro Cimatti
, Luke Hunsberger, Andrea Micheli
, Roberto Posenato
, Marco Roveri
:
Dynamic controllability via Timed Game Automata. Acta Informatica 53(6-8): 681-722 (2016) - [j40]Erika Ábrahám
, John Abbott, Bernd Becker, Anna Maria Bigatti
, Martin Brain, Bruno Buchberger, Alessandro Cimatti
, James H. Davenport
, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio
, Daniel Kroening
, Werner M. Seiler
, Thomas Sturm
:
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50(4): 145-147 (2016) - [j39]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. 49(3): 190-218 (2016) - [c143]Benjamin Bittner, Marco Bozzano
, Alessandro Cimatti, Gianni Zampedri:
Automated Verification and Tightening of Failure Propagation Models. AAAI 2016: 907-913 - [c142]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. AAAI 2016: 3116-3122 - [c141]Alessandro Cimatti, Marco Gario, Stefano Tonetta:
A Lazy Approach to Temporal Epistemic Logic Model Checking. AAMAS 2016: 1218-1226 - [c140]Marco Gario
, Alessandro Cimatti
, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier:
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) 2016: 3-22 - [c139]Jakub Daniel
, Alessandro Cimatti
, Alberto Griggio
, Stefano Tonetta, Sergio Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) 2016: 271-291 - [c138]Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Verilog2SMV: A tool for word-level verification. DATE 2016: 1156-1159 - [c137]Alessandro Cimatti
, Sergio Mover, Mirko Sessa
:
From Electrical Switched Networks to Hybrid Automata. FM 2016: 164-181 - [c136]Roberto Cavada, Alessandro Cimatti
, Luigi Crema, Mattia Roccabruna, Stefano Tonetta:
Model-Based Design of an Energy-System Embedded Controller Using Taste. FM 2016: 741-747 - [c135]Benjamin Bittner, Marco Bozzano
, Alessandro Cimatti:
Automated Synthesis of Timed Failure Propagation Graphs. IJCAI 2016: 972-978 - [c134]Erika Ábrahám
, John Abbott, Bernd Becker, Anna Maria Bigatti
, Martin Brain, Bruno Buchberger, Alessandro Cimatti
, James H. Davenport
, Matthew England
, Pascal Fontaine, Stephen Forrest, Alberto Griggio
, Daniel Kroening
, Werner M. Seiler
, Thomas Sturm
:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [c133]Alessandro Cimatti
, Ramiro Demasi, Stefano Tonetta:
Tightening a Contract Refinement. SEFM 2016: 386-402 - [c132]Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti
, Marco Gario
, Alberto Griggio
, Cristian Mattarei, Andrea Micheli
, Gianni Zampedri:
The xSAP Safety Analysis Platform. TACAS 2016: 533-539 - [i9]Erika Ábrahám
, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking and Symbolic Computation. CoRR abs/1607.06945 (2016) - [i8]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR abs/1607.08028 (2016) - 2015
- [j38]Alessandro Cimatti
, Andrea Micheli
, Marco Roveri
:
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artif. Intell. 224: 1-27 (2015) - [j37]Alessandro Cimatti
, Andrea Micheli
, Marco Roveri
:
Solving strong controllability of temporal problems with uncertainty using SMT. Constraints An Int. J. 20(1): 1-29 (2015) - [j36]Marco Bozzano
, Alessandro Cimatti
, Marco Gario
, Stefano Tonetta:
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Log. Methods Comput. Sci. 11(4) (2015) - [j35]Alessandro Cimatti
, Marco Roveri
, Stefano Tonetta:
HRELTL: A temporal logic for hybrid systems. Inf. Comput. 245: 54-71 (2015) - [j34]Alessandro Cimatti
, Stefano Tonetta:
Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Program. 97: 333-348 (2015) - [j33]Marco Bozzano
, Alessandro Cimatti
, Oleg Lisagor, Cristian Mattarei
, Sergio Mover, Marco Roveri
, Stefano Tonetta:
Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98: 464-483 (2015) - [c131]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. AAAI 2015: 3254-3260 - [c130]Marco Bozzano
, Alessandro Cimatti, Marco Gario, Andrea Micheli:
SMT-Based Validation of Timed Failure Propagation Graphs. AAAI 2015: 3724-3730 - [c129]Simon Bliudze, Alessandro Cimatti
, Mohamad Jaber
, Sergio Mover, Marco Roveri
, Wajeb Saab
, Qiang Wang:
Formal Verification of Infinite-State BIP Models. ATVA 2015: 326-343 - [c128]Marco Bozzano, Alessandro Cimatti
, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta:
Formal Design and Safety Analysis of AIR6110 Wheel Brake System. CAV (1) 2015: 518-535 - [c127]Marco Bozzano, Alessandro Cimatti
, Alberto Griggio
, Cristian Mattarei
:
Efficient Anytime Techniques for Model-Based Safety Analysis. CAV (1) 2015: 603-621 - [c126]Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier:
Comparing Different Functional Allocations in Automated Air Traffic Control Design. FMCAD 2015: 112-119 - [c125]Alessandro Cimatti
, Rance DeLong, Davide Marcantonio, Stefano Tonetta:
Combining MILS with Contract-Based Design for Safety and Security Requirements. SAFECOMP Workshops 2015: 264-276 - [c124]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter Synthesis with IC3 (Informal Presentation). SynCoP 2015: 106-107 - [c123]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
HyComp: An SMT-Based Model Checker for Hybrid Systems. TACAS 2015: 52-67 - [i7]Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri:
The xSAP Safety Analysis Platform. CoRR abs/1504.07513 (2015) - 2014
- [j32]Alessandro Cimatti
, Sergio Mover, Stefano Tonetta:
Quantifier-free encoding of invariants for hybrid systems. Formal Methods Syst. Des. 45(2): 165-188 (2014) - [j31]Marco Bozzano
, Alessandro Cimatti
, Joost-Pieter Katoen
, Panagiotis Katsaros
, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll
, Bart Postma, Marco Roveri
:
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132: 20-35 (2014) - [c122]Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri:
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. AAAI 2014: 2242-2249 - [c121]Marco Bozzano, Alessandro Cimatti
, Cristian Mattarei, Stefano Tonetta:
Formal Safety Assessment via Contract-Based Design. ATVA 2014: 81-97 - [c120]Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio
, Alessandro Mariotti, Andrea Micheli
, Sergio Mover, Marco Roveri, Stefano Tonetta:
The nuXmv Symbolic Model Checker. CAV 2014: 334-342 - [c119]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
Verifying LTL Properties of Hybrid Systems with K-Liveness. CAV 2014: 424-440 - [c118]Benjamin Bittner, Marco Bozzano
, Alessandro Cimatti
, Marco Gario
, Alberto Griggio
:
Towards Pareto-optimal parameter synthesis for monotonic cost functions. FMCAD 2014: 23-30 - [c117]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein:
An Integrated Process for FDIR Design in Aerospace. IMBSA 2014: 82-95 - [c116]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS 2014: 46-61 - [c115]Marco Bozzano, Alessandro Cimatti
, Marco Gario
, Stefano Tonetta:
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. TACAS 2014: 326-340 - [c114]Alessandro Cimatti
, Luke Hunsberger, Andrea Micheli
, Roberto Posenato
, Marco Roveri
:
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. TIME 2014: 27-36 - [i6]Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. CoRR abs/1401.3878 (2014) - [i5]Alessandro Cimatti
, Stefan Edelkamp, Maria Fox, Daniele Magazzeni
, Erion Plaku:
Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports 4(11): 227-245 (2014) - 2013
- [j30]Alessandro Cimatti
, Sergio Mover, Stefano Tonetta:
SMT-based scenario verification for hybrid systems. Formal Methods Syst. Des. 42(1): 46-66 (2013) - [j29]Alessandro Cimatti
, Iman Narasamdya, Marco Roveri
:
Software Model Checking SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(5): 774-787 (2013) - [c113]Marco Bozzano
, Alessandro Cimatti, Marco Gario, Stefano Tonetta:
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. AAAI (Late-Breaking Developments) 2013 - [c112]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Timelines with Temporal Uncertainty. AAAI 2013 - [c111]Alessandro Cimatti
:
SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads. ATVA 2013: 23 - [c110]Sergio Mover, Alessandro Cimatti
, Ashish Tiwari, Stefano Tonetta:
Time-aware relational abstractions for hybrid systems. EMSOFT 2013: 14:1-14:10 - [c109]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter synthesis with IC3. FMCAD 2013: 165-168 - [c108]Marco Bozzano, Alessandro Cimatti
, Cristian Mattarei:
Efficient Analysis of Reliability Architectures via Predicate Abstraction. Haifa Verification Conference 2013: 279-294 - [c107]Marco Bozzano
, Alessandro Cimatti
, Cristian Mattarei
:
Automated Analysis of Reliability Architectures. ICECCS 2013: 198-207 - [c106]Alessandro Cimatti
, Michele Dorigatti, Stefano Tonetta:
OCRA: A tool for checking the refinement of temporal contracts. ASE 2013: 702-705 - [c105]