Old Web
English
Sign In
Acemap
>
authorDetail
>
Daniel Kaestner
Daniel Kaestner
Computer science
Real-time computing
Abstract interpretation
Static analysis
Automotive software
5
Papers
8
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
2019
Daniel Kaestner
Bernard Schmidt
Maximilian Schlund
Laurent Mauborgne
Stephan Wilhelm
Christian Ferdinand
Show All
Source
Cite
Save
Citations (2)
Finding All Potential Run-Time Errors and Data Races in Automotive Software
2017
Daniel Kaestner
Antoine Miné
André Schmidt
Heinz Hille
Laurent Mauborgne
Stephan Wilhelm
Xavier Rival
Jérôme Feret
Patrick Cousot
Christian Ferdinand
Show All
Source
Cite
Save
Citations (3)
Exploiting Synergies between Static Analysis and Model-Based Testing
2015
EDCC | European Dependable Computing Conference
Sayali Salvi
Daniel Kaestner
Christian Ferdinand
Tom Bienmueller
Show All
Source
Cite
Save
Citations (0)
Model-Driven Code Generation and Analysis
2014
Daniel Kaestner
Carsten Rustemeier
Ulrich Kiffmeier
Dirk Fleischer
Stefana Nenova
Reinhold Heckmann
Marc Schlickling
Christian Ferdinand
Show All
Source
Cite
Save
Citations (2)
Safe worst-case execution time analysis by abstract interpretation of executable code
2007
LCTES | Languages, Compilers, and Tools for Embedded Systems
Daniel Kaestner
Show All
Source
Cite
Save
Citations (1)
1