Sebastian Hahn

According to our database, Sebastian Hahn authored at least 16 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sound Non-interference Analysis for C/C++.

Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2024

2022

LLVMTA: An LLVM-Based WCET Analysis Tool.

Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke

Proceedings of the 20th International Workshop on Worst-Case Execution Time Analysis, 2022

2020

Design and analysis of SIC: a provably timing-predictable pipelined processor core.

Sebastian Hahn, Jan Reineke

Real Time Syst., 2020

Safety-Critical Software Development in C++.

Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2019

On static execution-time analysis.

Sebastian Hahn

PhD thesis, 2019

Cache Persistence Analysis: Finally Exact.

Gregory Stock, Sebastian Hahn, Jan Reineke

Proceedings of the IEEE Real-Time Systems Symposium, 2019

2018

Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis.

Darshit Shah, Sebastian Hahn, Jan Reineke

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

2017

Write-Back Caches in WCET Analysis.

Tobias Blaß, Sebastian Hahn, Jan Reineke

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

2016

Enabling Compositionality for Multicore Timing Analysis.

Sebastian Hahn, Michael Jacobs, Jan Reineke

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

A Framework for the Derivation of WCET Analyses for Multi-core Processors.

Michael Jacobs, Sebastian Hahn, Sebastian Hack

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

2015

Towards compositionality in execution time analysis: definition and challenges.

Sebastian Hahn, Jan Reineke, Reinhard Wilhelm

SIGBED Rev., 2015

WCET analysis for multi-core processors with shared buses and event-driven bus arbitration.

Michael Jacobs, Sebastian Hahn, Sebastian Hack

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Toward Compact Abstractions for Processor Pipelines.

Sebastian Hahn, Jan Reineke, Reinhard Wilhelm

Proceedings of the Correct System Design, 2015

2014

Selfish-LRU: Preemption-aware caching for predictability and performance.

Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

2013

Impact of Resource Sharing on Performance and Performance Prediction: A Survey.

Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Relational Cache Analysis for Static Timing Analysis.

Sebastian Hahn, Daniel Grund

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012