Search the dblp DataBase

Publications of Author

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