Jan Reineke

Cited by

	All	Since 2019
Citations	4780	2077
h-index	38	25
i10-index	68	45

400

200

100

300

20072008200920102011201220132014201520162017201820192020202120222023202419 52 63 123 152 199 251 372 359 381 287 347 329 399 373 359 363 254

Public access

View all

58 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Daniel GrundSaarland UniversityVerified email at cs.uni-saarland.de
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Andreas AbelSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Boris KöpfAzure Research, MicrosoftVerified email at microsoft.com
claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagVerified email at univ-grenoble-alpes.fr
Sebastian AltmeyerUniversity of AugsburgVerified email at es-augsburg.de
Sebastian HahnAbsInt Angewandte Informatik GmbHVerified email at cs.uni-saarland.de
Marco GuarnieriAssistant Research Professor, IMDEA Software InstituteVerified email at imdea.org
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Rob DavisReader, Real-Time and Distributed Systems Research Group, University of York, UK.Verified email at york.ac.uk
Hiren PatelProfessor of Electrical and Computer Engineering, University of WaterlooVerified email at uwaterloo.ca
Jian-Jia ChenTU Dortmund University and Lamarr Institute, GermanyVerified email at cs.uni-dortmund.de
Goran DoychevIMDEA Software InstituteVerified email at imdea.org
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ilia PolianUniversity of StuttgartVerified email at polian.de
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Johannes DoerfertLawrence Livermore National LaboratoryVerified email at llnl.gov
Jose F. MoralesAssistant Professor at UPM / IMDEA Software InstituteVerified email at imdea.org
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr

Jan Reineke

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Verified email at cs.uni-saarland.de - Homepage

program analysis abstract interpretation real-time systems microarchitectural security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
CacheAudit: A Tool for the Static Analysis of Cache Side Channels G Doychev, B Köpf, L Mauborgne, J Reineke ACM Transactions on Information and System Security (TISSEC), 2015	365	2015
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems R Wilhelm, D Grund, J Reineke, M Schlickling, M Pister, C Ferdinand IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009	319	2009
A definition and classification of timing anomalies J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ... 6th International Workshop on Worst-Case Execution Time Analysis (WCET), 2006	287	2006
Timing predictability of cache replacement policies J Reineke, D Grund, C Berg, R Wilhelm Real-Time Systems 37, 99-122, 2007	268	2007
PRET DRAM controller: Bank privatization for predictability and temporal isolation J Reineke, I Liu, HD Patel, S Kim, EA Lee IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and …, 2011	246	2011
SPECTECTOR: Principled Detection of Speculative Information Flows M Guarnieri, B Köpf, JF Morales, J Reineke, A Sánchez IEEE Symposium on Security and Privacy (S&P), 2020	205	2020
Building timing predictable embedded systems P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ... ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014	165	2014
Predictability considerations in the design of multi-core embedded systems C Cullmann, C Ferdinand, G Gebhard, D Grund, C Maiza, J Reineke, ... Embedded Real Time Software and Systems (ERTSS), 36-42, 2010	159	2010
A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance I Liu, J Reineke, D Broman, M Zimmer, EA Lee 30th International IEEE Conference on Computer Design (ICCD), 2012	128	2012
Towards Compositionality in Execution Time Analysis–Definition and Challenges S Hahn, J Reineke, R Wilhelm 6th International Workshop on Compositional Theory and Technology for Real …, 2013	120	2013
uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures A Abel, J Reineke ASPLOS, 673-686, 2019	116	2019
Hardware-Software Contracts for Secure Speculation M Guarnieri, B Köpf, J Reineke, P Vila IEEE Symposium on Security and Privacy (S&P), 2021	108	2021
A PRET architecture supporting concurrent programs with composable timing properties I Liu, J Reineke, EA Lee 44th Asilomar Conference on Signals, Systems and Computers, 2111-2115, 2010	94	2010
A survey on static cache analysis for real-time systems M Lv, N Guan, J Reineke, R Wilhelm, W Yi Leibniz Transactions on Embedded Systems (LITES) 3 (1), 05-1-05: 48, 2016	92	2016
Temporal isolation on multiprocessing architectures D Bui, E Lee, I Liu, H Patel, J Reineke 48th Annual ACM/EDAC/IEEE Design Automation Conference (DAC), 274-279, 2011	91	2011
Resilience Analysis: Tightening the CRPD bound for set-associative caches S Altmeyer, C Maiza, J Reineke ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for …, 2010	91	2010
A generic and compositional framework for multicore response time analysis S Altmeyer, RI Davis, L Indrusiak, C Maiza, V Nelis, J Reineke 23rd International Conference on Real-Time Networks and Systems (RTNS), 129-138, 2015	88	2015
Impact of Resource Sharing on Performance and Performance Prediction: A Survey A Abel, F Benz, J Doerfert, B Dörr, S Hahn, F Haupenthal, M Jacobs, ... 24th International Conference on Concurrency Theory (CONCUR), 2013	83	2013
Caches in WCET analysis J Reineke Universität des Saarlandes, Saarbrücken, PhD Thesis, 2008	80*	2008
Embedded Systems: Many Cores–Many Problems R Wilhelm, J Reineke 7th IEEE International Symposium on Industrial Embedded Systems (SIES), 2012	64	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors