Daniel Kstner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
12
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Sound Non-interference Analysis for C/C++. | Daniel Kstner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jrg Herter, Christoph Cullmann, Christian Ferdinand |
| 2023 | WACV | Randomness is the Root of All Evil: More Reliable Evaluation of Deep Active Learning. | Yilin Ji, Daniel Kstner, Oliver Wirth, Christian Wressnegger |
| 2023 | SAS | Abstract Interpretation in Industry - Experience and Lessons Learned. | Daniel Kstner, Reinhard Wilhelm, Christian Ferdinand |
| 2021 | ITC | Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. | Christian Bartsch, Stephan Wilhelm, Daniel Kstner, Dominik Stoffel, Wolfgang Kunz |
| 2020 | SAFECOMP | Safety-Critical Software Development in C++. | Daniel Kstner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand |
| 2019 | SAFECOMP | Towards Zero Alarms in Sound Static Analysis of Finite State Machines. | Josselin Giet, Laurent Mauborgne, Daniel Kstner, Christian Ferdinand |
| 2018 | FM | On Software Safety, Security, and Abstract Interpretation. | Daniel Kstner, Laurent Mauborgne, Christian Ferdinand |
| 2017 | SAFECOMP | Benchmarking Static Code Analyzers. | Jrg Herter, Daniel Kstner, Christoph Mallon, Reinhard Wilhelm |
| 2015 | EDCC | Exploiting Synergies between Static Analysis and Model-Based Testing. | Sayali Salvi, Daniel Kstner, Christian Ferdinand, Tom Bienmller |
| 2014 | SAFECOMP | Proving the Absence of Stack Overflows. | Daniel Kstner, Christian Ferdinand |
| 2014 | SAFECOMP | True Error or False Alarm? Refining Astre's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. | Sayali Salvi, Daniel Kstner, Tom Bienmller, Christian Ferdinand |
| 2013 | SAFECOMP | Confidence in Timing. | Daniel Kstner, Markus Pister, Gernot Gebhard, Marc Schlickling, Christian Ferdinand |
| 2012 | SAFECOMP | Meeting Real-Time Requirements with Multi-core Processors. | Daniel Kstner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand |
| 2011 | SAS | Astre: Design and Experience. | Daniel Kstner |
| 2010 | SAFECOMP | 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. | Daniel Kstner, Reinhold Heckmann, Christian Ferdinand |
| 2008 | ISoLA | Timing Validation of Automotive Software. | Daniel Kstner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand |
| 2005 | SCOPES | Generic Software Pipelining at the Assembly Level. | Daniel Kstner, Markus Pister |
| 2003 | GI | Validierung des Zeitverhaltens von kritischer Echtzeit-Software. | Christian Ferdinand, Daniel Kstner, 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 |
| 2003 | GPCE | TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses. | Daniel Kstner |
| 2003 | SCOPES | Reconstructing Control Flow from Predicated Assembly Code. | Bjrn Decker, Daniel Kstner |
| 2001 | PLDI | ILP-based Instruction Scheduling for IA-64. | Daniel Kstner, Sebastian Winkel |
| 2000 | GI | PROPAN: Ein retargierbares System fr Postpassoptimierungen und -analysen. | Daniel Kstner |
| 1999 | CC | Code Optimization by Integer Linear Programming. | Daniel Kstner, Marc Langenbach |
| 1999 | GI | Run-Time Guarantees for Real-Time Systems - The USES Approach. | Christian Ferdinand, Daniel Kstner, Marc Langenbach, Florian Martin, Michael Schmidt, Jrn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |