Jan Toennemann

According to our database, Jan Toennemann authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations.

Jan Toennemann, Adina Aniculaesei, Andreas Rausch

Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

2018

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL.

Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool

Proceedings of the Formal Methods for Industrial Critical Systems, 2018