Jan Reineke

Proceedings of the ICS '22: 2022 International Conference on Supercomputing, Virtual Event, June 28, 2022

2021

Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures.

[BibT_eX]

[DOI]

CoRR, 2021

Hardware-Software Contracts for Secure Speculation.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

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

[BibT_eX]

[DOI]

Real Time Syst., 2020

Flushgeist: Cache Leaks from Beyond the Flush.

[BibT_eX]

[DOI]

CoRR, 2020

Spectector: Principled Detection of Speculative Information Flows.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2020

2019

Basic problems in multi-view modeling.

[BibT_eX]

[DOI]

Christos Stergiou

Stavros Tripakis

Softw. Syst. Model., 2019

Fast and exact analysis for LRU caches.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

On the Incomparability of Cache Algorithms in Terms of Timing Leakage.

[BibT_eX]

[DOI]

Pablo Cañones

Boris Köpf

Log. Methods Comput. Sci., 2019

Cache Persistence Analysis: Finally Exact.

[BibT_eX]

[DOI]

Gregory Stock

Proceedings of the IEEE Real-Time Systems Symposium, 2019

uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Response-time analysis for fixed-priority systems with a write-back cache.

[BibT_eX]

[DOI]

Real Time Syst., 2018

An extensible framework for multicore response time analysis.

[BibT_eX]

[DOI]

Leandro Soares Indrusiak

Claire Maiza

Vincent Nélis

Real Time Syst., 2018

On the Smoothness of Paging Algorithms.

[BibT_eX]

[DOI]

Alejandro Salinger

Theory Comput. Syst., 2018

The Semantic Foundations and a Landscape of Cache-Persistence Analyses.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2018

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

[BibT_eX]

[DOI]

Darshit Shah

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

Keeping up with Real Time.

[BibT_eX]

[DOI]

Simon Wegener

Proceedings of the Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018

2017

Abstract PRET Machines.

[BibT_eX]

[DOI]

Edward A. Lee

Michael Zimmer

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Security Analysis of Cache Replacement Policies.

[BibT_eX]

[DOI]

Pablo Cañones

Boris Köpf

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

Write-Back Caches in WCET Analysis.

[BibT_eX]

[DOI]

Tobias Blaß

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

Ascertaining Uncertainty for Efficient Exact Cache Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

A Survey on Static Cache Analysis for Real-Time Systems.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2016

Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling.

[BibT_eX]

[DOI]

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

Enabling Compositionality for Multicore Timing Analysis.

[BibT_eX]

[DOI]

Michael Jacobs

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

Gray-Box Learning of Serial Compositions of Mealy Machines.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

MIRROR: symmetric timing analysis for real-time tasks on multicore platforms with shared resources.

[BibT_eX]

[DOI]

Wen-Hung Huang

Jian-Jia Chen

Proceedings of the 53rd Annual Design Automation Conference, 2016

Static Timing Analysis - What is Special?

[BibT_eX]

[DOI]

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

CacheAudit: A Tool for the Static Analysis of Cache Side Channels.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2015

Towards compositionality in execution time analysis: definition and challenges.

[BibT_eX]

[DOI]

SIGBED Rev., 2015

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction.

[BibT_eX]

[DOI]

Peter Backes

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems.

[BibT_eX]

[DOI]

Peter Backes

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

A generic and compositional framework for multicore response time analysis.

[BibT_eX]

[DOI]

Leandro Soares Indrusiak

Claire Maiza

Vincent Nélis

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

MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Toward Compact Abstractions for Processor Pipelines.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 2015

2014

Building timing predictable embedded systems.

[BibT_eX]

[DOI]

Reinhard von Hanxleden

Wang Yi

ACM Trans. Embed. Comput. Syst., 2014

Randomized Caches Considered Harmful in Hard Real-Time Systems.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2014

Basic Problems in Multi-View Modeling.

[BibT_eX]

[DOI]

Stavros Tripakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

A Compiler Optimization to Increase the Efficiency of WCET Analysis.

[BibT_eX]

[DOI]

Mohamed Abdel Maksoud

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Architecture-parametric timing analysis.

[BibT_eX]

[DOI]

Johannes Doerfert

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

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

[BibT_eX]

[DOI]

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

Reverse engineering of cache replacement policies in Intel microprocessors and their evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Symposium on Performance Analysis of Systems and Software, 2014

Impact of resource sharing on performance and performance prediction.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Sensitivity of cache replacement policies.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

CacheAudit: A Tool for the Static Analysis of Cache Side Channels.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Measurement-based modeling of the cache replacement policy.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Precise timing analysis for direct-mapped caches.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

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

[BibT_eX]

[DOI]

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

2012

An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis.

[BibT_eX]

[DOI]

Mohamed Abdel Maksoud

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Embedded systems: Many cores - Many problems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

A PRET microarchitecture implementation with repeatable timing and competitive performance.

[BibT_eX]

[DOI]

Proceedings of the 30th International IEEE Conference on Computer Design, 2012

2011

Branch target buffers: WCET analysis framework and timing predictability.

[BibT_eX]

[DOI]

Gernot Gebhard

J. Syst. Archit., 2011

CAMA: A Predictable Cache-Aware Memory Allocator.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

A Template for Predictability Definitions with Supporting Evidence.

[BibT_eX]

[DOI]

Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

Temporal isolation on multiprocessing architectures.

[BibT_eX]

[DOI]

Proceedings of the 48th Design Automation Conference, 2011

Designing next-generation real-time streaming systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

PRET DRAM controller: bank privatization for predictability and temporal isolation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

Toward Precise PLRU Cache Analysis.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Static Timing Analysis for Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

Resilience analysis: tightening the CRPD bound for set-associative caches.

[BibT_eX]

[DOI]

Claire Maiza

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2009

Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity.

[BibT_eX]

[DOI]

PhD thesis, 2009

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Sound and Efficient WCET Analysis in the Presence of Timing Anomalies.

[BibT_eX]

[DOI]

Rathijit Sen

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Making Dynamic Memory Allocation Static to Support WCET Analysis.

[BibT_eX]

[DOI]

Jörg Herter

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions.

[BibT_eX]

[DOI]

Claire Burguière

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Abstract Interpretation of FIFO Replacement.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 16th International Symposium, 2009

Polynomial Precise Interval Analysis Revisited.

[BibT_eX]

[DOI]

Proceedings of the Efficient Algorithms, 2009

2008

Relative competitiveness of cache replacement policies.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2008

Estimating the Performance of Cache Replacement Policies.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Relative competitive analysis of cache replacement policies.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

2007

Timing predictability of cache replacement policies.

[BibT_eX]

[DOI]

Real Time Syst., 2007

2006

A Definition and Classification of Timing Anomalies.

[BibT_eX]

[DOI]

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Shape Analysis of Sets.

[BibT_eX]

[DOI]