| 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 | 668 | 2014 |
| PySMT: a solver-agnostic library for fast prototyping of SMT-based algorithms M Gario, A Micheli SMT workshop 2015, 2015 | 164 | 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 | 107 | 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 | 102 | 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 | 83 | 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 | 48 | 2014 |
| Dynamic controllability via timed game automata A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri Acta Informatica 53, 681-722, 2016 | 43 | 2016 |
| Solving strong controllability of temporal problems with uncertainty using SMT A Cimatti, A Micheli, M Roveri Constraints 20, 1-29, 2015 | 35 | 2015 |
| Timelines with temporal uncertainty A Cimatti, A Micheli, M Roveri Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 195-201, 2013 | 33 | 2013 |
| 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 |
| Strong temporal planning with uncontrollable durations A Cimatti, M Do, A Micheli, M Roveri, DE Smith Artificial Intelligence 256, 1-34, 2018 | 28 | 2018 |
| 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 | 24 | 2016 |
| 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 | 24 | 2015 |
| Solving temporal problems using smt: Strong controllability A Cimatti, A Micheli, M Roveri International Conference on Principles and Practice of Constraint …, 2012 | 23 | 2012 |
| 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 | 22 | 2020 |
| 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 |
| 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 | 21 | 2019 |
| 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 | 19 | 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 |
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
