Publications

Sorted by DateClassified by Publication Type

Sorted by Date

2020201920182017201620152014201320122011201020092008200720062005


2020

  1. SPECTECTOR: Principled Detection of Speculative Information Flows
    M. Guarnieri, B. Köpf, J. Morales, J. Reineke, and A. Sánchez
    S&P (Oakland), May 2020
    [pdf] [bib]

2019

  1. uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures
    A. Abel and J. Reineke
    ASPLOS, 2019
    [doi] [bib]
  2. nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems
    A. Abel and J. Reineke
    arXiv, abs/1911.03282, 2019
    [bib]
  3. On the Incomparability of Cache Algorithms in Terms of Timing Leakage
    P. Cañones, B. Köpf, and J. Reineke
    Logical Methods in Computer Science, 15(1), March 2019
    [doi] [pdf] [bib]
  4. On Static Execution-Time Analysis---Compositionality, Pipeline Abstraction, and Predictable Hardware
    Sebastian Hahn
    Universität des Saarlandes, 2019
    [pdf] [bib]
  5. Design and analysis of SIC: a provably timing-predictable pipelined processor core
    S. Hahn and J. Reineke
    Real-Time Systems, November 2019
    [doi] [bib]
  6. Multi-dimensional Vectorization in LLVM
    S. Moll, S. Sharma, M. Kurtenacker, and S. Hack
    Proceedings of the 5th Workshop on Programming Models for SIMD/Vector Processing, 2019
    [pdf] [bib]
  7. Basic problems in multi-view modeling
    J. Reineke, C. Stergiou, and S. Tripakis
    Software and System Modeling, 18(3), 2019
    [doi] [bib]
  8. Optimal Offline Scheduling for Multi-Core Systems with Dynamically Partitioned Caches
    D. Shah
    Universität des Saarlandes, Germany, 2019
    [pdf] [bib]
  9. Multi-dimensional Auto-vectorization of Stencil Codes
    S. Sharma
    Universität des Saarlandes, Germany, 2019
    [pdf] [bib]
  10. Cache Persistence Analysis: Finally Exact (Outstanding Paper Award award)
    G. Stock, S. Hahn, and J. Reineke
    RTSS, December 2019
    [bib]
  11. Cache Persistence Analysis: Finally Exact
    G. Stock, S. Hahn, and J. Reineke
    arXiv, abs/1909.04374, 2019
    [bib]
  12. Fast and Exact Analysis for LRU Caches
    V. Touzeau, C. Maïza, D. Monniaux, and J. Reineke
    Proc. ACM Program. Lang., 3(POPL), January 2019
    [doi] [bib]

2018

  1. uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures
    A. Abel and J. Reineke
    arXiv, abs/1810.04610, 2018
    [bib]
  2. On the Incomparability of Cache Algorithms in Terms of Timing Leakage
    P. Cañones, B. Köpf, and J. Reineke
    arXiv, abs/1807.01240, 2018
    [bib]
  3. Response-time analysis for fixed-priority systems with a write-back cache
    R. Davis, S. Altmeyer, and J. Reineke
    Real-Time Systems, April 2018
    [doi] [bib]
  4. An extensible framework for multicore response time analysis
    R. Davis, S. Altmeyer, L. Indrusiak, C. Maiza, V. Nelis, and J. Reineke
    Real-Time Systems, 54(3), July 2018
    [doi] [bib]
  5. Polyhedral expression propagation
    J. Doerfert, S. Sharma, and S. Hack
    Proceedings of the 27th International Conference on Compiler Construction, 2018
    [pdf] [bib]
  6. SPECTECTOR: Principled Detection of Speculative Information Flows
    M. Guarnieri, B. Köpf, J. Morales, J. Reineke, and A. Sánchez
    arXiv, abs/1812.08639, 2018
    [bib]
  7. Design and Analysis of SIC: A Provably Timing-Predictable Pipelined Processor Core (Best Student Paper Award award)
    S. Hahn and J. Reineke
    RTSS, December 2018
    [pdf] [pdf slides] [bib]
  8. Fast and exact analysis for LRU caches
    C. Maïza, V. Touzeau, D. Monniaux, and J. Reineke
    arXiv, abs/1811.01670, 2018
    [bib]
  9. Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions
    M. Pittou, P. Manolios, J. Reineke, and S. Tripakis
    Science of Computer Programming, 167, 2018
    [doi] [bib]
  10. On the Smoothness of Paging Algorithms
    J. Reineke and A. Salinger
    Theory of Computing Systems, 62(2), February 2018
    [doi] [bib]
  11. The Semantic Foundations and a Landscape of Cache-Persistence Analyses
    J. Reineke
    LITES, 5(1), 2018
    [doi] [bib]
  12. Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis
    D. Shah, S. Hahn, and J. Reineke
    WCET, July 2018
    [bib]
  13. Keeping up with Real Time
    R. Wilhelm, J. Reineke, and S. Wegener
    Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018
    [doi] [bib]

2017

  1. Write-Back Caches in WCET Analysis (Outstanding Paper Award award)
    T. Blaß , S. Hahn, and J. Reineke
    ECRTS, 2017
    [doi] [pdf] [pdf slides] [bib]
  2. Security Analysis of Cache Replacement Policies (Nominated for "Best ETAPS Paper")
    P. Cañones, B. Köpf, and J. Reineke
    POST, 2017
    [doi] [pdf] [bib]
  3. Security Analysis of Cache Replacement Policies
    P. Cañones, B. Köpf, and J. Reineke
    arXiv, abs/1701.06481, 2017
    [bib]
  4. Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System
    S. Cheng, J. Chen, J. Reineke, and T. Kuo
    RTSS, 2017
    [doi] [bib]
  5. Abstract PRET Machines
    E. Lee, J. Reineke, and M. Zimmer
    RTSS, 2017
    [doi] [bib]
  6. 17th International Workshop on Worst-Case Execution Time Analysis
    J. Reineke
    WCET, 2017
    [bib]
  7. Ascertaining Uncertainty for Efficient Exact Cache Analysis
    V. Touzeau, C. Maiza, D. Monniaux, and J. Reineke
    CAV, July 2017
    [pdf] [bib]
  8. Ascertaining Uncertainty for Efficient Exact Cache Analysis
    V. Touzeau, C. Maïza, D. Monniaux, and J. Reineke
    arXiv, abs/1709.10008, 2017
    [bib]

2016

  1. Gray-box Learning of Serial Compositions of Mealy Machines
    A. Abel and J. Reineke
    NFM, June 2016
    [doi] [pdf] [bib]
  2. Array-aware Cache Analysis for Write-through and Write-back Caches
    T. Blaß
    Universität des Saarlandes, Germany, December 2016
    [pdf] [bib]
  3. Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling (Outstanding Paper Award award)
    R. Davis, S. Altmeyer, and J. Reineke
    RTNS, October 2016
    [doi] [pdf] [bib]
  4. Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling
    R. Davis, S. Altmeyer, and J. Reineke
    Technical Report, Dept. Computer Science, University of York, 2016
    [pdf] [bib]
  5. Enabling Compositionality for Multicore Timing Analysis
    S. Hahn, M. Jacobs, and J. Reineke
    RTNS, October 2016
    [doi] [pdf] [bib]
  6. MIRROR: Symmetric Timing Analysis for Real-Time Tasks on Multicore Platforms with Shared Resources
    W. Huang, J. Chen, and J. Reineke
    DAC, June 2016
    [pdf] [bib]
  7. A Survey on Static Cache Analysis for Real-Time Systems
    M. Lv, N. Guan, J. Reineke, R. Wilhelm, and W. Yi
    Leibniz Transactions on Embedded Systems, 3(1), 2016
    [doi] [pdf] [bib]
  8. Static Timing Analysis - What is Special?
    J. Reineke and R. Wilhelm
    Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, 2016
    [doi] [bib]

2015

  1. MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines
    A. Abel and J. Reineke
    ICCAD, 2015
    [doi] [pdf] [bib]
  2. WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?
    S. Altmeyer, B. Lisper, C. Maiza, J. Reineke, and C. Rochange
    WCET, 2015
    [doi] [bib]
  3. A generic and compositional framework for multicore response time analysis (Outstanding Paper Award award)
    S. Altmeyer, R. Davis, L. Indrusiak, C. Maiza, V. Nélis, and J. Reineke
    RTNS, 2015
    [doi] [pdf] [bib]
  4. A generic and compositional framework for multicore response time analysis
    S. Altmeyer, R. Davis, L. Indrusiak, C. Maiza, V. Nélis, and J. Reineke
    Technical Report, Dept. Computer Science, University of York, 2015
    [pdf] [bib]
  5. Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction
    P. Backes and J. Reineke
    VMCAI, 2015
    [doi] [pdf] [bib]
  6. ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems
    P. Backes and J. Reineke
    Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, 2015
    [doi] [bib]
  7. CacheAudit: A Tool for the Static Analysis of Cache Side Channels
    G. Doychev, B. Köpf, L. Mauborgne, and J. Reineke
    ACM Trans. Inf. Syst. Secur., 18(1), June 2015
    [doi] [pdf] [bib]
  8. Evaluating Compositional timing analyses
    C. Faymonville
    Universität des Saarlandes, Germany, September 2015
    [pdf] [bib]
  9. Towards compositionality in execution time analysis: definition and challenges
    S. Hahn, J. Reineke, and R. Wilhelm
    SIGBED Review, 12(1), 2015
    [doi] [bib]
  10. Toward Compact Abstractions for Processor Pipelines
    S. Hahn, J. Reineke, and R. Wilhelm
    Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015
    [doi] [pdf] [bib]
  11. On the Smoothness of Paging Algorithms
    J. Reineke and A. Salinger
    WAOA, 2015
    [doi] [pdf] [bib]
  12. On the Smoothness of Paging Algorithms
    J. Reineke and A. Salinger
    arXiv, abs/1510.03362, 2015
    [bib]

2014

  1. Reverse Engineering of Cache Replacement Policies in Intel Microprocessors and Their Evaluation (poster abstract)
    A. Abel and J. Reineke
    ISPASS, March 2014
    [pdf] [bib]
  2. Building Timing Predictable Embedded Systems
    P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund, N. Guan, B. Jonsson, P. Marwedel, J. Reineke, C. Rochange, M. Sebastian, R. Hanxleden, R. Wilhelm, and W. Yi
    ACM Trans. Embed. Comput. Syst., 13(4), March 2014
    [doi] [pdf] [bib]
  3. Defining Compositionalty in Execution Time Analysis
    S. Hahn
    Universität des Saarlandes, Germany, 2014
    [pdf] [bib]
  4. A Compiler Optimization to Increase the Efficiency of WCET Analysis (Outstanding Paper Award award)
    M. Maksoud and J. Reineke
    RTNS, 2014
    [doi] [pdf] [bib]
  5. 2014 International Conference on Embedded Software
    T. Mitra and J. Reineke
    EMSOFT, 2014
    [doi] [bib]
  6. Architecture-Parametric Timing Analysis
    J. Reineke and J. Doerfert
    RTAS, April 2014
    [doi] [pdf] [pdf slides] [bib]
  7. Basic Problems in Multi-View Modeling
    J. Reineke and S. Tripakis
    TACAS, April 2014
    [doi] [pdf] [bib]
  8. Selfish-LRU: Preemption-aware caching for predictability and performance
    J. Reineke, S. Altmeyer, D. Grund, S. Hahn, and C. Maiza
    RTAS, April 2014
    [doi] [pdf] [pdf slides] [bib]
  9. Basic Problems in Multi-View Modeling
    J. Reineke and S. Tripakis
    Technical Report, EECS Department, University of California, Berkeley, January 2014
    [pdf] [bib]
  10. Impact of Resource Sharing on Performance and Performance Prediciton: A Survey (invited paper, extended abstract)
    J. Reineke and R. Wilhelm
    DATE, March 2014
    [bib]
  11. Randomized Caches Considered Harmful in Hard Real-Time Systems
    J. Reineke
    Leibniz Transactions on Embedded Systems, 1(1), 2014
    [doi] [pdf] [bib]

2013

  1. Measurement-based Modeling of the Cache Replacement Policy
    A. Abel and J. Reineke
    RTAS, April 2013
    [pdf] [pdf slides] [ppt slides] [bib]
  2. Impact of Resource Sharing on Performance and Performance Prediciton: A Survey
    A. Abel, F. Benz, J. Doerfert, B. Dörr, S. Hahn, F. Haupenthal, M. Jacobs, A. Moin, J. Reineke, B. Schommer, and R. Wilhelm
    CONCUR, August 2013
    [doi] [pdf] [bib]
  3. Precise timing analysis for direct-mapped caches
    S. Andalam, A. Girault, R. Sinha, P. Roop, and J. Reineke
    DAC, 2013
    [doi] [bib]
  4. Precise Modelling of Instruction Cache Behaviour
    S. Andalam, R. Sinha, P. Roop, A. Girault, and J. Reineke
    Technical Report, INRIA, January 2013
    [pdf] [bib]
  5. CacheAudit: A Tool for the Static Analysis of Cache Side Channels
    G. Doychev, D. Feld, B. Köpf, L. Mauborgne, and J. Reineke
    USENIX Security, August 2013
    [pdf] [bib]
  6. CacheAudit: A Tool for the Static Analysis of Cache Side Channels
    G. Doychev, D. Feld, B. Köpf, L. Mauborgne, and J. Reineke
    Cryptology ePrint Archive, Report 2013/253, 2013
    [pdf] [bib]
  7. Towards Compositionality in Execution Time Analysis -- Definition and Challenges
    S. Hahn, J. Reineke, and R. Wilhelm
    CRTS, December 2013
    [pdf] [bib]
  8. Sensitivity of cache replacement policies
    J. Reineke and D. Grund
    ACM Trans. Embed. Comput. Syst., 12(1s), March 2013
    [doi] [pdf] [bib]

2012

  1. Automatic Cache Modeling by Measurements
    A. Abel and J. Reineke
    JRWRTC, November 2012
    [pdf] [bib]
  2. Measurement-based Inference of the Cache Hierarchy
    A. Abel
    Universität des Saarlandes, Germany, 2012
    [pdf] [bib]
  3. Building Timing Predictable Embedded Systems
    P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund, N. Guan, B. Jonsson, P. Marwedel, J. Reineke, C. Rochange, M. Sebastian, R. Hanxleden, R. Wilhelm, and W. Yi
    Technical Report, Uppsala University, Department of Information Technology, July 2012
    [pdf] [bib]
  4. A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance
    I. Liu, J. Reineke, D. Broman, M. Zimmer, and E. Lee
    ICCD, September 2012
    [pdf] [bib]
  5. An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis
    M. Maksoud and J. Reineke
    WCET, 2012
    [doi] [pdf] [bib]
  6. Embedded Systems: Many Cores - Many Problems
    R. Wilhelm and J. Reineke
    SIES, June 2012
    [doi] [pdf] [bib]

2011

  1. Temporal Isolation on Multiprocessing Architectures
    D. Bui, E. Lee, I. Liu, H. Patel, and J. Reineke
    DAC, 2011
    [doi] [pdf] [bib]
  2. A Template for Predictability Definitions with Supporting Evidence
    D. Grund, J. Reineke, and R. Wilhelm
    Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011
    [doi] [pdf slides] [bib]
  3. Branch Target Buffers: WCET Analysis Framework and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    Journal of Systems Architecture, 57(6), 2011
    [doi] [pdf] [bib]
  4. Towards Relational Cache Analysis
    S. Hahn
    Saarland University, 2011
    [bib]
  5. CAMA: A Predictable Cache-Aware Memory Allocator
    J. Jörg Herter, Peter Backes, Florian Haupenthal
    ECRTS, July 2011
    [doi] [pdf] [bib]
  6. PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation
    J. Reineke, I. Liu, H. Patel, S. Kim, and E. Lee
    CODES+ISSS, 2011
    [doi] [pdf] [pdf slides] [bib]
  7. Designing next-generation real-time streaming systems
    S. Stuijk, T. Basten, B. Akesson, M. Geilen, O. Moreira, and J. Reineke
    CODES+ISSS, 2011
    [doi] [bib]

2010

  1. Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches
    S. Altmeyer, C. Maiza, and J. Reineke
    LCTES, April 2010
    [doi] [pdf] [pdf slides] [bib]
  2. Abstract Topology Analysis of the Join Phase of the Merge Protocol
    P. Backes and J. Reineke
    Transformation Tool Contest 2010, 2010
    [pdf] [pdf slides] [bib]
  3. A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System
    P. Backes and J. Reineke
    Transformation Tool Contest 2010, 2010
    [pdf] [pdf slides] [bib]
  4. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, and R. Wilhelm
    ERTSS, May 2010
    [pdf] [bib]
  5. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, S. Wegener, and R. Wilhelm
    Ingénieurs de l'Automobile, 807, September 2010
    [bib]
  6. Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
    D. Grund and J. Reineke
    ECRTS, July 2010
    [doi] [pdf] [pdf slides] [bib]
  7. Toward Precise PLRU Cache Analyis
    D. Grund and J. Reineke
    WCET, July 2010
    [pdf] [pdf slides] [bib]
  8. A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties
    I. Liu, J. Reineke, and E. Lee
    44th Asilomar Conference on Signals, Systems, and Computers, November 2010
    [pdf] [bib]
  9. Static Timing Analysis for Hard Real-Time Systems
    R. Wilhelm, S. Altmeyer, C. Burguière, D. Grund, J. Herter, J. Reineke, B. Wachter, and S. Wilhelm
    VMCAI, 2010
    [doi] [pdf] [bib]

2009

  1. From Uppaal To Slab
    A. Abel
    Saarland University, 2009
    [bib]
  2. Cache-Related Preemption Delay Computation for Set-Associative Caches---Pitfalls and Solutions
    C. Burguière, J. Reineke, and S. Altmeyer
    WCET, June 2009
    [pdf] [pdf slides] [bib]
  3. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Leroux, J. Reineke, H. Seidl, G. Sutre, and R. Wilhelm
    Efficient Algorithms, 2009
    [doi] [pdf] [bib]
  4. Abstract Interpretation of FIFO Replacement
    D. Grund and J. Reineke
    SAS, August 2009
    [doi] [pdf] [pdf slides] [bib]
  5. Branch Target Buffers: WCET Analysis and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    RTCSA, August 2009
    [doi] [pdf] [pdf slides] [bib]
  6. Making Dynamic Memory Allocation Static To Support WCET Analyses
    J. Herter and J. Reineke
    WCET, June 2009
    [pdf] [pdf slides] [bib]
  7. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
    J. Reineke and R. Sen
    WCET, June 2009
    [pdf] [pdf slides] [bib]
  8. Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems
    R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
    IEEE Transactions on CAD of Integrated Circuits and Systems, 28(7), July 2009
    [doi] [bib]
  9. Designing Predictable Multicore Architectures for Avionics and Automotive Systems
    R. Wilhelm, C. Ferdinand, C. Cullmann, D. Grund, J. Reineke, and B. Triquet
    Workshop on Reconciling Performance with Predictability (RePP), October 2009
    [pdf] [bib]

2008

  1. Estimating the Performance of Cache Replacement Policies
    D. Grund and J. Reineke
    MEMOCODE, June 2008
    [doi] [pdf] [pdf slides] [bib]
  2. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    ECRTS, July 2008
    [pdf] [pdf slides] [bib]
  3. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, November 2008
    [pdf] [pdf slides] [bib]
  4. Sensitivity of Cache Replacement Policies
    J. Reineke and D. Grund
    Technical Report, SFB/TR 14 AVACS, March 2008
    [pdf] [bib]
  5. Relative Competitiveness of Cache Replacement Policies
    J. Reineke and D. Grund
    SIGMETRICS, June 2008
    [doi] [pdf] [bib]
  6. Relative Competitive Analysis of Cache Replacement Policies
    J. Reineke and D. Grund
    LCTES, June 2008
    [doi] [pdf] [pdf slides] [bib]

2007

  1. Timing Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Real-Time Systems, 37(2), November 2007
    [doi] [pdf] [ppt slides] [bib]

2006

  1. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Reineke, H. Seidl, and R. Wilhelm
    Technical Report, TU München, Germany, 2006
    [bib]
  2. Shape Analysis of Sets
    J. Reineke
    Workshop Trustworthy Software 2006, 2006
    [pdf] [pdf slides] [bib]
  3. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, September 2006
    [pdf] [bib]
  4. A Definition and Classification of Timing Anomalies
    J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
    WCET, July 2006
    [pdf] [ppt slides] [bib]

2005

  1. Shape Analysis of Sets
    J. Reineke
    Universität des Saarlandes, Germany, June 2005
    [pdf] [pdf slides] [bib]

Generated by bib2html.pl (written by Patrick Riley, Darshit Shah) on Fri Dec 13, 2019 10:16:30