Follow
Marco Bozzano
Marco Bozzano
Verified email at fbk.eu
Title
Cited by
Cited by
Year
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
2472011
Design and safety assessment of critical systems
M Bozzano, A Villafiorita
CRC press, 2010
1572010
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
1542003
The FSAP/NuSMV-SA safety analysis platform
M Bozzano, A Villafiorita
International Journal on Software Tools for Technology Transfer 9 (1), 5-24, 2007
1512007
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
1442005
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
1412003
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
1222009
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
1162006
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
1132005
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
SAT 2005: Satisfiability Research in the Year 2005, 265-293, 2006
1002006
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
932006
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
932005
Symbolic fault tree analysis for reactive systems
M Bozzano, A Cimatti, F Tapparo
Automated Technology for Verification and Analysis: 5th International …, 2007
902007
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
862016
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
752005
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
722003
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
702014
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
692015
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
512006
Integrating fault tree analysis with event ordering information
M Bozzano, A Villafiorita
Proceedings of ESREL 2003, 247-254, 2003
512003
The system can't perform the operation now. Try again later.
Articles 1–20