Daniel Kästner

41 papers A 2B 13C 3Misc 1Journal 5Unranked 16

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