default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Reineke 0001
Person information
- affiliation: Saarland University, Department of Computer Science, Germany
Other persons with the same name
- Jan Reineke 0002
![[0000-0002-2613-9807]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-2613-9807")
— University of Hamburg, Department of Informatics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c65]Gideon Mohr, Marco Guarnieri, Jan Reineke:
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. DATE 2024: 1-6- [i18]Gideon Mohr, Marco Guarnieri, Jan Reineke:
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. CoRR abs/2401.09383 (2024) - 2023
- [j19]Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke, Jian-Jia Chen:
Type-Aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms. IEEE Trans. Computers 72(5): 1286-1300 (2023) - [c64]Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri:
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CCS 2023: 2128-2142 - [c63]Andreas Abel, Shrey Sharma, Jan Reineke:
Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction. IISWC 2023: 87-99 - [c62]Valentin Touzeau, Jan Reineke:
Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. RTSS 2023: 237-250 - [i17]Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri:
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CoRR abs/2305.06979 (2023) - [i16]Valentin Touzeau, Jan Reineke:
Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. CoRR abs/2310.04809 (2023) - [i15]Andreas Abel, Shrey Sharma, Jan Reineke:
Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction. CoRR abs/2310.13212 (2023) - 2022
- [c61]Andreas Abel, Jan Reineke:
uiCA: accurate throughput prediction of basic blocks on recent intel microarchitectures. ICS 2022: 33:1-33:14 - [c60]Canberk Morelli, Jan Reineke:
Warping cache simulation of polyhedral programs. PLDI 2022: 316-331 - [c59]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: 148-159 - [c58]Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke:
LLVMTA: An LLVM-Based WCET Analysis Tool. WCET 2022: 2:1-2:17 - [i14]Canberk Morelli, Jan Reineke:
Warping Cache Simulation of Polyhedral Programs. CoRR abs/2203.14845 (2022) - 2021
- [c57]Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila:
Hardware-Software Contracts for Secure Speculation. SP 2021: 1868-1883 - [i13]Andreas Abel, Jan Reineke:
Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures. CoRR abs/2107.14210 (2021) - 2020
- [j18]Sebastian Hahn, Jan Reineke:
Design and analysis of SIC: a provably timing-predictable pipelined processor core. Real Time Syst. 56(2): 207-245 (2020) - [c56]Andreas Abel, Jan Reineke:
nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. ISPASS 2020: 34-46 - [c55]Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez:
Spectector: Principled Detection of Speculative Information Flows. SP 2020: 1-19 - [i12]Pepe Vila, Andreas Abel, Marco Guarnieri, Boris Köpf, Jan Reineke:
Flushgeist: Cache Leaks from Beyond the Flush. CoRR abs/2005.13853 (2020) - [i11]Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila:
Hardware-Software Contracts for Secure Speculation. CoRR abs/2006.03841 (2020)
2010 – 2019
- 2019
- [j17]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) - [j16]Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke:
Fast and exact analysis for LRU caches. Proc. ACM Program. Lang. 3(POPL): 54:1-54:29 (2019) - [j15]Jan Reineke, Christos Stergiou, Stavros Tripakis:
Basic problems in multi-view modeling. Softw. Syst. Model. 18(3): 1577-1611 (2019) - [c54]Andreas Abel, Jan Reineke:
uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. ASPLOS 2019: 673-686 - [c53]Gregory Stock, Sebastian Hahn, Jan Reineke:
Cache Persistence Analysis: Finally Exact. RTSS 2019: 481-494 - [i10]Gregory Stock, Sebastian Hahn, Jan Reineke:
Cache Persistence Analysis: Finally Exact. CoRR abs/1909.04374 (2019) - [i9]Andreas Abel, Jan Reineke:
nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. CoRR abs/1911.03282 (2019) - 2018
- [j14]Jan Reineke:
The Semantic Foundations and a Landscape of Cache-Persistence Analyses. Leibniz Trans. Embed. Syst. 5(1): 03:1-03:52 (2018) - [j13]Jan Reineke, Alejandro Salinger:
On the Smoothness of Paging Algorithms. Theory Comput. Syst. 62(2): 366-418 (2018) - [j12]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): 607-661 (2018) - [j11]Robert I. Davis, Sebastian Altmeyer, Jan Reineke:
Response-time analysis for fixed-priority systems with a write-back cache. Real Time Syst. 54(4): 912-963 (2018) - [j10]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: 1-24 (2018) - [c52]Sebastian Hahn, Jan Reineke:
Design and Analysis of SIC: A Provably Timing-Predictable Pipelined Processor Core. RTSS 2018: 469-481 - [c51]Darshit Shah, Sebastian Hahn, Jan Reineke:
Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis. WCET 2018: 7:1-7:11 - [p1]Reinhard Wilhelm, Jan Reineke, Simon Wegener:
Keeping up with Real Time. Advances in Aeronautical Informatics 2018: 121-133 - [i8]Pablo Cañones, Boris Köpf, Jan Reineke:
On the Incomparability of Cache Algorithms in Terms of Timing Leakage. CoRR abs/1807.01240 (2018) - [i7]Andreas Abel, Jan Reineke:
uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. CoRR abs/1810.04610 (2018) - [i6]Claire Maïza, Valentin Touzeau, David Monniaux, Jan Reineke:
Fast and exact analysis for LRU caches. CoRR abs/1811.01670 (2018) - [i5]Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez:
SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR abs/1812.08639 (2018) - 2017
- [c50]Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke:
Ascertaining Uncertainty for Efficient Exact Cache Analysis. CAV (2) 2017: 22-40 - [c49]Tobias Blaß, Sebastian Hahn, Jan Reineke:
Write-Back Caches in WCET Analysis. ECRTS 2017: 26:1-26:22 - [c48]Pablo Cañones, Boris Köpf, Jan Reineke:
Security Analysis of Cache Replacement Policies. POST 2017: 189-209 - [c47]Edward A. Lee, Jan Reineke, Michael Zimmer:
Abstract PRET Machines. RTSS 2017: 1-11 - [c46]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: 209-219 - [e2]Jan Reineke:
17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, June 27, 2017, Dubrovnik, Croatia. OASIcs 57, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-057-6 [contents] - [i4]Pablo Cañones, Boris Köpf, Jan Reineke:
Security Analysis of Cache Replacement Policies. CoRR abs/1701.06481 (2017) - [i3]Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke:
Ascertaining Uncertainty for Efficient Exact Cache Analysis. CoRR abs/1709.10008 (2017) - 2016
- [j9]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): 05:1-05:48 (2016) - [c45]Jan Reineke, Reinhard Wilhelm:
Static Timing Analysis - What is Special? Semantics, Logics, and Calculi 2016: 74-87 - [c44]Wen-Hung Huang, Jian-Jia Chen, Jan Reineke:
MIRROR: symmetric timing analysis for real-time tasks on multicore platforms with shared resources. DAC 2016: 158:1-158:6 - [c43]Andreas Abel, Jan Reineke:
Gray-Box Learning of Serial Compositions of Mealy Machines. NFM 2016: 272-287 - [c42]Sebastian Hahn, Michael Jacobs, Jan Reineke:
Enabling Compositionality for Multicore Timing Analysis. RTNS 2016: 299-308 - [c41]Robert I. Davis, Sebastian Altmeyer, Jan Reineke:
Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling. RTNS 2016: 309-318 - 2015
- [j8]Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
Towards compositionality in execution time analysis: definition and challenges. SIGBED Rev. 12(1): 28-36 (2015) - [j7]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): 4:1-4:32 (2015) - [c40]Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
Toward Compact Abstractions for Processor Pipelines. Correct System Design 2015: 205-220 - [c39]Andreas Abel, Jan Reineke:
MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines. ICCAD 2015: 94-101 - [c38]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: 129-138 - [c37]Peter Backes, Jan Reineke:
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. SPIN 2015: 13-19 - [c36]Peter Backes, Jan Reineke:
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. VMCAI 2015: 135-152 - [c35]Jan Reineke, Alejandro Salinger:
On the Smoothness of Paging Algorithms. WAOA 2015: 170-182 - [c34]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: 65-74 - [i2]Jan Reineke, Alejandro Salinger:
On the Smoothness of Paging Algorithms. CoRR abs/1510.03362 (2015) - 2014
- [j6]Jan Reineke:
Randomized Caches Considered Harmful in Hard Real-Time Systems. Leibniz Trans. Embed. Syst. 1(1): 03:1-03:13 (2014) - [j5]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): 82:1-82:37 (2014) - [c33]Jan Reineke, Reinhard Wilhelm:
Impact of resource sharing on performance and performance prediction. DATE 2014: 1-2 - [c32]Andreas Abel, Jan Reineke:
Reverse engineering of cache replacement policies in Intel microprocessors and their evaluation. ISPASS 2014: 141-142 - [c31]Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza:
Selfish-LRU: Preemption-aware caching for predictability and performance. RTAS 2014: 135-144 - [c30]Jan Reineke, Johannes Doerfert:
Architecture-parametric timing analysis. RTAS 2014: 189-200 - [c29]Mohamed Abdel Maksoud, Jan Reineke:
A Compiler Optimization to Increase the Efficiency of WCET Analysis. RTNS 2014: 87 - [c28]Jan Reineke, Stavros Tripakis:
Basic Problems in Multi-View Modeling. TACAS 2014: 217-232 - [e1]Tulika Mitra, Jan Reineke:
2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. ACM 2014 [contents] - 2013
- [j4]Jan Reineke, Daniel Grund:
Sensitivity of cache replacement policies. ACM Trans. Embed. Comput. Syst. 12(1s): 42:1-42:18 (2013) - [c27]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: 25-43 - [c26]Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke:
Precise timing analysis for direct-mapped caches. DAC 2013: 148:1-148:10 - [c25]Andreas Abel, Jan Reineke:
Measurement-based modeling of the cache replacement policy. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 65-74 - [c24]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: 431-446 - [i1]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: 253 (2013) - 2012
- [c23]Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee:
A PRET microarchitecture implementation with repeatable timing and competitive performance. ICCD 2012: 87-93 - [c22]Reinhard Wilhelm, Jan Reineke:
Embedded systems: Many cores - Many problems. SIES 2012: 176-180 - [c21]Mohamed Abdel Maksoud, Jan Reineke:
An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. WCET 2012: 13-24 - 2011
- [j3]Daniel Grund, Jan Reineke, Gernot Gebhard:
Branch target buffers: WCET analysis framework and timing predictability. J. Syst. Archit. 57(6): 625-637 (2011) - [c20]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: 99-108 - [c19]Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke:
Designing next-generation real-time streaming systems. CODES+ISSS 2011: 375-376 - [c18]Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke:
Temporal isolation on multiprocessing architectures. DAC 2011: 274-279 - [c17]Daniel Grund, Jan Reineke, Reinhard Wilhelm:
A Template for Predictability Definitions with Supporting Evidence. PPES 2011: 22-31 - [c16]Jörg Herter, Peter Backes, Florian Haupenthal, Jan Reineke:
CAMA: A Predictable Cache-Aware Memory Allocator. ECRTS 2011: 23-32 - 2010
- [c15]Daniel Grund, Jan Reineke:
Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection. ECRTS 2010: 155-164 - [c14]Sebastian Altmeyer, Claire Maiza, Jan Reineke:
Resilience analysis: tightening the CRPD bound for set-associative caches. LCTES 2010: 153-162 - [c13]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: 3-22 - [c12]Daniel Grund, Jan Reineke:
Toward Precise PLRU Cache Analysis. WCET 2010: 23-35
2000 – 2009
- 2009
- [b1]Jan Reineke:
Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity. Saarland University, 2009, ISBN 978-3-941071-69-8, pp. 1-152 - [j2]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): 966-978 (2009) - [c11]Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm:
Polynomial Precise Interval Analysis Revisited. Efficient Algorithms 2009: 422-437 - [c10]Daniel Grund, Jan Reineke, Gernot Gebhard:
Branch Target Buffers: WCET Analysis Framework and Timing Predictability. RTCSA 2009: 3-12 - [c9]Daniel Grund, Jan Reineke:
Abstract Interpretation of FIFO Replacement. SAS 2009: 120-136 - [c8]Claire Burguière, Jan Reineke, Sebastian Altmeyer:
Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions. WCET 2009 - [c7]Jörg Herter, Jan Reineke:
Making Dynamic Memory Allocation Static to Support WCET Analysis. WCET 2009 - [c6]Jan Reineke, Rathijit Sen:
Sound and Efficient WCET Analysis in the Presence of Timing Anomalies. WCET 2009 - 2008
- [c5]Jan Reineke, Daniel Grund:
Relative competitive analysis of cache replacement policies. LCTES 2008: 51-60 - [c4]Daniel Grund, Jan Reineke:
Estimating the Performance of Cache Replacement Policies. MEMOCODE 2008: 101-112 - [c3]Jan Reineke, Daniel Grund:
Relative competitiveness of cache replacement policies. SIGMETRICS 2008: 431-432 - 2007
- [j1]Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm:
Timing predictability of cache replacement policies. Real Time Syst. 37(2): 99-122 (2007) - 2006
- [c2]Jan Reineke:
Shape Analysis of Sets. Trustworthy Software 2006 - [c1]Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker:
A Definition and Classification of Timing Anomalies. WCET 2006
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
