Author of the publication

Timing Validation of Automotive Software.

, , , , , , , and . ISoLA, volume 17 of Communications in Computer and Information Science, page 93-107. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems., , , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 28 (7): 966-978 (2009)Testing Agile Requirements Models., , and . CoRR, (2014)A Framework for Static Analysis of VHDL Code., and . WCET, volume 6 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie.. Technical University Munich, Germany, (2009)Generic Software Pipelining at the Assembly Level., and . SCOPES, volume 136 of ACM International Conference Proceeding Series, page 50-61. (2005)TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis., , , and . WCET, volume 72 of OASIcs, page 1:1-1:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Timing Validation of Automotive Software., , , , , , , and . ISoLA, volume 17 of Communications in Computer and Information Science, page 93-107. Springer, (2008)Confidence in Timing., , , , and . SASSUR@SAFECOMP, HAL, (2013)Model-Based Requirements Engineering with AutoRAID., , , and . GI Jahrestagung (2), volume P-68 of LNI, page 511-515. GI, (2005)Timing model derivation: pipeline analyzer generation from hardware description languages.. Saarland University, (2012)