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

Florian Martin Vis

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

*2007
13EEIngmar Stein, Florian Martin: Analysis of path exclusion at the machine code level. WCET 2007
12EEChristoph Cullmann, Florian Martin: Data-Flow Based Detection of Loop Bounds. WCET 2007
2006
11EEChristian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann: New Developments in WCET Analysis. Program Analysis and Compilation 2006: 12-52
2003
10 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
2001
9EEChristian 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
8EEFlorian Martin: Experimental Comparison of call string and functional Approaches to Interprocedural Analysis. CC 1999: 63-75
7 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
6 Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt: Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. 35(2): 163-189 (1999)
1998
5EEFlorian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand: Analysis of Loops. CC 1998: 80-94
4EEFlorian Martin: PAG - An Efficient Program Analyzer Generator. STTT 2(1): 46-67 (1998)
1996
3EEReinhard Wilhelm, Martin Alt, Florian Martin, Martin Raber: Parallel Implementation of Functional Languages. LOMAPS 1996: 279-295
2 Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm: Cache Behavior Prediction by Abstract Interpretation. SAS 1996: 52-66
1995
1 Martin Alt, Florian Martin: Generation of Efficient Interprocedural Analyzers with PAG SAS 1995: 33-50

Coauthor Index

1Martin Alt [1] [2] [3] [5] [6]
2Christoph Cullmann [11] [12]
3Alexander A. Evstiougov-Babaev [10]
4Christian Ferdinand [2] [5] [6] [7] [9] [10] [11]
5Frank Fontaine [10]
6Nicolas Fritz [10]
7Reinhold Heckmann [9] [10] [11]
8Daniel Kästner [7] [10]
9Marc Langenbach [7] [9] [10]
10Martin Raber [3]
11Marc Schlickling [11]
12Michael Schmidt [7] [9] [10]
13Jörn Schneider [7]
14Martin Sicks [10]
15Ingmar Stein [11] [13]
16Henrik Theiling [7] [9] [10]
17Stephan Thesing [7] [9] [10] [11]
18Reinhard Wilhelm [2] [3] [5] [6] [7] [9] [10]
19Stephan Wilhelm [10]

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