Jan Reineke - RankMe

115 papers A* 11A 15B 14C 2Misc 7Journal 42Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Detecting speculative leaks with compositional semantics. CoRR Xaver Fabian, Marco Guarnieri, Boris Köpf, José F. Morales, Marco Patrignani, Jan Reineke, Andrés Sánchez
2025	A	`conf`	A Unified Framework for Quantitative Cache Analysis. RTAS Sophie Kahlen, Jan Reineke
2025	J	`jnl`	A Unified Framework for Quantitative Cache Analysis. CoRR Sophie Kahlen, Jan Reineke
2025	J	`jnl`	Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts. CoRR Gideon Geier, Pariya Hajipour, Jan Reineke
2025	A*	`conf`	Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. CCS Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
2025	J	`jnl`	Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. CoRR Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
2025	J	`jnl`	WCDT: Systematic WCET Optimization for Decision Tree Implementations. CoRR Nils Hölscher, Christian Hakert, Georg von der Brüggen, Jian-Jia Chen, Kuan-Hsun Chen, Jan Reineke
2024	A	`conf`	No Leakage Without State Change: Repurposing Configurable CPU Exceptions to Prevent Microarchitectural Attacks. ACSAC Daniel Weber, Leonard Niemann, Lukas Gerlach, Jan Reineke, Michael Schwarz
2024	—	`conf`	Sound WCET Analysis, Explanation of the Method and of the Results. ERSA@RTSS Reinhard Wilhelm, Jan Reineke
2024	A	`conf`	Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. DATE Gideon Mohr, Marco Guarnieri, Jan Reineke
2024	J	`jnl`	Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. CoRR Gideon Mohr, Marco Guarnieri, Jan Reineke
2023	—	`conf`	Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction. IISWC Andreas Abel, Shrey Sharma, Jan Reineke
2023	J	`jnl`	Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction. CoRR Andreas Abel, Shrey Sharma, Jan Reineke
2023	A	`conf`	Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. RTSS Valentin Touzeau, Jan Reineke
2023	J	`jnl`	Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. CoRR Valentin Touzeau, Jan Reineke
2023	A*	`conf`	Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CCS Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
2023	J	`jnl`	Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CoRR Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
2023	J	`jnl`	Type-Aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms. IEEE Trans. Computers Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke, Jian-Jia Chen
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
2022	B	`conf`	On the Trade-offs between Generalization and Specialization in Real-Time Systems. RTCSA Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke
2022	J	`jnl`	Warping Cache Simulation of Polyhedral Programs. CoRR Canberk Morelli, Jan Reineke
2022	A*	`conf`	Warping cache simulation of polyhedral programs. PLDI Canberk Morelli, Jan Reineke
2022	A	`conf`	uiCA: accurate throughput prediction of basic blocks on recent intel microarchitectures. ICS Andreas Abel, Jan Reineke
2021	J	`jnl`	Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures. CoRR Andreas Abel, Jan Reineke
2021	A*	`conf`	Hardware-Software Contracts for Secure Speculation. SP Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
2020	J	`jnl`	Design and analysis of SIC: a provably timing-predictable pipelined processor core. Real Time Syst. Sebastian Hahn, Jan Reineke
2020	J	`jnl`	Flushgeist: Cache Leaks from Beyond the Flush. CoRR Pepe Vila, Andreas Abel, Marco Guarnieri, Boris Köpf, Jan Reineke
2020	J	`jnl`	Hardware-Software Contracts for Secure Speculation. CoRR Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
2020	A*	`conf`	Spectector: Principled Detection of Speculative Information Flows. SP Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
2020	B	`conf`	nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. ISPASS Andreas Abel, Jan Reineke
2019	J	`jnl`	Basic problems in multi-view modeling. Softw. Syst. Model. Jan Reineke, Christos Stergiou, Stavros Tripakis
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	J	`jnl`	Fast and exact analysis for LRU caches. Proc. ACM Program. Lang. Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
2019	J	`jnl`	On the Incomparability of Cache Algorithms in Terms of Timing Leakage. Log. Methods Comput. Sci. Pablo Cañones, Boris Köpf, Jan Reineke
2019	J	`jnl`	nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. CoRR Andreas Abel, Jan Reineke
2019	A*	`conf`	uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. ASPLOS Andreas Abel, Jan Reineke
2018	J	`jnl`	An extensible framework for multicore response time analysis. Real Time Syst. Robert I. Davis, Sebastian Altmeyer, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
2018	J	`jnl`	Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis
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
2018	J	`jnl`	Fast and exact analysis for LRU caches. CoRR Claire Maïza, Valentin Touzeau, David Monniaux, Jan Reineke
2018	—	`ch.`	Keeping up with Real Time. Advances in Aeronautical Informatics Reinhard Wilhelm, Jan Reineke, Simon Wegener
2018	J	`jnl`	On the Incomparability of Cache Algorithms in Terms of Timing Leakage. CoRR Pablo Cañones, Boris Köpf, Jan Reineke
2018	J	`jnl`	On the Smoothness of Paging Algorithms. Theory Comput. Syst. Jan Reineke, Alejandro Salinger
2018	J	`jnl`	Response-time analysis for fixed-priority systems with a write-back cache. Real Time Syst. Robert I. Davis, Sebastian Altmeyer, Jan Reineke
2018	J	`jnl`	SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
2018	J	`jnl`	The Semantic Foundations and a Landscape of Cache-Persistence Analyses. Leibniz Trans. Embed. Syst. Jan Reineke
2018	J	`jnl`	uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. CoRR Andreas Abel, Jan Reineke
2017	—	`ed.`	17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, Dubrovnik, Croatia, June 27, 2017 WCET Jan Reineke
2017	A	`conf`	Abstract PRET Machines. RTSS Edward A. Lee, Jan Reineke, Michael Zimmer
2017	—	`conf`	Ascertaining Uncertainty for Efficient Exact Cache Analysis. CAV (2) Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
2017	J	`jnl`	Ascertaining Uncertainty for Efficient Exact Cache Analysis. CoRR Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
2017	A	`conf`	Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System. RTSS Sheng-Wei Cheng, Jian-Jia Chen, Jan Reineke, Tei-Wei Kuo
2017	—	`conf`	Security Analysis of Cache Replacement Policies. POST Pablo Cañones, Boris Köpf, Jan Reineke
2017	J	`jnl`	Security Analysis of Cache Replacement Policies. CoRR Pablo Cañones, Boris Köpf, Jan Reineke
2017	B	`conf`	Write-Back Caches in WCET Analysis. ECRTS Tobias Blaß, Sebastian Hahn, Jan Reineke
2016	J	`jnl`	A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi
2016	Misc	`conf`	Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling. RTNS Robert I. Davis, Sebastian Altmeyer, Jan Reineke
2016	Misc	`conf`	Enabling Compositionality for Multicore Timing Analysis. RTNS Sebastian Hahn, Michael Jacobs, Jan Reineke
2016	—	`conf`	Gray-Box Learning of Serial Compositions of Mealy Machines. NFM Andreas Abel, Jan Reineke
2016	A*	`conf`	MIRROR: symmetric timing analysis for real-time tasks on multicore platforms with shared resources. DAC Wen-Hung Huang, Jian-Jia Chen, Jan Reineke
2016	—	`conf`	Static Timing Analysis - What is Special? Semantics, Logics, and Calculi Jan Reineke, Reinhard Wilhelm
2015	Misc	`conf`	A generic and compositional framework for multicore response time analysis. RTNS Sebastian Altmeyer, Robert I. Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
2015	—	`conf`	ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. SPIN Peter Backes, Jan Reineke
2015	B	`conf`	Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. VMCAI Peter Backes, Jan Reineke
2015	J	`jnl`	CacheAudit: A Tool for the Static Analysis of Cache Side Channels. ACM Trans. Inf. Syst. Secur. Goran Doychev, Boris Köpf, Laurent Mauborgne, Jan Reineke
2015	A	`conf`	MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines. ICCAD Andreas Abel, Jan Reineke
2015	B	`conf`	On the Smoothness of Paging Algorithms. WAOA Jan Reineke, Alejandro Salinger
2015	J	`jnl`	On the Smoothness of Paging Algorithms. CoRR Jan Reineke, Alejandro Salinger
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	—	`conf`	WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. WCET Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange
2014	Misc	`ed.`	2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014 EMSOFT Tulika Mitra, Jan Reineke
2014	Misc	`conf`	A Compiler Optimization to Increase the Efficiency of WCET Analysis. RTNS Mohamed Abdel Maksoud, Jan Reineke
2014	A	`conf`	Architecture-parametric timing analysis. RTAS Jan Reineke, Johannes Doerfert
2014	A	`conf`	Basic Problems in Multi-View Modeling. TACAS Jan Reineke, Stavros Tripakis
2014	J	`jnl`	Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 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
2014	A	`conf`	Impact of resource sharing on performance and performance prediction. DATE Jan Reineke, Reinhard Wilhelm
2014	J	`jnl`	Randomized Caches Considered Harmful in Hard Real-Time Systems. Leibniz Trans. Embed. Syst. Jan Reineke
2014	B	`conf`	Reverse engineering of cache replacement policies in Intel microprocessors and their evaluation. ISPASS Andreas Abel, Jan Reineke
2014	A	`conf`	Selfish-LRU: Preemption-aware caching for predictability and performance. RTAS Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza
2013	A*	`conf`	CacheAudit: A Tool for the Static Analysis of Cache Side Channels. USENIX Security Symposium Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
2013	J	`jnl`	CacheAudit: A Tool for the Static Analysis of Cache Side Channels. IACR Cryptol. ePrint Arch. Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
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
2013	A	`conf`	Measurement-based modeling of the cache replacement policy. IEEE Real-Time and Embedded Technology and Applications Symposium Andreas Abel, Jan Reineke
2013	A*	`conf`	Precise timing analysis for direct-mapped caches. DAC Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke
2013	J	`jnl`	Sensitivity of cache replacement policies. ACM Trans. Embed. Comput. Syst. Jan Reineke, Daniel Grund
2012	C	`conf`	A PRET microarchitecture implementation with repeatable timing and competitive performance. ICCD Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee
2012	—	`conf`	An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. WCET Mohamed Abdel Maksoud, Jan Reineke
2012	—	`conf`	Embedded systems: Many cores - Many problems. SIES Reinhard Wilhelm, Jan Reineke
2011	—	`conf`	A Template for Predictability Definitions with Supporting Evidence. PPES Daniel Grund, Jan Reineke, Reinhard Wilhelm
2011	J	`jnl`	Branch target buffers: WCET analysis framework and timing predictability. J. Syst. Archit. Daniel Grund, Jan Reineke, Gernot Gebhard
2011	B	`conf`	CAMA: A Predictable Cache-Aware Memory Allocator. ECRTS Jörg Herter, Peter Backes, Florian Haupenthal, Jan Reineke
2011	Misc	`conf`	Designing next-generation real-time streaming systems. CODES+ISSS Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke
2011	Misc	`conf`	PRET DRAM controller: bank privatization for predictability and temporal isolation. CODES+ISSS Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee
2011	A*	`conf`	Temporal isolation on multiprocessing architectures. DAC Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke
2010	B	`conf`	Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection. ECRTS Daniel Grund, Jan Reineke
2010	B	`conf`	Resilience analysis: tightening the CRPD bound for set-associative caches. LCTES Sebastian Altmeyer, Claire Maiza, Jan Reineke
2010	B	`conf`	Static Timing Analysis for Hard Real-Time Systems. VMCAI Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm
2010	—	`conf`	Toward Precise PLRU Cache Analysis. WCET Daniel Grund, Jan Reineke
2009	B	`conf`	Abstract Interpretation of FIFO Replacement. SAS Daniel Grund, Jan Reineke
2009	B	`conf`	Branch Target Buffers: WCET Analysis Framework and Timing Predictability. RTCSA Daniel Grund, Jan Reineke, Gernot Gebhard
2009	—	`conf`	Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions. WCET Claire Burguière, Jan Reineke, Sebastian Altmeyer
2009	—	`—`	Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity. Jan Reineke
2009	—	`conf`	Making Dynamic Memory Allocation Static to Support WCET Analysis. WCET Jörg Herter, Jan Reineke
2009	J	`jnl`	Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Reinhard Wilhelm, Daniel Grund, Jan Reineke, Marc Schlickling, Markus Pister, Christian Ferdinand
2009	—	`conf`	Polynomial Precise Interval Analysis Revisited. Efficient Algorithms Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm
2009	—	`conf`	Sound and Efficient WCET Analysis in the Presence of Timing Anomalies. WCET Jan Reineke, Rathijit Sen
2008	C	`conf`	Estimating the Performance of Cache Replacement Policies. MEMOCODE Daniel Grund, Jan Reineke
2008	B	`conf`	Relative competitive analysis of cache replacement policies. LCTES Jan Reineke, Daniel Grund
2008	A*	`conf`	Relative competitiveness of cache replacement policies. SIGMETRICS Jan Reineke, Daniel Grund
2007	J	`jnl`	Timing predictability of cache replacement policies. Real Time Syst. Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm
2006	—	`conf`	A Definition and Classification of Timing Anomalies. WCET Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker
2006	—	`conf`	Shape Analysis of Sets. Trustworthy Software Jan Reineke