Login / Signup
Stefan Kaalen
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 4
Top Topics
Semi Markov
Process Model
Monte Carlo
Tool Support
Top Venues
ICSRS
IMBSA
ICPE
QEST
</>
Publications
</>
Stefan Kaalen
,
Anton Hampus
,
Mattias Nyberg
,
Olle Mattsson
A Stochastic Extension of Stateflow.
ICPE
(2022)
Stefan Kaalen
,
Mattias Nyberg
,
Olle Mattsson
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow.
QEST
(2021)
Stefan Kaalen
,
Mattias Nyberg
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems.
IMBSA
(2020)
Stefan Kaalen
,
Mattias Nyberg
,
Carl Bondesson
Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving.
ICSRS
(2019)