Searching for authors named "Florian Martin" – sorted by Relevance.
-
Experimental Comparison of call string and functional Approaches to Interprocedural Analysis
- ? Florian Martin Universitat des Saarlandes, P.O. Box 151150, 66041 Saarbrucken, martin
- Cited by 4 (0 self) – Add To MetaCart
-
Practical Comparison of call string functional Approach in Data Flow Analysis
- Florian Martin Universitat des Saarlandes, P.O. Box 151150, 66041 Saarbrucken, faltjfloriang
- Cited by 1 (1 self) – Add To MetaCart
-
Generation of efficient interprocedural analyzers with PAG
- Generation of efficient interprocedural analyzers with PAG ? Martin Alt Florian Martin
- Cited by 45 (7 self) – Add To MetaCart
-
Analysis of Loops
- Analysis of Loops Florian Martin Martin Alt Reinhard Wilhelm Christian Ferdinand Universitat des
- Cited by 13 (8 self) – Add To MetaCart
-
PAG User's Manual
- PAG User's Manual Stephan Thesing, Florian Martin, Martin Alt and Oliver Lauer
- Cited by 1 (0 self) – Add To MetaCart
-
Applying Compiler Techniques to Cache Behavior Prediction
- Applying Compiler Techniques to Cache Behavior Prediction Christian Ferdinand, Florian Martin
- Cited by 44 (6 self) – Add To MetaCart
-
Cache Behavior Prediction by Abstract Interpretation
- Cache Behavior Prediction by Abstract Interpretation Martin Alt, Christian Ferdinand, Florian
- Cited by 50 (11 self) – Add To MetaCart
-
Generating Analyzers with PAG
- Generating Analyzers with PAG Martin Alt Florian Martin Reinhard Wilhelm Technischer Bericht A10
- Cited by 1 (1 self) – Add To MetaCart
-
Run-Time Guarantees for Real-Time Systems - The USES Approach
- astner 2 , Marc Langenbach 2 , Florian Martin 2 , Michael Schmidt 2 , Jorn Schneider 2 , Henrik
- Cited by 4 (3 self) – Add To MetaCart
-
Tag des Kolloquiums: 22.10.1999
- Ingenieurwissenschaften (Dr.-Ing.) der Technischen Fakultät der Universität des Saarlandes von Diplom-Informatiker Florian
- Add To MetaCart

