Cache-Sensitive Pre-runtime Scheduling. - Daniel Kästner; Stephan Thesing (LCTES, 1998)

Code Optimization by Integer Linear Programming. - Daniel Kästner; Marc Langenbach (CC, 1999)

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)

Cache Aware Pre-Runtime Scheduling. - Daniel Kästner; Stephan Thesing (Real Time Syst., 1999)

PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen. - Daniel Kästner (GI Jahrestagung, 2000)

PROPAN: A Retargetable System for Postpass Optimisations and Analyses. - Daniel Kästner (LCTES, 2000)

Retargetable postpass optimisation by integer linear programming. - Daniel Kästner (Pirrot, 2000)

ILP-based Instruction Scheduling for IA-64. - Daniel Kästner; Sebastian Winkel (OM@PLDI, 2001)

Generic control flow reconstruction from assembly code. - Daniel Kästner; Stephan Wilhelm (LCTES-SCOPES, 2002)

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)

TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses. - Daniel Kästner (GPCE, 2003)

Reconstructing Control Flow from Predicated Assembly Code. - Björn Decker 002; Daniel Kästner (SCOPES, 2003)

Post-pass compaction techniques. - Bruno De Bus; Daniel Kästner; Dominique Chanet; Ludo Van Put; Bjorn De Sutter (Commun. ACM, 2003)

Generic Software Pipelining at the Assembly Level. - Daniel Kästner; Markus Pister 002 (SCOPES, 2005)

Safe worst-case execution time analysis by abstract interpretation of executable code. - Daniel Kästner (LCTES, 2007)

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 Timing Estimation and Architecture Exploration in Early Design Phases. - Stefana Nenova; Daniel Kästner (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)

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

Astrée: Design and Experience. - Daniel Kästner (SAS, 2011)

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)

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)

Benchmarking static code analyzers. - Jörg Herter; Daniel Kästner; Christoph Mallon; Reinhard Wilhelm (Reliab. Eng. Syst. Saf., 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)

Testing Implementation Soundness of a WCET Analysis Tool. - Reinhard Wilhelm; Markus Pister 002; Gernot Gebhard; Daniel Kästner (A Journey of Embedded and Cyber-Physical Systems, 2021)

Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. - Christian Bartsch 001; Stephan Wilhelm; Daniel Kästner; Dominik Stoffel; Wolfgang Kunz (MBMV, 2022)

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

Randomness is the Root of All Evil: More Reliable Evaluation of Deep Active Learning. - Yilin Ji; Daniel Kästner; Oliver Wirth; Christian Wressnegger (WACV, 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)