Jan Reineke

ORCID

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 44

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke
LLVMTA: An LLVM-Based WCET Analysis Tool. WCET (2022)
Andreas Abel, Jan Reineke
uiCA: accurate throughput prediction of basic blocks on recent intel microarchitectures. ICS (2022)
Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke
On the Trade-offs between Generalization and Specialization in Real-Time Systems. RTCSA (2022)
Canberk Morelli, Jan Reineke
Warping Cache Simulation of Polyhedral Programs. CoRR (2022)
Canberk Morelli, Jan Reineke
Warping cache simulation of polyhedral programs. PLDI (2022)
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
Hardware-Software Contracts for Secure Speculation. IEEE Symposium on Security and Privacy (2021)
Andreas Abel, Jan Reineke
Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures. CoRR (2021)
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
Hardware-Software Contracts for Secure Speculation. CoRR (2020)
Sebastian Hahn, Jan Reineke
Design and analysis of SIC: a provably timing-predictable pipelined processor core. Real Time Syst. 56 (2) (2020)
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
Spectector: Principled Detection of Speculative Information Flows. IEEE Symposium on Security and Privacy (2020)
Pepe Vila, Andreas Abel, Marco Guarnieri, Boris Köpf, Jan Reineke
Flushgeist: Cache Leaks from Beyond the Flush. CoRR (2020)
Andreas Abel, Jan Reineke
nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. ISPASS (2020)
Ria Hari Gusmita, Rricha Jalota, Daniel Vollmers, Jan Reineke, Axel-Cyrille Ngonga Ngomo, Ricardo Usbeck
QUANT - Question Answering Benchmark Curator. SEMANTiCS (2019)
Gregory Stock, Sebastian Hahn, Jan Reineke
Cache Persistence Analysis: Finally Exact. RTSS (2019)
Andreas Abel, Jan Reineke
nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. CoRR (2019)
Gregory Stock, Sebastian Hahn, Jan Reineke
Cache Persistence Analysis: Finally Exact. CoRR (2019)
Andreas Abel, Jan Reineke
uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. ASPLOS (2019)
Jan Reineke, Christos Stergiou, Stavros Tripakis
Basic problems in multi-view modeling. Softw. Syst. Model. 18 (3) (2019)
Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
Fast and exact analysis for LRU caches. Proc. ACM Program. Lang. 3 (POPL) (2019)
Pablo Cañones, Boris Köpf, Jan Reineke
On the Incomparability of Cache Algorithms in Terms of Timing Leakage. Log. Methods Comput. Sci. 15 (1) (2019)
Pablo Cañones, Boris Köpf, Jan Reineke
On the Incomparability of Cache Algorithms in Terms of Timing Leakage. CoRR (2018)
Robert I. Davis, Sebastian Altmeyer, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
An extensible framework for multicore response time analysis. Real Time Syst. 54 (3) (2018)
Jan Reineke, Alejandro Salinger
On the Smoothness of Paging Algorithms. Theory Comput. Syst. 62 (2) (2018)
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR (2018)
Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. 167 (2018)
Darshit Shah, Sebastian Hahn, Jan Reineke
Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis. WCET (2018)
Andreas Abel, Jan Reineke
uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. CoRR (2018)
Jan Reineke
The Semantic Foundations and a Landscape of Cache-Persistence Analyses. Leibniz Trans. Embed. Syst. 5 (1) (2018)
Sebastian Hahn, Jan Reineke
Design and Analysis of SIC: A Provably Timing-Predictable Pipelined Processor Core. RTSS (2018)
Robert I. Davis, Sebastian Altmeyer, Jan Reineke
Response-time analysis for fixed-priority systems with a write-back cache. Real Time Syst. 54 (4) (2018)
Claire Maïza, Valentin Touzeau, David Monniaux, Jan Reineke
Fast and exact analysis for LRU caches. CoRR (2018)
Sheng-Wei Cheng, Jian-Jia Chen, Jan Reineke, Tei-Wei Kuo
Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System. RTSS (2017)
Pablo Cañones, Boris Köpf, Jan Reineke
Security Analysis of Cache Replacement Policies. POST (2017)
Edward A. Lee, Jan Reineke, Michael Zimmer
Abstract PRET Machines. RTSS (2017)
Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
Ascertaining Uncertainty for Efficient Exact Cache Analysis. CoRR (2017)
Pablo Cañones, Boris Köpf, Jan Reineke
Security Analysis of Cache Replacement Policies. CoRR (2017)
Tobias Blaß, Sebastian Hahn, Jan Reineke
Write-Back Caches in WCET Analysis. ECRTS (2017)
Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
Ascertaining Uncertainty for Efficient Exact Cache Analysis. CAV (2) (2017)
Wen-Hung Huang, Jian-Jia Chen, Jan Reineke
MIRROR: symmetric timing analysis for real-time tasks on multicore platforms with shared resources. DAC (2016)
Andreas Abel, Jan Reineke
Gray-Box Learning of Serial Compositions of Mealy Machines. NFM (2016)
Jan Reineke, Reinhard Wilhelm
Static Timing Analysis - What is Special? Semantics, Logics, and Calculi (2016)
Sebastian Hahn, Michael Jacobs, Jan Reineke
Enabling Compositionality for Multicore Timing Analysis. RTNS (2016)
Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi
A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. 3 (1) (2016)
Robert I. Davis, Sebastian Altmeyer, Jan Reineke
Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling. RTNS (2016)
Andreas Abel, Jan Reineke
MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines. ICCAD (2015)
Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. WCET (2015)
Jan Reineke, Alejandro Salinger
On the Smoothness of Paging Algorithms. CoRR (2015)
Sebastian Altmeyer, Robert I. Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
A generic and compositional framework for multicore response time analysis. RTNS (2015)
Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
Towards compositionality in execution time analysis: definition and challenges. SIGBED Rev. 12 (1) (2015)
Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
Toward Compact Abstractions for Processor Pipelines. Correct System Design (2015)
Peter Backes, Jan Reineke
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. VMCAI (2015)
Peter Backes, Jan Reineke
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. SPIN (2015)
Goran Doychev, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. ACM Trans. Inf. Syst. Secur. 18 (1) (2015)
Jan Reineke, Alejandro Salinger
On the Smoothness of Paging Algorithms. WAOA (2015)
Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza
Selfish-LRU: Preemption-aware caching for predictability and performance. RTAS (2014)
Mohamed Abdel Maksoud, Jan Reineke
A Compiler Optimization to Increase the Efficiency of WCET Analysis. RTNS (2014)
Jan Reineke, Stavros Tripakis
Basic Problems in Multi-View Modeling. TACAS (2014)
Jan Reineke, Johannes Doerfert
Architecture-parametric timing analysis. RTAS (2014)
Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi
Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 13 (4) (2014)
Jan Reineke
Randomized Caches Considered Harmful in Hard Real-Time Systems. Leibniz Trans. Embed. Syst. 1 (1) (2014)
Jan Reineke, Reinhard Wilhelm
Impact of resource sharing on performance and performance prediction. DATE (2014)
Andreas Abel, Jan Reineke
Reverse engineering of cache replacement policies in Intel microprocessors and their evaluation. ISPASS (2014)
Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm
Impact of Resource Sharing on Performance and Performance Prediction: A Survey. CONCUR (2013)
Andreas Abel, Jan Reineke
Measurement-based modeling of the cache replacement policy. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. USENIX Security Symposium (2013)
Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke
Precise timing analysis for direct-mapped caches. DAC (2013)
Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. IACR Cryptol. ePrint Arch. 2013 (2013)
Jan Reineke, Daniel Grund
Sensitivity of cache replacement policies. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Mohamed Abdel Maksoud, Jan Reineke
An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. WCET (2012)
Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee
A PRET microarchitecture implementation with repeatable timing and competitive performance. ICCD (2012)
Reinhard Wilhelm, Jan Reineke
Embedded systems: Many cores - Many problems. SIES (2012)
Daniel Grund, Jan Reineke, Reinhard Wilhelm
A Template for Predictability Definitions with Supporting Evidence. PPES (2011)
Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke
Designing next-generation real-time streaming systems. CODES+ISSS (2011)
Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke
Temporal isolation on multiprocessing architectures. DAC (2011)
Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee
PRET DRAM controller: bank privatization for predictability and temporal isolation. CODES+ISSS (2011)
Daniel Grund, Jan Reineke, Gernot Gebhard
Branch target buffers: WCET analysis framework and timing predictability. J. Syst. Archit. 57 (6) (2011)
Jörg Herter, Peter Backes, Florian Haupenthal, Jan Reineke
CAMA: A Predictable Cache-Aware Memory Allocator. ECRTS (2011)
Daniel Grund, Jan Reineke
Toward Precise PLRU Cache Analysis. WCET (2010)
Daniel Grund, Jan Reineke
Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection. ECRTS (2010)
Sebastian Altmeyer, Claire Maiza, Jan Reineke
Resilience analysis: tightening the CRPD bound for set-associative caches. LCTES (2010)
Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm
Static Timing Analysis for Hard Real-Time Systems. VMCAI (2010)
Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm
Polynomial Precise Interval Analysis Revisited. Efficient Algorithms (2009)
Daniel Grund, Jan Reineke, Gernot Gebhard
Branch Target Buffers: WCET Analysis Framework and Timing Predictability. RTCSA (2009)
Jörg Herter, Jan Reineke
Making Dynamic Memory Allocation Static to Support WCET Analysis. WCET (2009)
Claire Burguière, Jan Reineke, Sebastian Altmeyer
Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions. WCET (2009)
Daniel Grund, Jan Reineke
Abstract Interpretation of FIFO Replacement. SAS (2009)
Jan Reineke, Rathijit Sen
Sound and Efficient WCET Analysis in the Presence of Timing Anomalies. WCET (2009)
Reinhard Wilhelm, Daniel Grund, Jan Reineke, Marc Schlickling, Markus Pister, Christian Ferdinand
Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (7) (2009)
Jan Reineke, Daniel Grund
Relative competitiveness of cache replacement policies. SIGMETRICS (2008)
Jan Reineke, Daniel Grund
Relative competitive analysis of cache replacement policies. LCTES (2008)
Daniel Grund, Jan Reineke
Estimating the Performance of Cache Replacement Policies. MEMOCODE (2008)
Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm
Timing predictability of cache replacement policies. Real Time Syst. 37 (2) (2007)
Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker
A Definition and Classification of Timing Anomalies. WCET (2006)
Jan Reineke
Shape Analysis of Sets. Trustworthy Software (2006)

Jan Reineke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Reineke