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
2212011
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
1402003
The FSAP/NuSMV-SA safety analysis platform
M Bozzano, A Villafiorita
International Journal on Software Tools for Technology Transfer 9 (1), 5, 2007
1342007
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
1342003
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
1332005
Design and safety assessment of critical systems
M Bozzano, A Villafiorita
CRC press, 2010
1312010
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, ...
1092006
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
1062009
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
1022005
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
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
872006
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
872005
Symbolic fault tree analysis for reactive systems
M Bozzano, A Cimatti, F Tapparo
International Symposium on Automated Technology for Verification and …, 2007
792007
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
692005
Specification and refinement of discrete timing properties in Event-B
MR Sarshogh, M Butler
63*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
632003
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
552016
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
532014
Integrating fault tree analysis with event ordering information
M Bozzano, A Villafiorita
Proceedings of ESREL 2003, 247-254, 2003
512003
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
502015
The system can't perform the operation now. Try again later.
Articles 1–20