Claus Traulsen

According to our database1, Claus Traulsen authored at least 11 papers between 2006 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
A Predictable Framework for Safety-Critical Embedded Systems.
IEEE Trans. Computers, 2014

2011
Compiling SyncCharts to Synchronous C.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Reactive processing for synchronous languages and its worst case reaction time analysis.
PhD thesis, 2010

Reactive parallel processing for synchronous dataflow.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009
WCRT algebra and interfaces for esterel-style synchronous processing.
Proceedings of the Design, Automation and Test in Europe, 2009

Tight WCRT analysis of synchronous C programs.
Proceedings of the 2009 International Conference on Compilers, 2009

2008
Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing.
EURASIP J. Embed. Syst., 2008

2007
Worst Case Reaction Time Analysis of Concurrent Reactive Programs.
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

A SystemC/TLM Semantics in Promelaand Its Possible Applications.
Proceedings of the Model Checking Software, 2007

HW/SW co-design for Esterel processing.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006
Synthesizing safe state machines from Esterel.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006


  Loading...