| 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 | 475 | 2014 |
| PySMT: a solver-agnostic library for fast prototyping of SMT-based algorithms M Gario, A Micheli SMT workshop 2015, 2015 | 103 | 2015 |
| Verifying SystemC: A software model checking approach A Cimatti, A Micheli, I Narasamdya, M Roveri Formal Methods in Computer Aided Design, 51-59, 2010 | 99 | 2010 |
| 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 | 78 | 2016 |
| 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 | 73 | 2011 |
| 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 | 46 | 2014 |
| Dynamic controllability via timed game automata A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri Acta Informatica 53 (6), 681-722, 2016 | 37 | 2016 |
| Timelines with temporal uncertainty A Cimatti, A Micheli, M Roveri Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013 | 29 | 2013 |
| Solving strong controllability of temporal problems with uncertainty using SMT A Cimatti, A Micheli, M Roveri Constraints 20 (1), 1-29, 2015 | 28 | 2015 |
| 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 | 27 | 2014 |
| 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 | 22 | 2015 |
| Strong temporal planning with uncontrollable durations A Cimatti, M Do, A Micheli, M Roveri, DE Smith Artificial Intelligence 256, 1-34, 2018 | 21 | 2018 |
| Strong temporal planning with uncontrollable durations: a state-space approach A Cimatti, A Micheli, M Roveri Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015 | 21 | 2015 |
| Solving temporal problems using smt: Strong controllability A Cimatti, A Micheli, M Roveri International Conference on Principles and Practice of Constraint …, 2012 | 21 | 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 | 19 | 2009 |
| 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 | 18 | 2016 |
| 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 | 17 | 2015 |
| 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 | 17 | 2012 |
| 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 | 12 | 2019 |
| 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 | 12 | 2015 |
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
