Florian Martin

According to our database, Florian Martin authored at least 15 papers between 1995 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

On the Use of Context Information for Precise Measurement-Based Execution Time Estimation.

Stefan Stattelmann, Florian Martin

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

2008

08161 Abstracts Collection - Scalable Program Analysis.

Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2007

Analysis of path exclusion at the machine code level.

Ingmar Stein, Florian Martin

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Data-Flow Based Detection of Loop Bounds.

Christoph Cullmann, Florian Martin

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006

New Developments in WCET Analysis.

Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann

Proceedings of the Program Analysis and Compilation, 2006

2003

Validierung des Zeitverhaltens von kritischer Echtzeit-Software.

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

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2001

Reliable and Precise WCET Determination for a Real-Life Processor.

Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Embedded Software, First International Workshop, 2001

1999

Generating program analyzers.

Florian Martin

PhD thesis, 1999

Cache Behavior Prediction by Abstract Interpretation.

Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Helmut Alt

Sci. Comput. Program., 1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.

Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Informatik '99, 1999

Experimental Comparison of <i>call string</i> and <i>functional</i> Approaches to Interprocedural Analysis.

Florian Martin

Proceedings of the Compiler Construction, 8th International Conference, 1999

1998

PAG - An Efficient Program Analyzer Generator.

Florian Martin

Int. J. Softw. Tools Technol. Transf., 1998

Analysis of Loops.

Florian Martin, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand

Proceedings of the Compiler Construction, 7th International Conference, 1998

1996

Parallel Implementation of Functional Languages.

Reinhard Wilhelm, Martin Helmut Alt, Florian Martin, Martin Raber

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995

Generation of Efficient Interprocedural Analyzers with PAG

Martin Helmut Alt, Florian Martin

Proceedings of the Static Analysis, 1995