MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. - Dirk Nowotka; Johannes Traub (Automotive - Safety & Security, 2012)

Formal Verification of Concurrent Embedded Software. - Dirk Nowotka; Johannes Traub (IESS, 2013)

Formal software verification for the migration of embedded code from single- to multicore systems. - Thorsten Ehlers; Dirk Nowotka; Philipp Sieweck; Johannes Traub (Software Engineering, 2014)

Formal Verification of Concurrent Embedded Software. - Johannes Traub (2016)

EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. - Max J. Friese; Johannes Traub; Dirk Nowotka (ICST, 2020)