Marco Bozzano
Marco Bozzano
Email verificata su fbk.eu
TitoloCitata daAnno
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
2102010
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
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
1282005
The FSAP/NuSMV-SA safety analysis platform
M Bozzano, A Villafiorita
International Journal on Software Tools for Technology Transfer 9 (1), 5, 2007
1242007
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
1222003
Design and safety assessment of critical systems
M Bozzano, A Villafiorita
Auerbach Publications, 2010
1102010
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
972005
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
962006
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
922005
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
902009
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
862005
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
842006
Symbolic fault tree analysis for reactive systems
M Bozzano, A Cimatti, F Tapparo
International Symposium on Automated Technology for Verification andá…, 2007
732007
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
662005
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
602003
Specification and refinement of discrete timing properties in Event-B
MR Sarshogh, M Butler
53*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
472016
Integrating fault tree analysis with event ordering information
M Bozzano, A Villafiorita
Proceedings of ESREL 2003, 247-254, 2003
462003
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
412014
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
402010
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20