Jan Reineke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Ascertaining uncertainty for efficient exact cache analysis (available as arXiv preprint)	2022-08-12	Paper
Security Analysis of Cache Replacement Policies Lecture Notes in Computer Science	2020-08-03	Paper
Security Analysis of Cache Replacement Policies Lecture Notes in Computer Science	2020-08-03	Paper
Response-time analysis for fixed-priority systems with a write-back cache Real-Time Systems	2020-07-13	Paper
On the incomparability of cache algorithms in terms of timing leakage (available as arXiv preprint)	2019-03-18	Paper
An extensible framework for multicore response time analysis Real-Time Systems	2018-11-07	Paper
On the smoothness of paging algorithms Theory of Computing Systems	2018-04-12	Paper
Static timing analysis -- what is special? Semantics, Logics, and Calculi	2016-03-23	Paper
On the smoothness of paging algorithms Lecture Notes in Computer Science	2016-02-26	Paper
Toward compact abstractions for processor pipelines Lecture Notes in Computer Science	2015-11-04	Paper
Analysis of infinite-state graph transformation systems by cluster abstraction Lecture Notes in Computer Science	2015-02-04	Paper
Shape analysis of sets	2012-09-28	Paper
Polynomial Precise Interval Analysis Revisited Lecture Notes in Computer Science	2009-11-12	Paper
Abstract Interpretation of FIFO Replacement Static Analysis	2009-08-18	Paper
Timing predictability of cache replacement policies Real-Time Systems	2007-11-14	Paper

Research outcomes over time

This page was built for person: Jan Reineke