Jan Reineke

Available identifiers

zbMath Open reineke.janMaRDI QIDQ777058

List of research outcomes

Publication	Date of Publication	Type
Ascertaining uncertainty for efficient exact cache analysis	2022-08-12	Paper
Security Analysis of Cache Replacement Policies	2020-08-03	Paper
Response-time analysis for fixed-priority systems with a write-back cache	2020-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q3121523	2019-03-18	Paper
An extensible framework for multicore response time analysis	2018-11-07	Paper
On the smoothness of paging algorithms	2018-04-12	Paper
Static Timing Analysis – What is Special?	2016-03-23	Paper
On the smoothness of paging algorithms	2016-02-26	Paper
Toward Compact Abstractions for Processor Pipelines	2015-11-04	Paper
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction	2015-02-04	Paper
Shape analysis of sets	2012-09-28	Paper
Polynomial Precise Interval Analysis Revisited	2009-11-12	Paper
Abstract Interpretation of FIFO Replacement	2009-08-18	Paper
Timing predictability of cache replacement policies	2007-11-14	Paper

Research outcomes over time

This page was built for person: Jan Reineke