Marc Langenbach Coauthor index DBLP Vis pubzone.org

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

DBLP keys2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan 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-
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhold 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Langenbach, Stephan Thesing, Reinhold Heckmann: Pipeline Modeling for Timing Analysis. SAS 2002: 294-309
2001
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Kästner, Marc Langenbach: Code Optimization by Integer Linear Programming. CC 1999: 122-136
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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 © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)