Claus Traulsen

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Safety Analysis

Agent Architecture

Embedded Systems

Top Venues

IEEE Trans. Computers

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Sidharta Andalam, Partha S. Roop, Alain Girault, Claus Traulsen
A Predictable Framework for Safety-Critical Embedded Systems. IEEE Trans. Computers 63 (7) (2014)
Claus Traulsen, T. Amende, Reinhard von Hanxleden
Compiling SyncCharts to Synchronous C. DATE (2011)
Claus Traulsen, Reinhard von Hanxleden
Reactive parallel processing for synchronous dataflow. SAC (2010)
Michael Mendler, Reinhard von Hanxleden, Claus Traulsen
WCRT algebra and interfaces for esterel-style synchronous processing. DATE (2009)
Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen
Tight WCRT analysis of synchronous C programs. CASES (2009)
Marian Boldt, Claus Traulsen, Reinhard von Hanxleden
Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. EURASIP J. Embed. Syst. 2008 (2008)
Marian Boldt, Claus Traulsen, Reinhard von Hanxleden
Worst Case Reaction Time Analysis of Concurrent Reactive Programs. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN (2007)
Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden
HW/SW co-design for Esterel processing. CODES+ISSS (2007)
Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden
Synthesizing safe state machines from Esterel. LCTES (2006)