The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Florian Martin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002