Florian Martin

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Stefan Stattelmann, Florian Martin
On the Use of Context Information for Precise Measurement-Based Execution Time Estimation. WCET (2010)
Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan
08161 Abstracts Collection - Scalable Program Analysis. Scalable Program Analysis (2008)
Ingmar Stein, Florian Martin
Analysis of path exclusion at the machine code level. WCET (2007)
Christoph Cullmann, Florian Martin
Data-Flow Based Detection of Loop Bounds. WCET (2007)
Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann
New Developments in WCET Analysis. Program Analysis and Compilation (2006)
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)
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. EMSOFT (2001)
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)
Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Helmut Alt
Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. 35 (2) (1999)
Florian Martin
Approaches to Interprocedural Analysis. CC (1999)
Florian Martin
PAG - An Efficient Program Analyzer Generator. Int. J. Softw. Tools Technol. Transf. 2 (1) (1998)
Florian Martin, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand
Analysis of Loops. CC (1998)
Reinhard Wilhelm, Martin Helmut Alt, Florian Martin, Martin Raber
Parallel Implementation of Functional Languages. LOMAPS (1996)
Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm
Cache Behavior Prediction by Abstract Interpretation. SAS (1996)
Martin Helmut Alt, Florian Martin
Generation of Efficient Interprocedural Analyzers with PAG SAS (1995)

Florian Martin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Florian Martin