Marc Langenbach

According to our database, Marc Langenbach authored at least 7 papers between 1999 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

The influence of processor architecture on the design and the results of WCET tools.

Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm

Proc. IEEE, 2003

Validierung des Zeitverhaltens von kritischer Echtzeit-Software.

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

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.

Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Pipeline Modeling for Timing Analysis.

Marc Langenbach, Stephan Thesing, Reinhold Heckmann

Proceedings of the Static Analysis, 9th International Symposium, 2002

2001

Reliable and Precise WCET Determination for a Real-Life Processor.

Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Embedded Software, First International Workshop, 2001

1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.

Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Informatik '99, 1999

Code Optimization by Integer Linear Programming.

Daniel Kästner, Marc Langenbach

Proceedings of the Compiler Construction, 8th International Conference, 1999