×
Edit Profile (opens in new tab)

Reineke, Jan

Co-Author Distance
Author ID: reineke.jan Recent zbMATH articles by "Reineke, Jan"
Published as: Reineke, Jan
External Links: MGP
Documents Indexed: 14 Publications since 2006
Co-Authors: 19 Co-Authors with 13 Joint Publications
296 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
4 Wilhelm, Reinhard
2 Altmeyer, Sebastian A.
2 Cañones, Pablo
2 Davis, Robert I.
2 Grund, Daniel
2 Köpf, Boris
2 Maiza, Claire
2 Salinger, Alejandro
1 Backes, Peter
1 Berg, Christoph
1 Gawlitza, Thomas Martin
1 Hahn, Sebastian
1 Indrusiak, Leandro S.
1 Leroux, Jérôme
1 Monniaux, David P.
1 Nélis, Vincent
1 Seidl, Helmut
1 Sutre, Grégoire
1 Touzeau, Valentin

Serials

3 Real-Time Systems
1 Theory of Computing Systems
1 Logical Methods in Computer Science

Fields

13 Computer science (68-XX)
1 Numerical analysis (65-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

10 Publications have been cited 18 times in 17 Documents Cited by ▼ Year ▼
Polynomial precise interval analysis revisited. Zbl 1258.65048
Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
4
2009
Timing predictability of cache replacement policies. Zbl 1125.68422
Reineke, Jan; Grund, Daniel; Berg, Christoph; Wilhelm, Reinhard
4
2007
An extensible framework for multicore response time analysis. Zbl 1398.68068
Davis, Robert I.; Altmeyer, Sebastian; Indrusiak, Leandro S.; Maiza, Claire; Nelis, Vincent; Reineke, Jan
2
2018
Analysis of infinite-state graph transformation systems by cluster abstraction. Zbl 1432.68299
Backes, Peter; Reineke, Jan
2
2015
Toward compact abstractions for processor pipelines. Zbl 1444.68050
Hahn, Sebastian; Reineke, Jan; Wilhelm, Reinhard
1
2015
On the smoothness of paging algorithms. Zbl 1473.68219
Reineke, Jan; Salinger, Alejandro
1
2015
Ascertaining uncertainty for efficient exact cache analysis. Zbl 1494.68063
Touzeau, Valentin; Maïza, Claire; Monniaux, David; Reineke, Jan
1
2017
Security analysis of cache replacement policies. Zbl 1444.68038
Cañones, Pablo; Köpf, Boris; Reineke, Jan
1
2017
Shape analysis of sets. Zbl 1247.68060
Reineke, Jan
1
2006
On the incomparability of cache algorithms in terms of timing leakage. Zbl 1489.68045
Cañones, Pablo; Köpf, Boris; Reineke, Jan
1
2019
On the incomparability of cache algorithms in terms of timing leakage. Zbl 1489.68045
Cañones, Pablo; Köpf, Boris; Reineke, Jan
1
2019
An extensible framework for multicore response time analysis. Zbl 1398.68068
Davis, Robert I.; Altmeyer, Sebastian; Indrusiak, Leandro S.; Maiza, Claire; Nelis, Vincent; Reineke, Jan
2
2018
Ascertaining uncertainty for efficient exact cache analysis. Zbl 1494.68063
Touzeau, Valentin; Maïza, Claire; Monniaux, David; Reineke, Jan
1
2017
Security analysis of cache replacement policies. Zbl 1444.68038
Cañones, Pablo; Köpf, Boris; Reineke, Jan
1
2017
Analysis of infinite-state graph transformation systems by cluster abstraction. Zbl 1432.68299
Backes, Peter; Reineke, Jan
2
2015
Toward compact abstractions for processor pipelines. Zbl 1444.68050
Hahn, Sebastian; Reineke, Jan; Wilhelm, Reinhard
1
2015
On the smoothness of paging algorithms. Zbl 1473.68219
Reineke, Jan; Salinger, Alejandro
1
2015
Polynomial precise interval analysis revisited. Zbl 1258.65048
Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
4
2009
Timing predictability of cache replacement policies. Zbl 1125.68422
Reineke, Jan; Grund, Daniel; Berg, Christoph; Wilhelm, Reinhard
4
2007
Shape analysis of sets. Zbl 1247.68060
Reineke, Jan
1
2006
all cited Publications top 5 cited Publications
all top 5

Cited by 46 Authors

6 Reineke, Jan
2 Altmeyer, Sebastian A.
2 Cañones, Pablo
2 Davis, Robert I.
2 Gawlitza, Thomas Martin
2 Köpf, Boris
2 Monniaux, David P.
1 Bak, Stanley
1 Betti, Emiliano
1 Bouillaguet, Charles
1 Caccamo, Marco
1 Chattopadhyay, Sudipta
1 Corradini, Andrea
1 Goubault, Eric
1 Grund, Daniel
1 Heindel, Tobias
1 Huber, Benedikt
1 Immerman, Neil
1 Indrusiak, Leandro S.
1 Karbyshev, Aleksandr
1 König, Barbara
1 Kuncak, Viktor
1 Leconte, Jeremy
1 Leroux, Stéphane
1 Liberti, Leo
1 Maiza, Claire
1 Marinelli, Fabrizio
1 Nélis, Vincent
1 Nolte, Dennis
1 Padon, Oded
1 Pellizzoni, Rodolfo
1 Puffitsch, Wolfgang
1 Rensink, Arend
1 Rinard, Martin C.
1 Roychoudhury, Abhik
1 Sagiv, Mooly
1 Salinger, Alejandro
1 Schoeberl, Martin
1 Seidl, Helmut
1 Shoham, Sharon
1 Tomioka, Taichi
1 Tsunekawa, Yutaro
1 Ueda, Kazunori
1 Wies, Thomas
1 Yao, Gang
1 Zee, Karen

Cited in 4 Serials

5 Real-Time Systems
1 Formal Methods in System Design
1 Theory of Computing Systems
1 Logical Methods in Computer Science

Cited in 5 Fields

16 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Category theory; homological algebra (18-XX)
1 Operations research, mathematical programming (90-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year