Marco Bozzano

Publications

1. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA = COMPASS + TASTE
2. Lanzani Isabella; Scattolini Riccardo; Zio Enrico; Cimatti Alessandro; Bozzano Marco; Tonetta Stefano, Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis
3. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA: Integrating COMPASS Functionality into TASTE
4. Bozzano Marco; Bussola Riccardo; Cristoforetti Marco; Goyal Srajan; Jonas Martin; Kapellos Konstantinos; Micheli Andrea; Soldà Davide; Tonetta Stefano; Tranoris Christos; Valentini Alessandro, RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets
5. Bozzano Marco; Cimatti Alessandro; Tonetta Stefano; Vozárová Viktória, Searching for Ribbon-Shaped Paths in Fair Transition Systems
6. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Jonas Martin, Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
7. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano; Vozárová Viktória, Diagnosability of fair transition systems
8. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Jonas Martin; Kimberly Greg, Analysis of Cyclic Fault Propagation via ASP
9. Bombardelli Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano, COMPASTA: Extending TASTE with Formal Design and Verification Functionality
10. Amendola Arturo; Barruffo Lorenzo; Bozzano Marco; Cimatti Alessandro; De Simone Salvatore; Fedeli Eugenio; Gabbasov Artem; Ernesto Garrubba Domenico; Girardi Massimiliano; Serra Diana; Tiella Roberto; Zampedri Gianni, Formal Design and Validation of an Automatic Train Operation Control System
11. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Jones David; Mattarei Cristian, Model-based Safety Assessment of a Triple Modular Generator with XSAP
12. Bozzano Marco; Cimatti Alessandro; Fernandes Pires Anthony; Griggio Alberto; Jonas Martin; Kimberly Greg, Efficient SMT-Based Analysis of Failure Propagation
13. Bozzano Marco; Cimatti Alessandro; Roveri Marco, A Comprehensive Approach to On-board Autonomy Verification and Validation
14. Bozzano Marco; Munk Peter; Schweizer Markus; Tonetta Stefano; Viktoria Vozarova, Model-Based Safety Analysis of Mode Transitions
15. Bozzano M.; Cimatti A.; Mattarei C., Formal reliability analysis of redundant architectures
16. Bozzano Marco; Bruintjes Harold; Cimatti Alessandro; Katoen Joost-Pieter; Noll Thomas; Tonetta Stefano, COMPASS 3.0
17. Papadopoulos Yiannis; Aslansefat Koorosh; Katsaros Panagiotis; Bozzano Marco, Model-Based Safety and Assessment
18. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro, Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study
19. Bozzano Marco; Papadopoulos Yiannis, Model-Based Safety and Assessment
20. Bozzano Marco; Bruintjes Harold; Cimatti Alessandro; Katoen Joost-Pieter; Noll Thomas; Tonetta Stefano, Formal Methods for Aerospace Systems
21. Bozzano Marco, Causality and Temporal Dependencies in the Design of Fault Management Systems
22. Bittner Benjamin; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Gario Marco Elio Gustavo; Griggio Alberto; Mattarei Cristian; Micheli Andrea; Zampedri Gianni, The xSAP Safety Analysis Platform
23. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Zampedri Gianni, Automated Verification and Tightening of Failure Propagation Models
24. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro, Automated Synthesis of Timed Failure Propagation Graphs
25. Bozzano Marco; Cimatti Alessandro; Oleg Lisagor; Mattarei Cristian; Mover Sergio; Roveri Marco; Tonetta Stefano, Safety Assessment of AltaRica Models via Symbolic Model Checking
26. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Micheli Andrea, SMT-based Validation of Timed Failure Propagation Graphs
27. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
28. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Mattarei Cristian, Efficient Anytime Techniques for Model-Based Safety Analysis
29. Bozzano Marco; Cimatti Alessandro; Fernandes Pires Anthony; Jones D.; Kimberly G.; Petri T.; Robinson R.; Tonetta Stefano, Formal Design and Safety Analysis of AIR6110 Wheel Brake System
30. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
31. Bozzano Marco; Cimatti Alessandro; Katoen J. P.; Katsaros P.; Mokos K.; Nguyen V. Y.; Noll T.; Postma B.; Roveri Marco, Spacecraft Early Design Validation using Formal Methods
32. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian; Tonetta Stefano, Formal Safety Assessment via Contract-Based Design.
33. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Griggio Alberto, Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions
34. Guiotto A.; De Ferluc R.; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Yushtein Y., FAME Process: A Dedicated Development and V&V Process for FDIR
35. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; De Ferluc R.; Gario Marco Elio Gustavo; Guiotto A.; Yushtein Y., An Integrated Process for FDIR Design in Aerospace
36. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; De Ferluc R.; Gario Marco Elio Gustavo; Guiotto A.; Yushtein Y., FAME: A Model-Based Environment for FDIR Design in Aerospace
37. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian, Automated Analysis of Reliability Architectures
38. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
39. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Specification and Synthesis of FDI through an Example
40. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian, Efficient Analysis of Reliability Architectures via Predicate Abstraction
41. R. Banach; Bozzano Marco, The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits
42. R. Banach; Bozzano Marco, The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits
43. Bozzano Marco; Villafiorita Monteleone Adolfo, Safety Critical Systems
44. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Xavier Olive, Symbolic Synthesis of Observability Requirements for Diagnosability
45. Elena Alaña; Héctor Naranjo; Yuri Yushtein; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Régis de Ferluc; Gérard Garcia, Automated generation of FDIR for the compass integrated toolset (AUTOGEF)
46. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Xavier Olive, Symbolic Synthesis of Observability Requirements for Diagnosability
47. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Safety, Dependability and Performance Analysis of Extended AADL Models
48. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Tchaltsev Andrei, A Comprehensive Approach to On-Board Autonomy Verification and Validation
49. Bozzano Marco; Cimatti Alessandro; O. Lisagor; Mattarei Cristian; Mover Sergio; Roveri Marco; Tonetta Stefano, Model Checking and Safety Assessment of Altarica models
50. Bozzano Marco; Villafiorita Monteleone Adolfo, Design and Safety Assessment of Critical Systems
51. Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive, Formal Verification and Validation of AADL Model
52. Oleg Lisagor; Bozzano Marco; Matthias Bretschneider; Tim Kelly, Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results
53. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer; Cavada Roberto, COMPASS Tool
54. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer, A Model Checker for AADL
55. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll, Codesign of Dependable Systems: A Component-Based Modeling Language
56. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Codesign of Dependable Systems: A Component-Based Language
57. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
58. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Andrei Tchaltsev, A Comprehensive Approach to On-Board Autonomy Verification and Validation
59. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
60. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll, Verification and performance evaluation of AADL models
61. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Model-Based Codesign of Critical Embedded Systems
62. Cimatti Alessandro; Bozzano Marco; Adolfo Villafiorita, FSAP
63. Bozzano Marco; Cimatti Alessandro; Andrea Guiotto; Andrea Martelli; Roveri Marco; Tchaltsev Andrei; Yuri Yushtein, On-Board Autonomy via Symbolic Model Based Reasoning
64. Bertoli Piergiorgio; Bozzano Marco; Cimatti Alessandro, A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
65. Bozzano Marco; Cimatti Alessandro; Francesco Tapparo, Symbolic Fault Tree Analysis for Reactive Systems
66. Bozzano Marco; Villafiorita Monteleone Adolfo, The FSAP/NuSMV-SA Safety Analysis Platform
67. O. Akerlund; P. Bieber; E. Boede; Bozzano Marco; M. Bretschneider; C. Castel; A. Cavallo; M. Cifaldi; J. Gauthier; A. Griffault; O. Lisagor; A. Luedtke; S. Metge; C. Papadopoulos; T. Peikenkamp; L. Sagaspe; C. Seguin; H. Trivedi; L. Valacca, ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects.
68. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi A. Junttila; Ranise Silvio; Peter van Rossum; Sebastiani Roberto, Efficient theory combination via boolean search
69. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Sebastiani Roberto, Encoding RTL Constructs for Mathsat: A preliminary report
70. Richard Banach; Bozzano Marco, Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems
71. Gilles Audemard; Bozzano Marco; Cimatti Alessandro; Sebastiani Roberto, Verifying Industrial Hybrid Systems with MathSAT
72. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi Junttila; Peter van Rossum; Stephan Schulz; Sebastiani Roberto, Mathsat: Tight Integration of SAT and Mathematical Decision Procedures
73. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi Junttila; Ranise Silvio; Peter van Rossum; Sebastiani Roberto, Efficient Satisfiability Modulo Theories via Delayed Theory Combination
74. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. A. Junttila; Rossum Peter Van; S. P. Schulz; Sebastiani Roberto, An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
75. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi A. Junttila; Peter van Rossum; Stephan Peter Schulz; Sebastiani Roberto, The Mathsat3 System
76. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. Antero Junttila; Ranise Silvio; Rossum Peter Van; Sebastiani Roberto, Efficient Theory Combination via Boolean Search
77. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. A. Junttila; R. Peter van; S. P. Schulz; Sebastiani Roberto, MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures
78. Bozzano Marco; R. Brutomesso; Cimatti Alessandro; T. A. Junttila; Ranise Silvio; Rossen Peter Van; Sebastiani Roberto, Efficient Satisfiability Modulo Theories via Delayed Theory Combination
79. Bozzano Marco; G. Delzanno; M. Martelli, Model Checking Linear Logic Specifications
80. Bozzano Marco; G. Delzanno, Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos
81. Bozzano Marco; Cimatti Alessandro; Gabriele Colombini; Veselin Kirov; Sebastiani Roberto, The MathSAT solver -- a progress report
82. Bozzano Marco; Cimatti Alessandro; G. Colombini; V. Kirov; Sebastiani Roberto, The MAthSAT Solver. A progress report
83. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Sebastiani Roberto, The MathSAT Solver - a comparative evaluation
84. Bozzano Marco; Villafiorita Monteleone Adolfo, Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform
85. Bozzano Marco; A. Cavallo; M. Cifaldi; L. Valacca; Villafiorita Monteleone Adolfo, Improving Safety Assessment of Complex Systems: An Industrial case study
86. Audemard Gilles; Bozzano Marco; Cimatti Alessandro; Sebastiani Roberto, Verifying Industrial Hybrid Systems with MathSAT
87. Bozzano Marco; Villafiorita Monteleone Adolfo, Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform
88. Bozzano Marco; A. Cavallo; M. Cifaldi; L. Valacca; Villafiorita Monteleone Adolfo, Improving Safety Assessment of Complex Systems: An Industrial case study
89. Bozzano Marco; Villafiorita Monteleone Adolfo, Integrating Fault Tree Analysis with Event Ordering Information
90. Bozzano Marco; Villafiorita Monteleone Adolfo; O. Akerlund; P. Bieber; C. Bougnol; E. Boede; M. Bretschneider; A. Cavallo; C. Castel; M. Cifaldi; Cimatti Alessandro; A. Griffault; C. Kehren; B. Lawrence; A. Luedtke; S. Metge; C. Papadopoulos; R. Passarello; T. Peikenkamp; P. Persson; C. Seguin; L. Trotta; L. Villafiorita A. Valacca; Zacco Gabriele, ESACS: an integrated methodology for design and safety analysis of complex systems
91. Bozzano Marco; Delzanno Giorgio, Beyond parameterized verification
92. Bozzano Marco; Delzanno Giorgio, Algorithmic Verification of Invalidation-Based Protocols
93. Bozzano Marco; Delzanno Giorgio; Martelli Maurizio, An effective fixpoint semantics for linear logic programs
94. Bozzano Marco; G. Delzanno, Automated Protocol Verification in Linear Logic
95. Bozzano Marco; Delzanno Giorgio; Martelli Maurizio, On the Relations between Disjunctive and Linear Logic Programming