Publikationer av Stefan Kaalen
Refereegranskade
Konferensbidrag
[1]
S. Kaalen et al., "A Stochastic Extension of Stateflow," i ICPE 22: Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering, 2022, s. 211-222.
[2]
S. Kaalen, M. Nyberg och O. Mattsson, "Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow," i Quantitative Evaluation Of Systems (QEST 2021), 2021, s. 105-126.
[3]
S. Kaalen, M. Nyberg och O. Mattsson, "Using State Transition Diagrams for Safety Quantification within the Automotive Industry," i Cars 2021 6th International Workshop on critical Automotive Applications: Robustness & Safety, 2021.
[4]
S. Kaalen och M. Nyberg, "Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems," i Model-Based Safety and Assessment, 2020, s. 68-82.
[5]
S. Kaalen, M. Nyberg och C. Bondesson, "Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving," i 2019 4th International Conference on System Reliability and Safety (ICSRS 2019), 2019, s. 126-135.
Icke refereegranskade
Rapporter
[6]
Senaste synkning med DiVA:
2024-12-22 04:13:20