| 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 | 540 | 2014 |
| PySMT: a solver-agnostic library for fast prototyping of SMT-based algorithms M Gario, A Micheli SMT workshop 2015, 2015 | 123 | 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 | 100 | 2010 |
| 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 | 88 | 2016 |
| Kratos – A Software Model Checker for SystemC A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 76 | 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 | 47 | 2014 |
| Dynamic controllability via timed game automata A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri Acta Informatica 53, 681-722, 2016 | 40 | 2016 |
| Timelines with temporal uncertainty A Cimatti, A Micheli, M Roveri Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013 | 33 | 2013 |
| Solving strong controllability of temporal problems with uncertainty using SMT A Cimatti, A Micheli, M Roveri Constraints 20, 1-29, 2015 | 31 | 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 | 29 | 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 | 23 | 2015 |
| Solving temporal problems using smt: Strong controllability A Cimatti, A Micheli, M Roveri Principles and Practice of Constraint Programming: 18th International …, 2012 | 23 | 2012 |
| Strong temporal planning with uncontrollable durations A Cimatti, M Do, A Micheli, M Roveri, DE Smith Artificial Intelligence 256, 1-34, 2018 | 22 | 2018 |
| 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 | 22 | 2015 |
| 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 | 21 | 2016 |
| 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 | 21 | 2009 |
| 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 | 18 | 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 | 18 | 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 | 15 | 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 | 13 | 2015 |
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
