| 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 | 266 | 2011 |
| Design and safety assessment of critical systems M Bozzano, A Villafiorita CRC press, 2010 | 169 | 2010 |
| Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform M Bozzano, A Villafiorita International Conference on Computer Safety, Reliability, and Security, 49-62, 2003 | 159 | 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 | 155 | 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 | 143 | 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 | 130 | 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 | 119 | 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 | 112 | 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 | 102 | 2016 |
| 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), 265-293, 2005 | 102 | 2005 |
| An incremental and layered procedure for the satisfiability of linear arithmetic logic M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 95 | 2005 |
| 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 | 94 | 2006 |
| Symbolic fault tree analysis for reactive systems M Bozzano, A Cimatti, F Tapparo International Symposium on Automated Technology for Verification and …, 2007 | 93 | 2007 |
| 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 | 84 | 2014 |
| 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 | 79 | 2015 |
| 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 |
| 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 | 75 | 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 |
| Integrating fault tree analysis with event ordering information M Bozzano, A Villafiorita Proceedings of ESREL 2003, 247-254, 2003 | 50 | 2003 |
Alessandro CimattiFondazione Bruno KesslerEmail verificata su fbk.eu
