Skip to main content
Till KTH:s startsida Till KTH:s startsida

Publications by Stefan Kaalen

Refereegranskade

Konferensbidrag

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

Icke refereegranskade

Senaste synkning med DiVA:
2024-04-23 00:37:00