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 - 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 ...