Login / Signup
Rolf Schmedes
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Safety Analysis
Software Tools
Practical Application
Semi Automated
Top Venues
MODELSWARD
SN Comput. Sci.
COINS
</>
Publications
</>
Frederik Haxel
,
Alexander Viehl
,
Michael Benkel
,
Bjoern Beyreuther
,
Klaus Birken
,
Rolf Schmedes
,
Kim Grüttner
,
Daniel Mueller-Gritschneder
The Universal Safety Format in Action: Tool Integration and Practical Application.
SN Comput. Sci.
4 (2) (2023)
Frederik Haxel
,
Alexander Viehl
,
Michael Benkel
,
Bjoern Beyreuther
,
Klaus Birken
,
Rolf Schmedes
,
Kim Grüttner
,
Daniel Mueller-Gritschneder
Universal Safety Format: Automated Safety Software Generation.
MODELSWARD
(2022)
Rolf Schmedes
,
Philipp Ittershagen
,
Kim Grüttner
Towards Distributed Runtime Monitoring with C++ Contracts.
COINS
(2019)