Marc Langenbach

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm
Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) (2003)
Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm
The influence of processor architecture on the design and the results of WCET tools. Proc. IEEE 91 (7) (2003)
Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. DSN (2003)
Marc Langenbach, Stephan Thesing, Reinhold Heckmann
Pipeline Modeling for Timing Analysis. SAS (2002)
Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
Reliable and Precise WCET Determination for a Real-Life Processor. EMSOFT (2001)
Daniel Kästner, Marc Langenbach
Code Optimization by Integer Linear Programming. CC (1999)
Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
Run-Time Guarantees for Real-Time Systems - The USES Approach. GI Jahrestagung (1999)