Isabella Lanzani

According to our database, Isabella Lanzani authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Timed Models in AltaRica 3.0.

Isabella Lanzani, Christel Seguin

Proceedings of the Model-Based Safety and Assessment - 9th International Symposium, 2025

Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA.

Isabella Lanzani, Luca Perfetti, Luca Uliano

Proceedings of the Model-Based Safety and Assessment - 9th International Symposium, 2025

Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study.

Isabella Lanzani, Luca Perfetti, Luca Uliano

Proceedings of the Model-Based Safety and Assessment - 9th International Symposium, 2025

2023

Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis.

Isabella Lanzani, Riccardo Scattolini, Enrico Zio, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta

Proceedings of the 7th International Conference on System Reliability and Safety, 2023