Seguir
Andrea Micheli
Título
Citado por
Citado por
Año
The nuXmv Symbolic Model Checker
R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
6422014
PySMT: a solver-agnostic library for fast prototyping of SMT-based algorithms
M Gario, A Micheli
SMT workshop 2015, 2015
1562015
Verifying SystemC: A software model checking approach
A Cimatti, A Micheli, I Narasamdya, M Roveri
Formal Methods in Computer Aided Design, 51-59, 2010
1042010
The xSAP Safety Analysis Platform
B Bittner, M Bozzano, R Cavada, A Cimatti, M Gario, A Griggio, C Mattarei, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
1002016
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
812011
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
492014
Dynamic controllability via timed game automata
A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri
Acta Informatica 53, 681-722, 2016
442016
Solving strong controllability of temporal problems with uncertainty using SMT
A Cimatti, A Micheli, M Roveri
Constraints 20, 1-29, 2015
352015
Timelines with temporal uncertainty
A Cimatti, A Micheli, M Roveri
Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 195-201, 2013
342013
Using timed game automata to synthesize execution strategies for simple temporal networks with uncertainty
A Cimatti, L Hunsberger, A Micheli, M Roveri
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
312014
Strong temporal planning with uncontrollable durations
A Cimatti, M Do, A Micheli, M Roveri, DE Smith
Artificial Intelligence 256, 1-34, 2018
282018
Dynamic controllability of disjunctive temporal networks: Validation and synthesis of executable strategies
A Cimatti, A Micheli, M Roveri
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
242016
SMT-based validation of timed failure propagation graphs
M Bozzano, A Cimatti, M Gario, A Micheli
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
242015
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
242009
Strong temporal planning with uncontrollable durations: a state-space approach
A Cimatti, A Micheli, M Roveri
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
232015
Solving temporal problems using smt: Strong controllability
A Cimatti, A Micheli, M Roveri
International Conference on Principles and Practice of Constraint …, 2012
232012
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
202015
nuXmv 2.0. 0 User Manual
M Bozzano, R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, ...
Fondazione Bruno Kessler, Tech. Rept., Trento, Italy, 2019
192019
Temporal planning with intermediate conditions and effects
A Valentini, A Micheli, A Cimatti
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9975-9982, 2020
182020
Solving temporal problems using SMT: weak controllability
A Cimatti, A Micheli, M Roveri
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 448-454, 2012
182012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20