Christian Ferdinand

58 papers A 6B 9C 4Misc 2Journal 11Unranked 24

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Sound Non-interference Analysis for C/C++. SAFECOMP Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand
2023	B	`conf`	Abstract Interpretation in Industry - Experience and Lessons Learned. SAS Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand
2020	—	`conf`	Safety-Critical Software Development in C++. SAFECOMP Workshops Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand
2019	—	`conf`	TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis. WCET Daniel Kästner, Markus Pister, Simon Wegener, Christian Ferdinand
2019	B	`conf`	Towards Zero Alarms in Sound Static Analysis of Finite State Machines. SAFECOMP Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand
2019	J	`jnl`	Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications. J. Aerosp. Inf. Syst. Simon Reder, Fabian Kempf, Harald Bucher, Jürgen Becker, Panayiotis Alefragis, Nikolaos S. Voros, Stefanos Skalistis, Steven Derrien, Isabelle Puaut, Oliver Oey, Timo Stripf, Christian Ferdinand, Clément David, Peer Ulbig, David Müller, Umut Durak
2018	B	`conf`	On Software Safety, Security, and Abstract Interpretation. FM Daniel Kästner, Laurent Mauborgne, Christian Ferdinand
2017	A	`conf`	WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach. DATE 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, Gerard K. Rauwerda, Simon Reder, Martin Sicks, Timo Stripf, Kim Sunesen, Timon D. ter Braak, Nikolaos S. Voros, Jürgen Becker
2016	—	`conf`	Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements. RSSRail Daniel Kästner, Christian Ferdinand
2015	Misc	`conf`	Exploiting Synergies between Static Analysis and Model-Based Testing. EDCC Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller
2014	B	`conf`	Proving the Absence of Stack Overflows. SAFECOMP Daniel Kästner, Christian Ferdinand
2014	—	`conf`	True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. SAFECOMP Workshops Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand
2013	J	`jnl`	Architecture exploration and timing estimation during early design phases. Int. J. Softw. Tools Technol. Transf. Reinhold Heckmann, Christian Ferdinand, Daniel Kästner, Stefana Nenova
2013	—	`conf`	Confidence in Timing. SASSUR@SAFECOMP Daniel Kästner, Markus Pister, Gernot Gebhard, Marc Schlickling, Christian Ferdinand
2012	—	`conf`	Meeting Real-Time Requirements with Multi-core Processors. SAFECOMP Workshops Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand
2012	—	`conf`	Static Verification of Non-Functional Software Requirements in the ISO-26262. Automotive - Safety & Security Daniel Kästner, Christian Ferdinand
2010	B	`conf`	100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. SAFECOMP Daniel Kästner, Reinhold Heckmann, Christian Ferdinand
2009	J	`jnl`	Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 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
2009	J	`jnl`	Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Reinhard Wilhelm, Daniel Grund, Jan Reineke, Marc Schlickling, Markus Pister, Christian Ferdinand
2009	—	`conf`	Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm
2008	C	`conf`	ALL-TIMES - A European Project on Integrating Timing Technology. ISoLA Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat
2008	J	`jnl`	The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström
2008	C	`conf`	Timing Validation of Automotive Software. ISoLA Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand
2008	C	`conf`	Worst-Case Execution Time - A Tool Provider's Perspective. ISORC Christian Ferdinand, Reinhold Heckmann
2007	J	`jnl`	Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation CoRR Reinhold Heckmann, Christian Ferdinand
2006	—	`conf`	New Developments in WCET Analysis. Program Analysis and Compilation Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann
2006	—	`conf`	Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
2006	—	`conf`	Towards Model-Driven Development of Hard Real-Time Systems. ASWSD Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm
2006	C	`conf`	Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. ISoLA Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin
2006	J	`jnl`	Towards formally verifiable resource bounds for real-time embedded systems. SIGBED Rev. Kevin Hammond, Christian Ferdinand, Reinhold Heckmann
2006	—	`conf`	Worst-Case Execution Times for a Purely Functional Language. IFL Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
2005	—	`conf`	The Embounded project (project start paper). Trends in Functional Programming Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
2005	—	`conf`	Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation. Sicherheit Reinhold Heckmann, Christian Ferdinand
2005	A	`conf`	Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. DATE Reinhold Heckmann, Christian Ferdinand
2005	—	`conf`	Verifying Timing Behavior by Abstract Interpretation of Executable Code. CHARME Christian Ferdinand, Reinhold Heckmann
2004	—	`conf`	Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. ASWSD Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm
2004	A	`conf`	Worst Case Execution Time Prediction by Static Program Analysis. IPDPS Christian Ferdinand
2004	—	`conf`	aiT: worst case execution time prediction by static program analysis. IFIP Congress Topical Sessions Christian Ferdinand, Reinhold Heckmann
2003	A	`conf`	An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. DSN Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
2003	—	`conf`	Convenient User Annotations for a WCET Tool. WCET Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm
2003	—	`conf`	Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) Christian Ferdinand, Daniel Kästner, 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	Misc	`conf`	Reliable and Precise WCET Determination for a Real-Life Processor. EMSOFT Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
2000	J	`jnl`	Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real Time Syst. Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm
1999	J	`jnl`	Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Helmut Alt
1999	J	`jnl`	Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real Time Syst. Christian Ferdinand, Reinhard Wilhelm
1999	—	`conf`	Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation. Workshop on Languages, Compilers, and Tools for Embedded Systems Jörn Schneider, Christian Ferdinand
1999	—	`conf`	Run-Time Guarantees for Real-Time Systems - The USES Approach. GI Jahrestagung Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
1998	B	`conf`	Analysis of Loops. CC Florian Martin, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand
1998	A	`conf`	Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. RTSS Henrik Theiling, Christian Ferdinand
1998	B	`conf`	On Predicting Data Cache Behavior for Real-Time Systems. LCTES Christian Ferdinand, Reinhard Wilhelm
1997	—	`book`	Cache behavior prediction for real-time systems. Christian Ferdinand
1996	B	`conf`	Cache Behavior Prediction by Abstract Interpretation. SAS Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm
1995	A	`conf`	CLaX - A Visualized Compiler. GD Georg Sander, Martin Helmut Alt, Christian Ferdinand, Reinhard Wilhelm
1994	J	`jnl`	Tree Automata for Code Selection. Acta Informatica Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
1993	—	`conf`	Transformation Development: TrafoLa-H Subsystem. PROSPECTRA Book Martin Helmut Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm
1992	—	`ch.`	Baumautomaten zur Codeselektion. Informatik Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
1991	—	`conf`	Tree Automata for Code Selection. Code Generation Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
1990	—	`conf`	Pattern Matching in a Functional Transformation Language using Treeparsing. PLILP Christian Ferdinand