Jan Toennemann

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Control Software

Requirements Elicitation

Development Processes

Top Venues

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)