Sebastian Hahn

18 papers A 3B 5Misc 2Journal 3Unranked 4
YearRankTypeTitle / 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
2022 — conf
LLVMTA: An LLVM-Based WCET Analysis Tool.
WCET
Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke
2020 J jnl
Design and analysis of SIC: a provably timing-predictable pipelined processor core.
Real Time Syst.
Sebastian Hahn, Jan Reineke
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 A conf
Cache Persistence Analysis: Finally Exact.
RTSS
Gregory Stock, Sebastian Hahn, Jan Reineke
2019 J jnl
Cache Persistence Analysis: Finally Exact.
CoRR
Gregory Stock, Sebastian Hahn, Jan Reineke
2019 — —
On static execution-time analysis.
Sebastian Hahn
2018 A conf
Design and Analysis of SIC: A Provably Timing-Predictable Pipelined Processor Core.
RTSS
Sebastian Hahn, Jan Reineke
2018 — conf
Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis.
WCET
Darshit Shah, Sebastian Hahn, Jan Reineke
2017 B conf
Write-Back Caches in WCET Analysis.
ECRTS
Tobias Blaß, Sebastian Hahn, Jan Reineke
2016 B conf
A Framework for the Derivation of WCET Analyses for Multi-core Processors.
ECRTS
Michael Jacobs, Sebastian Hahn, Sebastian Hack
2016 Misc conf
Enabling Compositionality for Multicore Timing Analysis.
RTNS
Sebastian Hahn, Michael Jacobs, Jan Reineke
2015 — conf
Toward Compact Abstractions for Processor Pipelines.
Correct System Design
Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
2015 J jnl
Towards compositionality in execution time analysis: definition and challenges.
SIGBED Rev.
Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
2015 Misc conf
WCET analysis for multi-core processors with shared buses and event-driven bus arbitration.
RTNS
Michael Jacobs, Sebastian Hahn, Sebastian Hack
2014 A conf
Selfish-LRU: Preemption-aware caching for predictability and performance.
RTAS
Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza
2013 B conf
Impact of Resource Sharing on Performance and Performance Prediction: A Survey.
CONCUR
Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm
2012 B conf
Relational Cache Analysis for Static Timing Analysis.
ECRTS
Sebastian Hahn, Daniel Grund