Andrea Micheli
Title
Cited by
Cited by
Year
The nuXmv symbolic model checker
R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...
International Conference on Computer Aided Verification, 334-342, 2014
3632014
Verifying SystemC: a software model checking approach
A Cimatti, A Micheli, I Narasamdya, M Roveri
Formal Methods in Computer Aided Design, 51-59, 2010
892010
Kratos – A Software Model Checker for SystemC
A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri
International Conference on Computer Aided Verification, 310-316, 2011
652011
PySMT: a solver-agnostic library for fast prototyping of SMT-based algorithms
M Gario, A Micheli
SMT workshop 2015, 2015
622015
The xSAP Safety Analysis Platform
B Bittner, M Bozzano, R Cavada, A Cimatti, M Gario, A Griggio, C Mattarei, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
542016
Sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation
A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri
2014 21st International Symposium on Temporal Representation and Reasoning …, 2014
422014
Dynamic controllability via timed game automata
A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri
Acta Informatica 53 (6-8), 681-722, 2016
342016
Solving strong controllability of temporal problems with uncertainty using SMT
A Cimatti, A Micheli, M Roveri
Constraints 20 (1), 1-29, 2015
262015
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.
A Cimatti, L Hunsberger, A Micheli, M Roveri
AAAI, 2242-2249, 2014
252014
Timelines with Temporal Uncertainty.
A Cimatti, A Micheli, M Roveri
AAAI, 195-201, 2013
242013
Strong temporal planning with uncontrollable durations: a state-space approach
A Cimatti, A Micheli, M Roveri
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
212015
Solving temporal problems using smt: Strong controllability
A Cimatti, A Micheli, M Roveri
International Conference on Principles and Practice of Constraint …, 2012
202012
Supporting requirements validation: The EuRailCheck tool
R Cavada, A Cimatti, A Mariotti, C Mattarei, A Micheli, S Mover, ...
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
182009
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
A Cimatti, A Micheli, M Roveri
Artificial Intelligence 224, 1-27, 2015
162015
SMT-Based Validation of Timed Failure Propagation Graphs.
M Bozzano, A Cimatti, M Gario, A Micheli
AAAI, 3724-3730, 2015
162015
Solving Temporal Problems Using SMT: Weak Controllability.
A Cimatti, A Micheli, M Roveri
AAAI, 448-454, 2012
162012
Strong temporal planning with uncontrollable durations
A Cimatti, M Do, A Micheli, M Roveri, DE Smith
Artificial Intelligence 256, 1-34, 2018
152018
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies.
A Cimatti, A Micheli, M Roveri
AAAI, 3116-3122, 2016
122016
Compiling away uncertainty in strong temporal planning with uncontrollable durations
A Micheli, M Do, DE Smith
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
112015
nuXmv 2.0 User Manual
M Bozzano, R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, ...
Fondazione Bruno Kessler, Tech. Rept., Trento, Italy, 2019
72019
The system can't perform the operation now. Try again later.
Articles 1–20