dblp.uni-trier.dewww.uni-trier.de

Marc Langenbach Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
7EEStephan 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: 625-
6 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: 335-339
5 Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm: The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE 91(7): 1038-1054 (2003)
2002
4EEMarc Langenbach, Stephan Thesing, Reinhold Heckmann: Pipeline Modeling for Timing Analysis. SAS 2002: 294-309
2001
3EEChristian 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: 469-485
1999
2EEDaniel Kästner, Marc Langenbach: Code Optimization by Integer Linear Programming. CC 1999: 122-136
1 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: 410-419

Coauthor Index

1Alexander A. Evstiougov-Babaev [6]
2Christian Ferdinand [1] [3] [6] [7]
3Frank Fontaine [6]
4Nicolas Fritz [6]
5Reinhold Heckmann [3] [4] [5] [6] [7]
6Daniel Kästner [1] [2] [6]
7Florian Martin [1] [3] [6]
8Famantanantsoa Randimbivololona [7]
9Michael Schmidt [1] [3] [6]
10Jörn Schneider [1]
11Martin Sicks [6]
12Jean Souyris [7]
13Henrik Theiling [1] [3] [6]
14Stephan Thesing [1] [3] [4] [5] [6] [7]
15Reinhard Wilhelm [1] [3] [5] [6] [7]
16Stephan Wilhelm [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)