Login / Signup
Jan Toennemann
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Control Software
Domain Models
Requirements Elicitation
Development Processes
Top Venues
SAST
FMICS
</>
Publications
</>
Jan Toennemann
,
Adina Aniculaesei
,
Andreas Rausch
Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations.
SAST
(2020)
Jan Toennemann
,
Andreas Rausch
,
Falk Howar
,
Benjamin Cool
Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL.
FMICS
(2018)