Synthesizing safe state machines from Esterel. - Steffen Prochnow; Claus Traulsen; Reinhard von Hanxleden (LCTES, 2006)

HW/SW co-design for Esterel processing. - Sascha Gädtke; Claus Traulsen; Reinhard von Hanxleden (CODES+ISSS, 2007)

A SystemC/TLM Semantics in Promelaand Its Possible Applications. - Claus Traulsen; Jérôme Cornet; Matthieu Moy; Florence Maraninchi (SPIN, 2007)

Worst Case Reaction Time Analysis of Concurrent Reactive Programs. - Marian Boldt; Claus Traulsen; Reinhard von Hanxleden (SLA++P@ETAPS, 2007)

Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. - Marian Boldt; Claus Traulsen; Reinhard von Hanxleden (EURASIP J. Embed. Syst., 2008)

Tight WCRT analysis of synchronous C programs. - Partha S. Roop; Sidharta Andalam; Reinhard von Hanxleden; Simon Yuan; Claus Traulsen (CASES, 2009)

WCRT algebra and interfaces for esterel-style synchronous processing. - Michael Mendler; Reinhard von Hanxleden; Claus Traulsen (DATE, 2009)

Reactive parallel processing for synchronous dataflow. - Claus Traulsen; Reinhard von Hanxleden (SAC, 2010)

Reactive processing for synchronous languages and its worst case reaction time analysis. - Claus Traulsen (2010)

Compiling SyncCharts to Synchronous C. - Claus Traulsen; T. Amende; Reinhard von Hanxleden (DATE, 2011)

A Predictable Framework for Safety-Critical Embedded Systems. - Sidharta Andalam; Partha S. Roop; Alain Girault; Claus Traulsen (IEEE Trans. Computers, 2014)