| 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 | 311 | 2014 |
| Verifying SystemC: a software model checking approach A Cimatti, A Micheli, I Narasamdya, M Roveri Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010 | 86 | 2010 |
| 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 | 60 | 2011 |
| 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 | 47 | 2016 |
| PySMT: a solver-agnostic library for fast prototyping of SMT-based algorithms M Gario, A Micheli SMT Workshop 2015, 2015 | 45 | 2015 |
| 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 | 38 | 2014 |
| Dynamic controllability via timed game automata A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri Acta Informatica 53 (6-8), 681-722, 2016 | 30 | 2016 |
| Solving strong controllability of temporal problems with uncertainty using SMT A Cimatti, A Micheli, M Roveri Constraints 20 (1), 1-29, 2015 | 27 | 2015 |
| Using timed game automata to synthesize execution strategies for simple temporal networks with uncertainty A Cimatti, L Hunsberger, A Micheli, M Roveri Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014 | 24 | 2014 |
| Timelines with temporal uncertainty A Cimatti, A Micheli, M Roveri Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013 | 22 | 2013 |
| Solving temporal problems using smt: Strong controllability A Cimatti, A Micheli, M Roveri International Conference on Principles and Practice of Constraint …, 2012 | 20 | 2012 |
| 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 | 18 | 2009 |
| Strong temporal planning with uncontrollable durations: a state-space approach A Cimatti, A Micheli, M Roveri Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015 | 17 | 2015 |
| 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 | 16 | 2015 |
| Solving temporal problems using SMT: weak controllability A Cimatti, A Micheli, M Roveri Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012 | 16 | 2012 |
| SMT-based validation of timed failure propagation graphs M Bozzano, A Cimatti, M Gario, A Micheli Twenty-ninth AAAI Conference on Artificial Intelligence, 2015 | 13 | 2015 |
| 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 | 11 | 2015 |
| Strong temporal planning with uncontrollable durations A Cimatti, M Do, A Micheli, M Roveri, DE Smith Artificial Intelligence 256, 1-34, 2018 | 10 | 2018 |
| Dynamic controllability of disjunctive temporal networks: Validation and synthesis of executable strategies A Cimatti, A Micheli, M Roveri Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 9 | 2016 |
| nuXmv 2.0. 0 User Manual M Bozzano, R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, ... | 5 | 2019 |
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
