Stefan Kaalen

According to our database, Stefan Kaalen authored at least 4 papers between 2019 and 2022.

Collaborative distances:

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

2022

A Stochastic Extension of Stateflow.

Stefan Kaalen, Anton Hampus, Mattias Nyberg, Olle Mattsson

Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022

2021

Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow.

Stefan Kaalen, Mattias Nyberg, Olle Mattsson

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020

Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems.

Stefan Kaalen, Mattias Nyberg

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019

Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving.

Stefan Kaalen, Mattias Nyberg, Carl Bondesson

Proceedings of the 4th International Conference on System Reliability and Safety, 2019