Florian Martin

2007
13	EE	Ingmar Stein, Florian Martin: Analysis of path exclusion at the machine code level. WCET 2007
12	EE	Christoph Cullmann, Florian Martin: Data-Flow Based Detection of Loop Bounds. WCET 2007
2006
11	EE	Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann: New Developments in WCET Analysis. Program Analysis and Compilation 2006: 12-52
2003
10		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: 335-339
2001
9	EE	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: 469-485
1999
8		Florian Martin: Experimental Comparison of call string and functional Approaches to Interprocedural Analysis. CC 1999: 63-75
7		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: 410-419
6		Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt: Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. 35(2): 163-189 (1999)
1998
5		Florian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand: Analysis of Loops. CC 1998: 80-94
4	EE	Florian Martin: PAG - An Efficient Program Analyzer Generator. STTT 2(1): 46-67 (1998)
1996
3		Reinhard Wilhelm, Martin Alt, Florian Martin, Martin Raber: Parallel Implementation of Functional Languages. LOMAPS 1996: 279-295
2		Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm: Cache Behavior Prediction by Abstract Interpretation. SAS 1996: 52-66
1995
1		Martin Alt, Florian Martin: Generation of Efficient Interprocedural Analyzers with PAG SAS 1995: 33-50

Coauthor Index

1	Martin Alt	[1] [2] [3] [5] [6]
2	Christoph Cullmann	[11] [12]
3	Alexander A. Evstiougov-Babaev	[10]
4	Christian Ferdinand	[2] [5] [6] [7] [9] [10] [11]
5	Frank Fontaine	[10]
6	Nicolas Fritz	[10]
7	Reinhold Heckmann	[9] [10] [11]
8	Daniel Kästner	[7] [10]
9	Marc Langenbach	[7] [9] [10]
10	Martin Raber	[3]
11	Marc Schlickling	[11]
12	Michael Schmidt	[7] [9] [10]
13	Jörn Schneider	[7]
14	Martin Sicks	[10]
15	Ingmar Stein	[11] [13]
16	Henrik Theiling	[7] [9] [10]
17	Stephan Thesing	[7] [9] [10] [11]
18	Reinhard Wilhelm	[2] [3] [5] [6] [7] [9] [10]
19	Stephan Wilhelm	[10]