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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Reineke