Shape Analysis of Sets. - Jan Reineke 001 (Trustworthy Software, 2006)

A Definition and Classification of Timing Anomalies. - Jan Reineke 001; Björn Wachter; Stephan Thesing; Reinhard Wilhelm; Ilia Polian; Jochen Eisinger; Bernd Becker 001 (WCET, 2006)

Timing predictability of cache replacement policies. - Jan Reineke 001; Daniel Grund; Christoph Berg; Reinhard Wilhelm (Real Time Syst., 2007)

Relative competitive analysis of cache replacement policies. - Jan Reineke 001; Daniel Grund (LCTES, 2008)

Estimating the Performance of Cache Replacement Policies. - Daniel Grund; Jan Reineke 001 (MEMOCODE, 2008)

Relative competitiveness of cache replacement policies. - Jan Reineke 001; Daniel Grund (SIGMETRICS, 2008)

Polynomial Precise Interval Analysis Revisited. - Thomas Gawlitza; Jérôme Leroux; Jan Reineke 001; Helmut Seidl; Grégoire Sutre; Reinhard Wilhelm (Efficient Algorithms, 2009)

Abstract Interpretation of FIFO Replacement. - Daniel Grund; Jan Reineke 001 (SAS, 2009)

Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions. - Claire Burguière; Jan Reineke 001; Sebastian Altmeyer (WCET, 2009)

Making Dynamic Memory Allocation Static to Support WCET Analysis. - Jörg Herter; Jan Reineke 001 (WCET, 2009)

Sound and Efficient WCET Analysis in the Presence of Timing Anomalies. - Jan Reineke 001; Rathijit Sen (WCET, 2009)

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. - Reinhard Wilhelm; Daniel Grund; Jan Reineke 001; Marc Schlickling; Markus Pister 002; Christian Ferdinand (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity. - Jan Reineke 001 (2009)

Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection. - Daniel Grund; Jan Reineke 001 (ECRTS, 2010)

Resilience analysis: tightening the CRPD bound for set-associative caches. - Sebastian Altmeyer; Claire Maiza; Jan Reineke 001 (LCTES, 2010)

Static Timing Analysis for Hard Real-Time Systems. - Reinhard Wilhelm; Sebastian Altmeyer; Claire Burguière; Daniel Grund; Jörg Herter; Jan Reineke 001; Björn Wachter; Stephan Wilhelm (VMCAI, 2010)

Toward Precise PLRU Cache Analysis. - Daniel Grund; Jan Reineke 001 (WCET, 2010)

PRET DRAM controller: bank privatization for predictability and temporal isolation. - Jan Reineke 001; Isaac Liu; Hiren D. Patel; Sungjun Kim; Edward A. Lee (CODES+ISSS, 2011)

Designing next-generation real-time streaming systems. - Sander Stuijk; Twan Basten; Benny Akesson; Marc Geilen; Orlando Moreira; Jan Reineke 001 (CODES+ISSS, 2011)

Temporal isolation on multiprocessing architectures. - Dai N. Bui; Edward A. Lee; Isaac Liu; Hiren D. Patel; Jan Reineke 001 (DAC, 2011)

A Template for Predictability Definitions with Supporting Evidence. - Daniel Grund; Jan Reineke 001; Reinhard Wilhelm (PPES, 2011)

CAMA: A Predictable Cache-Aware Memory Allocator. - Jörg Herter; Peter Backes; Florian Haupenthal; Jan Reineke 001 (ECRTS, 2011)

Branch target buffers: WCET analysis framework and timing predictability. - Daniel Grund; Jan Reineke 001; Gernot Gebhard (J. Syst. Archit., 2011)

A PRET microarchitecture implementation with repeatable timing and competitive performance. - Isaac Liu; Jan Reineke 001; David Broman; Michael Zimmer 001; Edward A. Lee (ICCD, 2012)

Embedded systems: Many cores - Many problems. - Reinhard Wilhelm; Jan Reineke 001 (SIES, 2012)

An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. - Mohamed Abdel Maksoud; Jan Reineke 001 (WCET, 2012)

Impact of Resource Sharing on Performance and Performance Prediction: A Survey. - Andreas Abel 002; Florian Benz; Johannes Doerfert; Barbara Dörr; Sebastian Hahn 001; Florian Haupenthal; Michael Jacobs 002; Amir H. Moin; Jan Reineke 001; Bernhard Schommer; Reinhard Wilhelm (CONCUR, 2013)

Precise timing analysis for direct-mapped caches. - Sidharta Andalam; Alain Girault; Roopak Sinha; Partha S. Roop; Jan Reineke 001 (DAC, 2013)

Measurement-based modeling of the cache replacement policy. - Andreas Abel 002; Jan Reineke 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

CacheAudit: A Tool for the Static Analysis of Cache Side Channels. - Goran Doychev; Dominik Feld; Boris Köpf; Laurent Mauborgne; Jan Reineke 001 (IACR Cryptol. ePrint Arch., 2013)

Sensitivity of cache replacement policies. - Jan Reineke 001; Daniel Grund (ACM Trans. Embed. Comput. Syst., 2013)

Impact of resource sharing on performance and performance prediction. - Jan Reineke 001; Reinhard Wilhelm (DATE, 2014)

Reverse engineering of cache replacement policies in Intel microprocessors and their evaluation. - Andreas Abel 002; Jan Reineke 001 (ISPASS, 2014)

Selfish-LRU: Preemption-aware caching for predictability and performance. - Jan Reineke 001; Sebastian Altmeyer; Daniel Grund; Sebastian Hahn 001; Claire Maiza (RTAS, 2014)

Architecture-parametric timing analysis. - Jan Reineke 001; Johannes Doerfert (RTAS, 2014)

A Compiler Optimization to Increase the Efficiency of WCET Analysis. - Mohamed Abdel Maksoud; Jan Reineke 001 (RTNS, 2014)

Basic Problems in Multi-View Modeling. - Jan Reineke 001; Stavros Tripakis (TACAS, 2014)

Randomized Caches Considered Harmful in Hard Real-Time Systems. - Jan Reineke 001 (Leibniz Trans. Embed. Syst., 2014)

Building timing predictable embedded systems. - Philip Axer; Rolf Ernst; Heiko Falk; Alain Girault; Daniel Grund; Nan Guan; Bengt Jonsson 001; Peter Marwedel; Jan Reineke 001; Christine Rochange; Maurice Sebastian; Reinhard von Hanxleden; et al. (ACM Trans. Embed. Comput. Syst., 2014)

Toward Compact Abstractions for Processor Pipelines. - Sebastian Hahn 001; Jan Reineke 001; Reinhard Wilhelm (Correct System Design, 2015)

MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines. - Andreas Abel 002; Jan Reineke 001 (ICCAD, 2015)

A generic and compositional framework for multicore response time analysis. - Sebastian Altmeyer; Robert I. Davis 001; Leandro Soares Indrusiak; Claire Maiza; Vincent Nélis; Jan Reineke 001 (RTNS, 2015)

ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. - Peter Backes; Jan Reineke 001 (SPIN, 2015)

Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. - Peter Backes; Jan Reineke 001 (VMCAI, 2015)

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. - Sebastian Altmeyer; Björn Lisper; Claire Maiza; Jan Reineke 001; Christine Rochange (WCET, 2015)

Towards compositionality in execution time analysis: definition and challenges. - Sebastian Hahn 001; Jan Reineke 001; Reinhard Wilhelm (SIGBED Rev., 2015)

CacheAudit: A Tool for the Static Analysis of Cache Side Channels. - Goran Doychev; Boris Köpf; Laurent Mauborgne; Jan Reineke 001 (ACM Trans. Inf. Syst. Secur., 2015)

Static Timing Analysis - What is Special? - Jan Reineke 001; Reinhard Wilhelm (Semantics, Logics, and Calculi, 2016)

MIRROR: symmetric timing analysis for real-time tasks on multicore platforms with shared resources. - Wen-Hung Huang 001; Jian-Jia Chen; Jan Reineke 001 (DAC, 2016)

Gray-Box Learning of Serial Compositions of Mealy Machines. - Andreas Abel 002; Jan Reineke 001 (NFM, 2016)

Enabling Compositionality for Multicore Timing Analysis. - Sebastian Hahn 001; Michael Jacobs 002; Jan Reineke 001 (RTNS, 2016)

Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling. - Robert I. Davis 001; Sebastian Altmeyer; Jan Reineke 001 (RTNS, 2016)

A Survey on Static Cache Analysis for Real-Time Systems. - Mingsong Lv; Nan Guan; Jan Reineke 001; Reinhard Wilhelm; Wang Yi 001 (Leibniz Trans. Embed. Syst., 2016)

Ascertaining Uncertainty for Efficient Exact Cache Analysis. - Valentin Touzeau; Claire Maïza; David Monniaux; Jan Reineke 001 (CAV (2), 2017)

Write-Back Caches in WCET Analysis. - Tobias Blaß; Sebastian Hahn 001; Jan Reineke 001 (ECRTS, 2017)

Security Analysis of Cache Replacement Policies. - Pablo Cañones; Boris Köpf; Jan Reineke 001 (POST, 2017)

Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System. - Sheng-Wei Cheng; Jian-Jia Chen; Jan Reineke 001; Tei-Wei Kuo (RTSS, 2017)

Abstract PRET Machines. - Edward A. Lee; Jan Reineke 001; Michael Zimmer 001 (RTSS, 2017)

Keeping up with Real Time. - Reinhard Wilhelm; Jan Reineke 001; Simon Wegener (Advances in Aeronautical Informatics, 2018)

Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis. - Darshit Shah; Sebastian Hahn 001; Jan Reineke 001 (WCET, 2018)

The Semantic Foundations and a Landscape of Cache-Persistence Analyses. - Jan Reineke 001 (Leibniz Trans. Embed. Syst., 2018)

On the Smoothness of Paging Algorithms. - Jan Reineke 001; Alejandro Salinger (Theory Comput. Syst., 2018)

An extensible framework for multicore response time analysis. - Robert I. Davis 001; Sebastian Altmeyer; Leandro Soares Indrusiak; Claire Maiza; Vincent Nélis; Jan Reineke 001 (Real Time Syst., 2018)

Response-time analysis for fixed-priority systems with a write-back cache. - Robert I. Davis 001; Sebastian Altmeyer; Jan Reineke 001 (Real Time Syst., 2018)

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. - Maria Pittou; Panagiotis Manolios; Jan Reineke 001; Stavros Tripakis (Sci. Comput. Program., 2018)

uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. - Andreas Abel 002; Jan Reineke 001 (ASPLOS, 2019)

Cache Persistence Analysis: Finally Exact. - Gregory Stock 002; Sebastian Hahn 001; Jan Reineke 001 (RTSS, 2019)

On the Incomparability of Cache Algorithms in Terms of Timing Leakage. - Pablo Cañones; Boris Köpf; Jan Reineke 001 (Log. Methods Comput. Sci., 2019)

Fast and exact analysis for LRU caches. - Valentin Touzeau; Claire Maïza; David Monniaux; Jan Reineke 001 (Proc. ACM Program. Lang., 2019)

Basic problems in multi-view modeling. - Jan Reineke 001; Christos Stergiou 001; Stavros Tripakis (Softw. Syst. Model., 2019)

nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. - Andreas Abel 002; Jan Reineke 001 (ISPASS, 2020)

Spectector: Principled Detection of Speculative Information Flows. - Marco Guarnieri; Boris Köpf; José F. Morales 001; Jan Reineke 001; Andrés Sánchez (SP, 2020)

Flushgeist: Cache Leaks from Beyond the Flush. - Pepe Vila; Andreas Abel 002; Marco Guarnieri; Boris Köpf; Jan Reineke 001 (CoRR, 2020)

Design and analysis of SIC: a provably timing-predictable pipelined processor core. - Sebastian Hahn 001; Jan Reineke 001 (Real Time Syst., 2020)

Hardware-Software Contracts for Secure Speculation. - Marco Guarnieri; Boris Köpf; Jan Reineke 001; Pepe Vila (SP, 2021)

Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures. - Andreas Abel 002; Jan Reineke 001 (CoRR, 2021)

uiCA: accurate throughput prediction of basic blocks on recent intel microarchitectures. - Andreas Abel 002; Jan Reineke 001 (ICS, 2022)

Warping cache simulation of polyhedral programs. - Canberk Morelli; Jan Reineke 001 (PLDI, 2022)

On the Trade-offs between Generalization and Specialization in Real-Time Systems. - Georg von der Brüggen; Alan Burns 001; Jian-Jia Chen; Robert I. Davis 001; Jan Reineke 001 (RTCSA, 2022)

LLVMTA: An LLVM-Based WCET Analysis Tool. - Sebastian Hahn 001; Michael Jacobs 002; Nils Hölscher; Kuan-Hsun Chen; Jian-Jia Chen; Jan Reineke 001 (WCET, 2022)

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. - Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke 001; Marco Guarnieri (CCS, 2023)

Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction. - Andreas Abel 002; Shrey Sharma; Jan Reineke 001 (IISWC, 2023)

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. - Valentin Touzeau; Jan Reineke 001 (RTSS, 2023)

Type-Aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms. - Ching-Chi Lin; Junjie Shi; Niklas Ueter; Mario Günzel; Jan Reineke 001; Jian-Jia Chen (IEEE Trans. Computers, 2023)

No Leakage Without State Change: Repurposing Configurable CPU Exceptions to Prevent Microarchitectural Attacks. - Daniel Weber 007; Leonard Niemann; Lukas Gerlach 001; Jan Reineke 001; Michael Schwarz 001 (ACSAC, 2024)

Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. - Gideon Mohr; Marco Guarnieri; Jan Reineke 001 (DATE, 2024)

Sound WCET Analysis, Explanation of the Method and of the Results. - Reinhard Wilhelm; Jan Reineke 001 (ERSA@RTSS, 2024)

A Unified Framework for Quantitative Cache Analysis. - Sophie Kahlen; Jan Reineke 001 (RTAS, 2025)

WCDT: Systematic WCET Optimization for Decision Tree Implementations. - Nils Hölscher; Christian Hakert; Georg von der Brüggen; Jian-Jia Chen; Kuan-Hsun Chen; Jan Reineke 001 (CoRR, 2025)

Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. - Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke 001; Marco Guarnieri (CoRR, 2025)