| Safety, dependability and performance analysis of extended AADL models M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri The Computer Journal 54 (5), 754-775, 2011 | 251 | 2011 |
| Design and safety assessment of critical systems M Bozzano, A Villafiorita CRC press, 2010 | 160 | 2010 |
| Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform M Bozzano, A Villafiorita Computer Safety, Reliability, and Security: 22nd International Conference …, 2003 | 156 | 2003 |
| The FSAP/NuSMV-SA safety analysis platform M Bozzano, A Villafiorita International Journal on Software Tools for Technology Transfer 9 (1), 5-24, 2007 | 153 | 2007 |
| Verifying industrial hybrid systems with MathSAT G Audemard, M Bozzano, A Cimatti, R Sebastiani Electronic Notes in Theoretical Computer Science 119 (2), 17-32, 2005 | 146 | 2005 |
| ESACS: an integrated methodology for design and safety analysis of complex systems M Bozzano, A Villafiorita, O Ĺkerlund, P Bieber, C Bougnol, E Böde, ... Proc. ESREL 2003, 2003 | 141 | 2003 |
| The COMPASS approach: Correctness, modelling and performability of aerospace systems M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri Computer Safety, Reliability, and Security: 28th International Conference …, 2009 | 126 | 2009 |
| ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects O Akerlund, P Bieber, E Boede, M Bozzano, M Bretschneider, C Castel, ... Conference ERTS'06, 2006 | 118 | 2006 |
| Efficient satisfiability modulo theories via delayed theory combination M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ... Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 113 | 2005 |
| MathSAT: Tight Integration of SAT and Mathematical Decision Procedures M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Journal of Automated Reasoning 35 (1-3), 265-293, 2005 | 101 | 2005 |
| Symbolic fault tree analysis for reactive systems M Bozzano, A Cimatti, F Tapparo Automated Technology for Verification and Analysis: 5th International …, 2007 | 93 | 2007 |
| Efficient theory combination via boolean search M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P van Rossum, ... Information and Computation 204 (10), 1493-1525, 2006 | 93 | 2006 |
| An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. M Bozzano, R Bruttomesso, A Cimatti, TA Junttila, P Van Rossum, ... TACAS 5, 317-333, 2005 | 93 | 2005 |
| 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 | 91 | 2016 |
| The mathsat 3 system M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005 | 77 | 2005 |
| Spacecraft early design validation using formal methods M Bozzano, A Cimatti, JP Katoen, P Katsaros, K Mokos, VY Nguyen, ... Reliability engineering & system safety 132, 20-35, 2014 | 73 | 2014 |
| Improving safety assessment of complex systems: An industrial case study M Bozzano, A Cavallo, M Cifaldi, L Valacca, A Villafiorita FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 73 | 2003 |
| Formal design and safety analysis of AIR6110 wheel brake system M Bozzano, A Cimatti, A Fernandes Pires, D Jones, G Kimberly, T Petri, ... Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 72 | 2015 |
| Integrating fault tree analysis with event ordering information M Bozzano, A Villafiorita Proceedings of ESREL 2003, 247-254, 2003 | 54 | 2003 |
| Encoding RTL constructs for MathSAT: a preliminary report M Bozzano, R Bruttomesso, A Cimatti, A Franzén, Z Hanna, ... Electronic Notes in Theoretical Computer Science 144 (2), 3-14, 2006 | 51 | 2006 |
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
