Florian Martin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1995–2019
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PACBB | Systems Toxicology Approach to Unravel Early Indicators of Squamous Cell Carcinoma Rate in Rat Nasal Epithelium Induced by Formaldehyde Exposure. | Florian Martin, Marja Talikka, Julia Hoeng, Manuel C. Peitsch |
| 2003 | GI | Validierung des Zeitverhaltens von kritischer Echtzeit-Software. | Christian Ferdinand, Daniel Kstner, 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 | EMSOFT | Reliable and Precise WCET Determination for a Real-Life Processor. | Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |
| 1999 | CC | Experimental Comparison of | Florian Martin |
| 1999 | GI | Run-Time Guarantees for Real-Time Systems - The USES Approach. | Christian Ferdinand, Daniel Kstner, Marc Langenbach, Florian Martin, Michael Schmidt, Jrn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |
| 1998 | CC | Analysis of Loops. | Florian Martin, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand |
| 1996 | SAS | Cache Behavior Prediction by Abstract Interpretation. | Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm |
| 1995 | SAS | Generation of Efficient Interprocedural Analyzers with PAG | Martin Helmut Alt, Florian Martin |