Daniel Kästner

According to our database, Daniel Kästner authored at least 38 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sound Non-interference Analysis for C/C++.

Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2024

2023

Randomness is the Root of All Evil: More Reliable Evaluation of Deep Active Learning.

Yilin Ji, Daniel Kästner, Oliver Wirth, Christian Wressnegger

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2023

Abstract Interpretation in Industry - Experience and Lessons Learned.

Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation.

Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2021

Testing Implementation Soundness of a WCET Analysis Tool.

Reinhard Wilhelm, Markus Pister, Gernot Gebhard, Daniel Kästner

Proceedings of the A Journey of Embedded and Cyber-Physical Systems, 2021

2020

Safety-Critical Software Development in C++.

Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2019

Benchmarking static code analyzers.

Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm

Reliab. Eng. Syst. Saf., 2019

TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis.

Daniel Kästner, Markus Pister, Simon Wegener, Christian Ferdinand

Proceedings of the 19th International Workshop on Worst-Case Execution Time Analysis, 2019

Towards Zero Alarms in Sound Static Analysis of Finite State Machines.

Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2019

2018

On Software Safety, Security, and Abstract Interpretation.

Daniel Kästner, Laurent Mauborgne, Christian Ferdinand

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2016

Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.

Daniel Kästner, Christian Ferdinand

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2015

Exploiting Synergies between Static Analysis and Model-Based Testing.

Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller

Proceedings of the 11th European Dependable Computing Conference, 2015

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

Proceedings of the Computer Safety, Reliability, and Security, 2014

Proving the Absence of Stack Overflows.

Daniel Kästner, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2014

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

Confidence in Timing.

Daniel Kästner, Markus Pister, Gernot Gebhard, Marc Schlickling, Christian Ferdinand

Proceedings of the SAFECOMP 2013, 2013

2012

Meeting Real-Time Requirements with Multi-core Processors.

Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2012

Static Verification of Non-Functional Software Requirements in the ISO-26262.

Daniel Kästner, Christian Ferdinand

Proceedings of the Automotive, 2012

2011

Astrée: Design and Experience.

Daniel Kästner

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis.

Daniel Kästner, Reinhold Heckmann, Christian Ferdinand

Proceedings of the Computer Safety, 2010

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

Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases.

Stefana Nenova, Daniel Kästner

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

2008

Timing Validation of Automotive Software.

Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Safe worst-case execution time analysis by abstract interpretation of executable code.

Daniel Kästner

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

2005

Generic Software Pipelining at the Assembly Level.

Daniel Kästner, Markus Pister

Proceedings of the 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas, USA, September 29, 2005

2003

Post-pass compaction techniques.

Bruno De Bus, Daniel Kästner, Dominique Chanet, Ludo Van Put, Bjorn De Sutter

Commun. ACM, 2003

Reconstructing Control Flow from Predicated Assembly Code.

Björn Decker, Daniel Kästner

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses.

Daniel Kästner

Proceedings of the Generative Programming and Component Engineering, 2003

Validierung des Zeitverhaltens von kritischer Echtzeit-Software.

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

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2002

Generic control flow reconstruction from assembly code.

Daniel Kästner, Stephan Wilhelm

Proceedings of the 2002 Joint Conference on Languages, 2002

2001

ILP-based Instruction Scheduling for IA-64.

Daniel Kästner, Sebastian Winkel

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

2000

Retargetable postpass optimisation by integer linear programming.

Daniel Kästner

PhD thesis, 2000

PROPAN: A Retargetable System for Postpass Optimisations and Analyses.

Daniel Kästner

Proceedings of the Languages, 2000

PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen.

Daniel Kästner

Proceedings of the Informatik 2000, 2000

1999

Cache Aware Pre-Runtime Scheduling.

Daniel Kästner, Stephan Thesing

Real Time Syst., 1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.

Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Informatik '99, 1999

Code Optimization by Integer Linear Programming.

Daniel Kästner, Marc Langenbach

Proceedings of the Compiler Construction, 8th International Conference, 1999

1998

Cache-Sensitive Pre-runtime Scheduling.

Daniel Kästner, Stephan Thesing

Proceedings of the Languages, 1998