| 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 | 223 | 2011 |
| 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 | 140 | 2003 |
| The FSAP/NuSMV-SA safety analysis platform M Bozzano, A Villafiorita International Journal on Software Tools for Technology Transfer 9 (1), 5, 2007 | 134 | 2007 |
| 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 | 134 | 2003 |
| Design and safety assessment of critical systems M Bozzano, A Villafiorita CRC press, 2010 | 133 | 2010 |
| 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 | 133 | 2005 |
| 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, ... | 110 | 2006 |
| The COMPASS approach: Correctness, modelling and performability of aerospace systems M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri International conference on computer safety, reliability, and security, 173-186, 2009 | 106 | 2009 |
| Efficient satisfiability modulo theories via delayed theory combination M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ... International Conference on Computer Aided Verification, 335-349, 2005 | 102 | 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 | 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 | 87 | 2006 |
| 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, ... International Conference on Tools and Algorithms for the Construction and …, 2005 | 87 | 2005 |
| Symbolic fault tree analysis for reactive systems M Bozzano, A Cimatti, F Tapparo International Symposium on Automated Technology for Verification and …, 2007 | 79 | 2007 |
| The mathsat 3 system M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... International Conference on Automated Deduction, 315-321, 2005 | 69 | 2005 |
| Specification and refinement of discrete timing properties in Event-B MR Sarshogh, M Butler | 64* | 2011 |
| Improving safety assessment of complex systems: An industrial case study M Bozzano, A Cavallo, M Cifaldi, L Valacca, A Villafiorita International Symposium of Formal Methods Europe, 208-222, 2003 | 64 | 2003 |
| 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 | 58 | 2016 |
| 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 | 53 | 2014 |
| Integrating fault tree analysis with event ordering information M Bozzano, A Villafiorita Proceedings of ESREL 2003, 247-254, 2003 | 51 | 2003 |
| Formal design and safety analysis of AIR6110 wheel brake system M Bozzano, A Cimatti, AF Pires, D Jones, G Kimberly, T Petri, R Robinson, ... International Conference on Computer Aided Verification, 518-535, 2015 | 50 | 2015 |
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerEmail verificata su fbk.eu
