Florian Martin

17 papers B 4Misc 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2010 — conf
On the Use of Context Information for Precise Measurement-Based Execution Time Estimation.
WCET
Stefan Stattelmann, Florian Martin
2008 — conf
08161 Abstracts Collection - Scalable Program Analysis.
Scalable Program Analysis
Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan
2008 — ed.
Scalable Program Analysis, 13.04. - 18.04.2008
Scalable Program Analysis
Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan
2007 — conf
Analysis of path exclusion at the machine code level.
WCET
Ingmar Stein, Florian Martin
2007 — conf
Data-Flow Based Detection of Loop Bounds.
WCET
Christoph Cullmann, Florian Martin
2006 — conf
New Developments in WCET Analysis.
Program Analysis and Compilation
Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann
2003 — conf
Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
GI Jahrestagung (1)
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
2001 Misc conf
Reliable and Precise WCET Determination for a Real-Life Processor.
EMSOFT
Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
1999 J jnl
Cache Behavior Prediction by Abstract Interpretation.
Sci. Comput. Program.
Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Helmut Alt
1999 B conf
Experimental Comparison of
CC
Florian Martin
1999 — —
Generating program analyzers.
Florian Martin
1999 — conf
Run-Time Guarantees for Real-Time Systems - The USES Approach.
GI Jahrestagung
Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
1998 B conf
Analysis of Loops.
CC
Florian Martin, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand
1998 J jnl
PAG - An Efficient Program Analyzer Generator.
Int. J. Softw. Tools Technol. Transf.
Florian Martin
1996 B conf
Cache Behavior Prediction by Abstract Interpretation.
SAS
Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm
1996 — conf
Parallel Implementation of Functional Languages.
LOMAPS
Reinhard Wilhelm, Martin Helmut Alt, Florian Martin, Martin Raber
1995 B conf
Generation of Efficient Interprocedural Analyzers with PAG
SAS
Martin Helmut Alt, Florian Martin