Pattern Matching in a Functional Transformation Language using Treeparsing. - Christian Ferdinand (PLILP, 1990)

Baumautomaten zur Codeselektion. - Christian Ferdinand; Helmut Seidl; Reinhard Wilhelm (Informatik, 1992)

Transformation Development: TrafoLa-H Subsystem. - Martin Helmut Alt; Christian Fecht; Christian Ferdinand; Reinhard Wilhelm (PROSPECTRA Book, 1993)

Tree Automata for Code Selection. - Christian Ferdinand; Helmut Seidl; Reinhard Wilhelm (Acta Informatica, 1994)

CLaX - A Visualized Compiler. - Georg Sander; Martin Helmut Alt; Christian Ferdinand; Reinhard Wilhelm (GD, 1995)

Cache behavior prediction for real-time systems. - Christian Ferdinand (Pirrot, 1997)

Analysis of Loops. - Florian Martin 001; Martin Helmut Alt; Reinhard Wilhelm; Christian Ferdinand (CC, 1998)

On Predicting Data Cache Behavior for Real-Time Systems. - Christian Ferdinand; Reinhard Wilhelm (LCTES, 1998)

Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. - Henrik Theiling; Christian Ferdinand (RTSS, 1998)

Run-Time Guarantees for Real-Time Systems - The USES Approach. - Christian Ferdinand; Daniel Kästner; Marc Langenbach; Florian Martin 001; Michael Schmidt 007; Jörn Schneider; Henrik Theiling; Stephan Thesing; Reinhard Wilhelm (GI Jahrestagung, 1999)

Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation. - Jörn Schneider; Christian Ferdinand (Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999)

Efficient and Precise Cache Behavior Prediction for Real-Time Systems. - Christian Ferdinand; Reinhard Wilhelm (Real Time Syst., 1999)

Cache Behavior Prediction by Abstract Interpretation. - Christian Ferdinand; Florian Martin 001; Reinhard Wilhelm; Martin Helmut Alt (Sci. Comput. Program., 1999)

Fast and Precise WCET Prediction by Separated Cache and Path Analyses. - Henrik Theiling; Christian Ferdinand; Reinhard Wilhelm (Real Time Syst., 2000)

Reliable and Precise WCET Determination for a Real-Life Processor. - Christian Ferdinand; Reinhold Heckmann; Marc Langenbach; Florian Martin 001; Michael Schmidt 007; Henrik Theiling; Stephan Thesing; Reinhard Wilhelm (EMSOFT, 2001)

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 (DSN, 2003)

Validierung des Zeitverhaltens von kritischer Echtzeit-Software. - Christian Ferdinand; Daniel Kästner; Florian Martin 001; Marc Langenbach; Martin Sicks; Stephan Wilhelm; Reinhold Heckmann; Nicolas Fritz; Stephan Thesing; Frank Fontaine; Henrik Theiling; Michael Schmidt 007; et al. (GI Jahrestagung (1), 2003)

Convenient User Annotations for a WCET Tool. - Christian Ferdinand; Reinhold Heckmann; Henrik Theiling; Reinhard Wilhelm (WCET, 2003)

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. - Christian Ferdinand; Reinhold Heckmann; Reinhard Wilhelm (ASWSD, 2004)

aiT: worst case execution time prediction by static program analysis. - Christian Ferdinand; Reinhold Heckmann (IFIP Congress Topical Sessions, 2004)

Worst Case Execution Time Prediction by Static Program Analysis. - Christian Ferdinand (IPDPS, 2004)

Verifying Timing Behavior by Abstract Interpretation of Executable Code. - Christian Ferdinand; Reinhold Heckmann (CHARME, 2005)

Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. - Reinhold Heckmann; Christian Ferdinand (DATE, 2005)

The Embounded project (project start paper). - Kevin Hammond; Roy Dyckhoff; Christian Ferdinand; Reinhold Heckmann; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (Trends in Functional Programming, 2005)

Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation. - Reinhold Heckmann; Christian Ferdinand (Sicherheit, 2005)

Towards Model-Driven Development of Hard Real-Time Systems. - Christian Ferdinand; Reinhold Heckmann; Hans-Jörg Wolff; Christian Renz; Oleg Parshin; Reinhard Wilhelm (ASWSD, 2006)

New Developments in WCET Analysis. - Christian Ferdinand; Florian Martin 001; Christoph Cullmann; Marc Schlickling; Ingmar Stein; Stephan Thesing; Reinhold Heckmann (Program Analysis and Compilation, 2006)

Worst-Case Execution Times for a Purely Functional Language. - Armelle Bonenfant; Christian Ferdinand; Kevin Hammond; Reinhold Heckmann (IFL, 2006)

Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. - Christian Ferdinand; Reinhold Heckmann; Hans-Jörg Wolff; Christian Renz; Manabendra Gupta; Oleg Parshin (ISoLA, 2006)

Towards Formally Verifiable WCET Analysis for a Functional Programming Language. - Kevin Hammond; Christian Ferdinand; Reinhold Heckmann; Roy Dyckhoff; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (WCET, 2006)

Towards formally verifiable resource bounds for real-time embedded systems. - Kevin Hammond; Christian Ferdinand; Reinhold Heckmann (SIGBED Rev., 2006)

ALL-TIMES - A European Project on Integrating Timing Technology. - Jan Gustafsson; Björn Lisper; Markus Schordan; Christian Ferdinand; Peter Gliwa; Marek Jersak; Guillem Bernat (ISoLA, 2008)

Timing Validation of Automotive Software. - Daniel Kästner; Reinhard Wilhelm; Reinhold Heckmann; Marc Schlickling; Markus Pister 002; Marek Jersak; Kai Richter 001; Christian Ferdinand (ISoLA, 2008)

Worst-Case Execution Time - A Tool Provider's Perspective. - Christian Ferdinand; Reinhold Heckmann (ISORC, 2008)

The worst-case execution-time problem - overview of methods and survey of tools. - Reinhard Wilhelm; Jakob Engblom; Andreas Ermedahl; Niklas Holsti; Stephan Thesing; David B. Whalley; Guillem Bernat; Christian Ferdinand; Reinhold Heckmann; Tulika Mitra; Frank Mueller 001; Isabelle Puaut; et al. (ACM Trans. Embed. Comput. Syst., 2008)

Teaching WCET Analysis in Academia and Industry: A Panel Discussion. - Niklas Holsti; Guillem Bernat; Christian Ferdinand; Peter P. Puschner; Reinhard Wilhelm (WCET, 2009)

Astree: Nachweis der Abwesenheit von Laufzeit. - Daniel Kästner; Christian Ferdinand; Stephan Wilhelm; Stefana Nenova; Olha Honcharova; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival; Élodie-Jane Sims (Softwaretechnik-Trends, 2009)

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. - Reinhard Wilhelm; Daniel Grund; Jan Reineke 001; Marc Schlickling; Markus Pister 002; Christian Ferdinand (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. - Daniel Kästner; Reinhold Heckmann; Christian Ferdinand (SAFECOMP, 2010)

Static Verification of Non-Functional Software Requirements in the ISO-26262. - Daniel Kästner; Christian Ferdinand (Automotive - Safety & Security, 2012)

Meeting Real-Time Requirements with Multi-core Processors. - Daniel Kästner; Marc Schlickling; Markus Pister 002; Christoph Cullmann; Gernot Gebhard; Reinhold Heckmann; Christian Ferdinand (SAFECOMP Workshops, 2012)

Confidence in Timing. - Daniel Kästner; Markus Pister 002; Gernot Gebhard; Marc Schlickling; Christian Ferdinand (SASSUR@SAFECOMP, 2013)

Architecture exploration and timing estimation during early design phases. - Reinhold Heckmann; Christian Ferdinand; Daniel Kästner; Stefana Nenova (Int. J. Softw. Tools Technol. Transf., 2013)

Proving the Absence of Stack Overflows. - Daniel Kästner; Christian Ferdinand (SAFECOMP, 2014)

True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. - Sayali Salvi; Daniel Kästner; Tom Bienmüller; Christian Ferdinand (SAFECOMP Workshops, 2014)

Exploiting Synergies between Static Analysis and Model-Based Testing. - Sayali Salvi; Daniel Kästner; Christian Ferdinand; Tom Bienmüller (EDCC, 2015)

Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements. - Daniel Kästner; Christian Ferdinand (RSSRail, 2016)

WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach. - Steven Derrien; Isabelle Puaut; Panayiotis Alefragis; Marcus Bednara; Harald Bucher; Clément David; Yann Debray; Umut Durak; Imen Fassi; Christian Ferdinand; Damien Hardy; Angeliki Kritikakou; et al. (DATE, 2017)

On Software Safety, Security, and Abstract Interpretation. - Daniel Kästner; Laurent Mauborgne; Christian Ferdinand (FM, 2018)

Towards Zero Alarms in Sound Static Analysis of Finite State Machines. - Josselin Giet; Laurent Mauborgne; Daniel Kästner; Christian Ferdinand (SAFECOMP, 2019)

TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis. - Daniel Kästner; Markus Pister 002; Simon Wegener; Christian Ferdinand (WCET, 2019)

Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications. - Simon Reder; Fabian Kempf; Harald Bucher; Jürgen Becker 001; Panayiotis Alefragis; Nikolaos S. Voros; Stefanos Skalistis; Steven Derrien; Isabelle Puaut; Oliver Oey; Timo Stripf; Christian Ferdinand; et al. (J. Aerosp. Inf. Syst., 2019)

Safety-Critical Software Development in C++. - Daniel Kästner; Christoph Cullmann; Gernot Gebhard; Sebastian Hahn 001; Thomas Karos; Laurent Mauborgne; Stephan Wilhelm; Christian Ferdinand (SAFECOMP Workshops, 2020)

Abstract Interpretation in Industry - Experience and Lessons Learned. - Daniel Kästner; Reinhard Wilhelm; Christian Ferdinand (SAS, 2023)

Sound Non-interference Analysis for C/C++. - Daniel Kästner; Laurent Mauborgne; Sebastian Hahn 001; Stephan Wilhelm; Jörg Herter; Christoph Cullmann; Christian Ferdinand (SAFECOMP, 2024)