Florian Martin

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2010
On the Use of Context Information for Precise Measurement-Based Execution Time Estimation.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

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

2007
Analysis of path exclusion at the machine code level.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Data-Flow Based Detection of Loop Bounds.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006
New Developments in WCET Analysis.
Proceedings of the Program Analysis and Compilation, 2006

2003
Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
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.
Proceedings of the Embedded Software, First International Workshop, 2001

1999
Generating program analyzers.
PhD thesis, 1999

Cache Behavior Prediction by Abstract Interpretation.
Sci. Comput. Program., 1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.
Proceedings of the Informatik '99, 1999

Experimental Comparison of <i>call string</i> and <i>functional</i> Approaches to Interprocedural Analysis.
Proceedings of the Compiler Construction, 8th International Conference, 1999

1998
PAG - An Efficient Program Analyzer Generator.
Int. J. Softw. Tools Technol. Transf., 1998

Analysis of Loops.
Proceedings of the Compiler Construction, 7th International Conference, 1998

1996
Parallel Implementation of Functional Languages.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995
Generation of Efficient Interprocedural Analyzers with PAG
Proceedings of the Static Analysis, 1995


  Loading...