 | 2009 |
|---|
| 6 |       | Partha S. Roop,
Sidharta Andalam,
Reinhard von Hanxleden,
Simon Yuan,
Claus Traulsen:
Tight WCRT analysis of synchronous C programs.
CASES 2009: 205-214 |
| 5 | | Michael Mendler,
Reinhard von Hanxleden,
Claus Traulsen:
WCRT algebra and interfaces for esterel-style synchronous processing.
DATE 2009: 93-98 |
| 2008 |
|---|
| 4 | | Marian Boldt,
Claus Traulsen,
Reinhard von Hanxleden:
Worst Case Reaction Time Analysis of Concurrent Reactive Programs.
Electr. Notes Theor. Comput. Sci. 203(4): 65-79 (2008) |
| 2007 |
|---|
| 3 | | Sascha Gädtke,
Claus Traulsen,
Reinhard von Hanxleden:
HW/SW co-design for Esterel processing.
CODES+ISSS 2007: 99-104 |
| 2 | | Claus Traulsen,
Jérôme Cornet,
Matthieu Moy,
Florence Maraninchi:
A SystemC/TLM Semantics in Promelaand Its Possible Applications.
SPIN 2007: 204-222 |
| 2006 |
|---|
| 1 | | Steffen Prochnow,
Claus Traulsen,
Reinhard von Hanxleden:
Synthesizing safe state machines from Esterel.
LCTES 2006: 113-124 |
