Johannes Traub

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Network Latency

Constraint Solving

Embedded Software

Top Venues

Automotive - Safety & Security

Software Engineering

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Max J. Friese, Johannes Traub, Dirk Nowotka
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. ICST (2020)
Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub
Formal software verification for the migration of embedded code from single- to multicore systems. Software Engineering (2014)
Dirk Nowotka, Johannes Traub
Formal Verification of Concurrent Embedded Software. IESS (2013)
Dirk Nowotka, Johannes Traub
MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. Automotive - Safety & Security (2012)