Generation of Efficient Interprocedural Analyzers with PAG - Martin Helmut Alt; Florian Martin 001 (SAS, 1995)

Parallel Implementation of Functional Languages. - Reinhard Wilhelm; Martin Helmut Alt; Florian Martin 001; Martin Raber (LOMAPS, 1996)

Analysis of Loops. - Florian Martin 001; Martin Helmut Alt; Reinhard Wilhelm; Christian Ferdinand (CC, 1998)

PAG - An Efficient Program Analyzer Generator. - Florian Martin 001 (Int. J. Softw. Tools Technol. Transf., 1998)

Experimental Comparison of call string and functional Approaches to Interprocedural Analysis. - Florian Martin 001 (CC, 1999)

Run-Time Guarantees for Real-Time Systems - The USES Approach. - Christian Ferdinand; Daniel Kästner; Marc Langenbach; Florian Martin 001; Michael Schmidt 007; Jörn Schneider; Henrik Theiling; Stephan Thesing; Reinhard Wilhelm (GI Jahrestagung, 1999)

Cache Behavior Prediction by Abstract Interpretation. - Christian Ferdinand; Florian Martin 001; Reinhard Wilhelm; Martin Helmut Alt (Sci. Comput. Program., 1999)

Generating program analyzers. - Florian Martin 001 (Pirrot, 1999)

Reliable and Precise WCET Determination for a Real-Life Processor. - Christian Ferdinand; Reinhold Heckmann; Marc Langenbach; Florian Martin 001; Michael Schmidt 007; Henrik Theiling; Stephan Thesing; Reinhard Wilhelm (EMSOFT, 2001)

Validierung des Zeitverhaltens von kritischer Echtzeit-Software. - Christian Ferdinand; Daniel Kästner; Florian Martin 001; Marc Langenbach; Martin Sicks; Stephan Wilhelm; Reinhold Heckmann; Nicolas Fritz; Stephan Thesing; Frank Fontaine; Henrik Theiling; Michael Schmidt 007; et al. (GI Jahrestagung (1), 2003)

New Developments in WCET Analysis. - Christian Ferdinand; Florian Martin 001; Christoph Cullmann; Marc Schlickling; Ingmar Stein; Stephan Thesing; Reinhold Heckmann (Program Analysis and Compilation, 2006)

Data-Flow Based Detection of Loop Bounds. - Christoph Cullmann; Florian Martin 001 (WCET, 2007)

Analysis of path exclusion at the machine code level. - Ingmar Stein; Florian Martin 001 (WCET, 2007)

08161 Abstracts Collection - Scalable Program Analysis. - Florian Martin 001; Hanne Riis Nielson; Claudio Riva; Markus Schordan (Scalable Program Analysis, 2008)

On the Use of Context Information for Precise Measurement-Based Execution Time Estimation. - Stefan Stattelmann; Florian Martin 001 (WCET, 2010)