Johannes Traub

According to our database, Johannes Traub authored at least 5 papers between 2012 and 2020.

Collaborative distances:

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

2020

EC.LANG - A Language for Specifying Response Time Analyses of Event Chains.

Max J. Friese, Johannes Traub, Dirk Nowotka

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2016

Formal Verification of Concurrent Embedded Software.

Johannes Traub

PhD thesis, 2016

2014

Formal software verification for the migration of embedded code from single- to multicore systems.

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

Formal Verification of Concurrent Embedded Software.

Dirk Nowotka, Johannes Traub

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012

MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code.

Dirk Nowotka, Johannes Traub

Proceedings of the Automotive, 2012