Stefan Kaalen

Industrial PhD student for Scania. My research area is quantified safety of autonomous transport systems with focus on both modelling and analyzing the underlying stochastic processes. Currently part of the project Rigorous Systems Engineering, primarily within SMP-tool. Affiliatied PhD student to the Wallenberg AI, Autonomous Systems and Software Program.

Publications

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.