| |
| 2008 | ||
|---|---|---|
| 4 | EE | 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 | EE | Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden: HW/SW co-design for Esterel processing. CODES+ISSS 2007: 99-104 |
| 2 | EE | 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 | EE | Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden: Synthesizing safe state machines from Esterel. LCTES 2006: 113-124 |
| 1 | Marian Boldt | [4] |
| 2 | Jérôme Cornet | [2] |
| 3 | Sascha Gädtke | [3] |
| 4 | Reinhard von Hanxleden | [1] [3] [4] |
| 5 | Florence Maraninchi | [2] |
| 6 | Matthieu Moy | [2] |
| 7 | Steffen Prochnow | [1] |