Christian Ferdinand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
13
Active years
1995–2024
Best venue rank
B
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Sound Non-interference Analysis for C/C++. | Daniel Kstner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jrg Herter, Christoph Cullmann, Christian Ferdinand |
| 2023 | SAS | Abstract Interpretation in Industry - Experience and Lessons Learned. | Daniel Kstner, Reinhard Wilhelm, Christian Ferdinand |
| 2020 | SAFECOMP | Safety-Critical Software Development in C++. | Daniel Kstner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand |
| 2019 | SAFECOMP | Towards Zero Alarms in Sound Static Analysis of Finite State Machines. | Josselin Giet, Laurent Mauborgne, Daniel Kstner, Christian Ferdinand |
| 2018 | FM | On Software Safety, Security, and Abstract Interpretation. | Daniel Kstner, Laurent Mauborgne, Christian Ferdinand |
| 2017 | DATE | WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach. | Steven Derrien, Isabelle Puaut, Panayiotis Alefragis, Marcus Bednara, Harald Bucher, Clment David, Yann Debray, Umut Durak, Imen Fassi, Christian Ferdinand, Damien Hardy, Angeliki Kritikakou, Gerard K. Rauwerda, Simon Reder, Martin Sicks, Timo Stripf, Kim Sunesen, Timon D. ter Braak, Nikolaos S. Voros, Jrgen Becker |
| 2015 | EDCC | Exploiting Synergies between Static Analysis and Model-Based Testing. | Sayali Salvi, Daniel Kstner, Christian Ferdinand, Tom Bienmller |
| 2014 | SAFECOMP | Proving the Absence of Stack Overflows. | Daniel Kstner, Christian Ferdinand |
| 2014 | SAFECOMP | True Error or False Alarm? Refining Astre's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. | Sayali Salvi, Daniel Kstner, Tom Bienmller, Christian Ferdinand |
| 2013 | SAFECOMP | Confidence in Timing. | Daniel Kstner, Markus Pister, Gernot Gebhard, Marc Schlickling, Christian Ferdinand |
| 2012 | SAFECOMP | Meeting Real-Time Requirements with Multi-core Processors. | Daniel Kstner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand |
| 2010 | SAFECOMP | 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. | Daniel Kstner, Reinhold Heckmann, Christian Ferdinand |
| 2008 | ISoLA | ALL-TIMES - A European Project on Integrating Timing Technology. | Jan Gustafsson, Bjrn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat |
| 2008 | ISoLA | Timing Validation of Automotive Software. | Daniel Kstner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand |
| 2008 | ISORC | Worst-Case Execution Time - A Tool Provider's Perspective. | Christian Ferdinand, Reinhold Heckmann |
| 2006 | ISoLA | Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. | Christian Ferdinand, Reinhold Heckmann, Hans-Jrg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin |
| 2005 | DATE | Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. | Reinhold Heckmann, Christian Ferdinand |
| 2003 | DSN | An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. | Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand |
| 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 | 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 |
| 1998 | RTSS | Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. | Henrik Theiling, Christian Ferdinand |
| 1996 | SAS | Cache Behavior Prediction by Abstract Interpretation. | Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm |
| 1995 | GD | CLaX - A Visualized Compiler. | Georg Sander, Martin Helmut Alt, Christian Ferdinand, Reinhard Wilhelm |