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
2622011
Design and safety assessment of critical systems
M Bozzano, A Villafiorita
CRC press, 2010
1682010
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
1592003
The FSAP/NuSMV-SA safety analysis platform
M Bozzano, A Villafiorita
International Journal on Software Tools for Technology Transfer 9 (1), 5-24, 2007
1552007
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
1422003
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
1272009
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
1192006
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
1122005
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
1032005
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
992016
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
952005
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
Symbolic fault tree analysis for reactive systems
M Bozzano, A Cimatti, F Tapparo
International Symposium on Automated Technology for Verification and …, 2007
922007
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
812014
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
772005
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
752003
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
722015
Integrating fault tree analysis with event ordering information
M Bozzano, A Villafiorita
Proceedings of ESREL 2003, 247-254, 2003
522003
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
502006
The system can't perform the operation now. Try again later.
Articles 1–20