Daniel Kästner

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 12

Top Venues

SAFECOMP

SAFECOMP Workshops

EDCC

RSSRail

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Yilin Ji, Daniel Kästner, Oliver Wirth, Christian Wressnegger
Randomness is the Root of All Evil: More Reliable Evaluation of Deep Active Learning. WACV (2023)
Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand
Abstract Interpretation in Industry - Experience and Lessons Learned. SAS (2023)
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. MBMV (2022)
Reinhard Wilhelm, Markus Pister, Gernot Gebhard, Daniel Kästner
Testing Implementation Soundness of a WCET Analysis Tool. A Journey of Embedded and Cyber-Physical Systems (2021)
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. ITC (2021)
Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand
Safety-Critical Software Development in C++. SAFECOMP Workshops (2020)
Daniel Kästner, Markus Pister, Simon Wegener, Christian Ferdinand
TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis. WCET (2019)
Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
Benchmarking static code analyzers. Reliab. Eng. Syst. Saf. 188 (2019)
Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand
Towards Zero Alarms in Sound Static Analysis of Finite State Machines. SAFECOMP (2019)
Daniel Kästner, Laurent Mauborgne, Christian Ferdinand
On Software Safety, Security, and Abstract Interpretation. FM (2018)
Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
Benchmarking Static Code Analyzers. SAFECOMP (2017)
Daniel Kästner, Christian Ferdinand
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements. RSSRail (2016)
Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller
Exploiting Synergies between Static Analysis and Model-Based Testing. EDCC (2015)
Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand
True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. SAFECOMP Workshops (2014)
Daniel Kästner, Christian Ferdinand
Proving the Absence of Stack Overflows. SAFECOMP (2014)
Daniel Kästner, Markus Pister, Gernot Gebhard, Marc Schlickling, Christian Ferdinand
Confidence in Timing. SASSUR@SAFECOMP (2013)
Reinhold Heckmann, Christian Ferdinand, Daniel Kästner, Stefana Nenova
Architecture exploration and timing estimation during early design phases. Int. J. Softw. Tools Technol. Transf. 15 (1) (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)
Daniel Kästner, Christian Ferdinand
Static Verification of Non-Functional Software Requirements in the ISO-26262. Automotive - Safety & Security (2012)
Daniel Kästner
Astrée: Design and Experience. SAS (2011)
Daniel Kästner, Reinhold Heckmann, Christian Ferdinand
100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. SAFECOMP (2010)
Stefana Nenova, Daniel Kästner
Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases. WCET (2009)
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)
Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand
Timing Validation of Automotive Software. ISoLA (2008)
Daniel Kästner
Safe worst-case execution time analysis by abstract interpretation of executable code. LCTES (2007)
Daniel Kästner, Markus Pister
Generic Software Pipelining at the Assembly Level. SCOPES (2005)
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)
Björn Decker, Daniel Kästner
Reconstructing Control Flow from Predicated Assembly Code. SCOPES (2003)
Daniel Kästner
TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses. GPCE (2003)
Bruno De Bus, Daniel Kästner, Dominique Chanet, Ludo Van Put, Bjorn De Sutter
Post-pass compaction techniques. Commun. ACM 46 (8) (2003)
Daniel Kästner, Stephan Wilhelm
Generic control flow reconstruction from assembly code. LCTES-SCOPES (2002)
Daniel Kästner, Sebastian Winkel
ILP-based Instruction Scheduling for IA-64. LCTES/OM (2001)
Daniel Kästner, Sebastian Winkel
ILP-based Instruction Scheduling for IA-64. OM@PLDI (2001)
Daniel Kästner
PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen. GI Jahrestagung (2000)
Daniel Kästner
PROPAN: A Retargetable System for Postpass Optimisations and Analyses. LCTES (2000)
Daniel Kästner, Marc Langenbach
Code Optimization by Integer Linear Programming. CC (1999)
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)
Daniel Kästner, Stephan Thesing
Cache Aware Pre-Runtime Scheduling. Real Time Syst. 17 (2-3) (1999)
Daniel Kästner, Stephan Thesing
Cache-Sensitive Pre-runtime Scheduling. LCTES (1998)

Daniel Kästner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Kästner