ask others

Johannes Traub

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[b1]
- view
- export record
  dblp key:
  - phd/dnb/Traub16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/dnb/Traub16
Johannes Traub:
Formal Verification of Concurrent Embedded Software. University of Kiel, Germany 2016
2014
[c3]
- no documents available
- export record
  dblp key:
  - conf/se/EhlersNST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/se/EhlersNST14
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: 137-142
2013
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iess/NowotkaT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iess/NowotkaT13
Dirk Nowotka, Johannes Traub:
Formal Verification of Concurrent Embedded Software. IESS 2013: 218-227
2012
[c1]
- view
  - electronic edition @ emis.de
- export record
  dblp key:
  - conf/automotiveSS/NowotkaT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/automotiveSS/NowotkaT12
Dirk Nowotka, Johannes Traub:
MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. Automotive - Safety & Security 2012: 69-83

Coauthor Index

see FAQ

maintained by

, founded at