| PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms M Gario, A Micheli SMT Workshop 2015, 2015 | 214 | 2015 |
| 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 | 108 | 2016 |
| Model Checking at Scale: Automated Air Traffic Control Design Space Exploration M Gario, A Cimatti, C Mattarei, S Tonetta, KY Rozier International Conference on Computer Aided Verification, 3-22, 2016 | 59 | 2016 |
| An integrated process for FDIR design in aerospace B Bittner, M Bozzano, A Cimatti, R De Ferluc, M Gario, A Guiotto, ... International Symposium on Model-Based Safety and Assessmemt, 82-95, 2014 | 46 | 2014 |
| Comparing Different Functional Allocations in Automated Air Traffic Control Design C Mattarei, A Cimatti, M Gario, S Tonetta, KY Rozier FMCAD, 2015 | 30 | 2015 |
| SMT-based validation of timed failure propagation graphs M Bozzano, A Cimatti, M Gario, A Micheli Twenty-ninth AAAI Conference on Artificial Intelligence, 2015 | 29 | 2015 |
| Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic M Bozzano, A Cimatti, M Gario, S Tonetta Logical Methods In Computer Science 11 (4), 2015 | 24 | 2015 |
| Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic M Bozzano, A Cimatti, M Gario, S Tonetta Tools and Algorithms for the Construction and Analysis of Systems - 20th …, 2014 | 24 | 2014 |
| Formal Verification of Train Control with Air Pressure Brakes S Mitsch, M Gario, CJ Budnik, M Golm, A Platzer International Conference on Reliability, Safety and Security of Railway …, 2017 | 21 | 2017 |
| FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV D Ratiu, M Gario, H Schoenhaar Proceedings of the 7th International Workshop on Formal Methods in Software …, 2019 | 17 | 2019 |
| Towards Pareto-optimal parameter synthesis for monotonic cost functions B Bittner, M Bozzano, A Cimatti, M Gario, A Griggio Proceedings of the 14th Conference on Formal Methods in Computer-Aided …, 2014 | 13 | 2014 |
| A Lazy Approach to Temporal Epistemic Logic Model Checking A Cimatti, M Gario, S Tonetta Proceedings of the 2016 International Conference on Autonomous Agents …, 2016 | 12 | 2016 |
| Diagnosability of fair transition systems B Bittner, M Bozzano, A Cimatti, M Gario, S Tonetta, V Vozarova Artificial Intelligence 309, 103725, 2022 | 11 | 2022 |
| Model-based safety assessment of a triple modular generator with xSAP M Bozzano, A Cimatti, M Gario, D Jones, C Mattarei Formal Aspects of Computing 33 (2), 251-295, 2021 | 11 | 2021 |
| Automated generation of FDIR for the compass integrated toolset (AUTOGEF) E Alaña, H Naranjo, Y Yushtein, M Bozzano, A Cimatti, M Gario, ... DASIA 2012, 2012 | 11 | 2012 |
| Guided test case generation through AI enabled output space exploration C Budnik, M Gario, G Markov, Z Wang Proceedings of the 13th International Workshop on Automation of Software …, 2018 | 10 | 2018 |
| Artificial intelligence enabled output space exploration for guided test case generation C Budnik, G Markov, M Gario, Z Wang US Patent 11,630,758, 2023 | 7 | 2023 |
| System for provably robust interpretable machine learning models D Fradkin, M Gario, B Dey, I Akrotirianakis, G Markov, A Roy, ... US Patent App. 18/041,002, 2023 | 6 | 2023 |
| Automated reasoning in temporal DL-Lite S Tahrat, G Braun, A Artale, M Gario, A Ozaki arXiv preprint arXiv:2008.07463, 2020 | 6 | 2020 |
| Fame process: A dedicated development and V&V process for FDIR A Guiotto, R De Ferluc, M Bozzano, A Cimatti, M Gario, Y Yushtein Proc. DAta Systems In Aerospace, DASIA 2014, 2014 | 5 | 2014 |
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
