Papers about FASTEN itself

• FASTEN: an Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems, by D. Ratiu, A. Nordman, P. Munk, C. Carlan, M. Voelter, MPS in Practice Book Chapter, 2021, pdf

• FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases, by C. Carlan, D. Ratiu, 39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2020, pdf

• FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches, by D. Ratiu, M. Gario, H. Schoenhaar,  7th Conference on Formal Methods in Software Engineering (FormaliSE), 2019, pdf

Papers about Uses and Extensions of FASTEN

• Counterexample Interpretation for Contracts-based Design, by A. Kaleeswaran, A. Nordmann, T. Vogel, L. Grunske, in 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, pdf

• Modelling Safety Case Patterns Identified during the Execution of a Systematic Literature Review, by L. Soima, Bachelor Thesis, Technische Universität München, 2021, pdf

• Adapting a System-Theoretic Hazard Analysis Method for Interoperability of Information Systems in Health Care, by O. Costa Rocha, Master Thesis, University of Victoria, 2022, pdf

Presentations

• FASTEN: an Extensible Platform for Modeling Safety Critical Systems - A Safety Engineering Perspective - 2025, tool demo session @ Safety-Critical Systems Symposium 2025, slides

• FASTEN: an Extensible Platform for Modeling Safety Critical Systems - 2021, talk for the Strumenta community, slides

• FASTEN: a Framework to Experiment with Formal Specification Approaches - 2019, talk @ FormaliSE, slides

• FASTEN: a Formal Specification Environment Targetting Practicing Engineers - 2018, talk @ Shonan, slides

Are you using / extending FASTEN and have something published about it? We would love to hear from your work ...