Stefan Kaalen

Former Industrial PhD student for Scania. My research area focused on quantitative safety of systems with focus on both modelling and analyzing the underlying stochastic processes. The research involved the development of SMP-tool. Former Affiliatied PhD student to the Wallenberg AI, Autonomous Systems and Software Program.

Thesis

Kaalen, S. (2026). "Quantitative Safety Analysis for Industry: A Model-Based Approach" (Doctoral dissertation, KTH Royal Institute of Technology).

Publications

S. Kaalen, M. Nyberg, and A. Westerberg. "Failure behavior modeling via atomic modeling concepts"Software and Systems Modeling (2026): 1-45.

S. Kaalen, M. Nyberg, T. Strandberg, F. Warg, and A. Westerberg. "Probabilistic Approach Using SMP Tool for Systems Safety of Road Vehicles"ESREL 24: 34th European Safety and Reliability Conference, 2024.

S. Kaalen, A. Hampus, M. Nyberg, and O. Mattsson "A Stochastic Extension of Stateflow,"ICPE 22: Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering, 2022, s. 211-222.

S. Kaalen, M. Nyberg, and O. Mattsson,"Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow,"Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings, 2021, s. 105-126.

S. Kaalen, M. Nyberg, and O. Mattsson, "Using State Transition Diagrams for Safety Quantification within the Automotive Industry,"Cars 2021 6th International Workshop on critical Automotive Applications: Robustness & Safety, at EDCC 2021.

S. Kaalen och M. Nyberg,"Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems," IMBSA 2020 7th International Symposium onModel-Based Safety and Assessment, 2020, s. 68-82.

S. Kaalen, M. Nyberg, and C. Bondesson,"Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving,"2019 4th International Conference on System Reliability and Safety (ICSRS 2019), 2019, s. 126-135.