| 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, 2010 | 214 | 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 | 134 | 2003 |
| 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 | 128 | 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 | 128 | 2003 |
| The FSAP/NuSMV-SA safety analysis platform M Bozzano, A Villafiorita International Journal on Software Tools for Technology Transfer 9 (1), 5, 2007 | 126 | 2007 |
| Design and safety assessment of critical systems M Bozzano, A Villafiorita Auerbach Publications, 2010 | 111 | 2010 |
| 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, ... Proc. ERTS 2006, 1-11, 2006 | 102 | 2006 |
| 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 | 98 | 2005 |
| 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 | 92 | 2009 |
| 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 | 92 | 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, ... International Conference on Tools and Algorithms for the Construction and …, 2005 | 87 | 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 | 85 | 2006 |
| Symbolic fault tree analysis for reactive systems M Bozzano, A Cimatti, F Tapparo International Symposium on Automated Technology for Verification and …, 2007 | 73 | 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 | 66 | 2005 |
| 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 | 60 | 2003 |
| Specification and refinement of discrete timing properties in Event-B MR Sarshogh, M Butler | 56* | 2011 |
| 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 | 47 | 2016 |
| Integrating fault tree analysis with event ordering information M Bozzano, A Villafiorita Proceedings of ESREL 2003, 247-254, 2003 | 46 | 2003 |
| 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 | 44 | 2014 |
| A model checker for AADL M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ... International Conference on Computer Aided Verification, 562-565, 2010 | 40 | 2010 |
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
