Daniel Kästner

Reinhold Heckmann, Christian Ferdinand, Daniel Kästner, Stefana Nenova: Architecture exploration and timing estimation during early design phases. STTT 15(1): 29-39 (2013)

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

Daniel Kästner: Astrée: Design and Experience. SAS 2011: 5

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

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: Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009)

Stefana Nenova, Daniel Kästner: Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases. WCET 2009

Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand: Timing Validation of Automotive Software. ISoLA 2008: 93-107

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

Daniel Kästner, Markus Pister: Generic Software Pipelining at the Assembly Level. SCOPES 2005: 50-61

Daniel Kästner: Retargetable postpass optimisation by integer linear programming. Saarland University 2004

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

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: Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) 2003: 335-339

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

Björn Decker, Daniel Kästner: Reconstructing Control Flow from Predicated Assembly Code. SCOPES 2003: 81-100

Daniel Kästner, Stephan Wilhelm: Generic control flow reconstruction from assembly code. LCTES-SCOPES 2002: 46-55

Daniel Kästner, Sebastian Winkel: ILP-based Instruction Scheduling for IA-64. LCTES/OM 2001: 145-154

Daniel Kästner: PROPAN: A Retargetable System for Postpass Optimisations and Analyses. LCTES 2000: 63-80

Daniel Kästner, Stephan Thesing: Cache Aware Pre-Runtime Scheduling. Real-Time Systems 17(2-3): 235-256 (1999)

Daniel Kästner, Marc Langenbach: Code Optimization by Integer Linear Programming. CC 1999: 122-136

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

Daniel Kästner, Stephan Thesing: Cache-Sensitive Pre-runtime Scheduling. LCTES 1998: 131-145