Publications

Sorted by DateClassified by Publication Type

Classified by Publication Type

EditedJournal PapersConference and Workshop PapersTechnical ReportsPhD ThesisMasters ThesisBachelors ThesisOther


Edited

  1. 17th International Workshop on Worst-Case Execution Time Analysis
    J. Reineke
    WCET, 2017
    [bib]
  2. 2014 International Conference on Embedded Software
    T. Mitra and J. Reineke
    EMSOFT, 2014
    [doi] [bib]

Journal Papers

  1. 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]
  2. Design and analysis of SIC: a provably timing-predictable pipelined processor core
    S. Hahn and J. Reineke
    Real-Time Systems, November 2019
    [doi] [bib]
  3. Basic problems in multi-view modeling
    J. Reineke, C. Stergiou, and S. Tripakis
    Software and System Modeling, 18(3), 2019
    [doi] [bib]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. On the Smoothness of Paging Algorithms
    J. Reineke and A. Salinger
    Theory of Computing Systems, 62(2), February 2018
    [doi] [bib]
  9. The Semantic Foundations and a Landscape of Cache-Persistence Analyses
    J. Reineke
    LITES, 5(1), 2018
    [doi] [bib]
  10. 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]
  11. 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]
  12. Towards compositionality in execution time analysis: definition and challenges
    S. Hahn, J. Reineke, and R. Wilhelm
    SIGBED Review, 12(1), 2015
    [doi] [bib]
  13. 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]
  14. Randomized Caches Considered Harmful in Hard Real-Time Systems
    J. Reineke
    Leibniz Transactions on Embedded Systems, 1(1), 2014
    [doi] [pdf] [bib]
  15. Sensitivity of cache replacement policies
    J. Reineke and D. Grund
    ACM Trans. Embed. Comput. Syst., 12(1s), March 2013
    [doi] [pdf] [bib]
  16. 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]
  17. 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]
  18. 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]
  19. 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]

Conference and Workshop Papers

  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]
  2. uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures
    A. Abel and J. Reineke
    ASPLOS, 2019
    [doi] [bib]
  3. 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]
  4. Cache Persistence Analysis: Finally Exact (Outstanding Paper Award award)
    G. Stock, S. Hahn, and J. Reineke
    RTSS, December 2019
    [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. 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]
  7. Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis
    D. Shah, S. Hahn, and J. Reineke
    WCET, July 2018
    [bib]
  8. Write-Back Caches in WCET Analysis (Outstanding Paper Award award)
    T. Blaß , S. Hahn, and J. Reineke
    ECRTS, 2017
    [doi] [pdf] [pdf slides] [bib]
  9. 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]
  10. 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]
  11. Abstract PRET Machines
    E. Lee, J. Reineke, and M. Zimmer
    RTSS, 2017
    [doi] [bib]
  12. Ascertaining Uncertainty for Efficient Exact Cache Analysis
    V. Touzeau, C. Maiza, D. Monniaux, and J. Reineke
    CAV, July 2017
    [pdf] [bib]
  13. Gray-box Learning of Serial Compositions of Mealy Machines
    A. Abel and J. Reineke
    NFM, June 2016
    [doi] [pdf] [bib]
  14. 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]
  15. Enabling Compositionality for Multicore Timing Analysis
    S. Hahn, M. Jacobs, and J. Reineke
    RTNS, October 2016
    [doi] [pdf] [bib]
  16. 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]
  17. 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]
  18. MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines
    A. Abel and J. Reineke
    ICCAD, 2015
    [doi] [pdf] [bib]
  19. 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]
  20. 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]
  21. Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction
    P. Backes and J. Reineke
    VMCAI, 2015
    [doi] [pdf] [bib]
  22. 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]
  23. 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]
  24. On the Smoothness of Paging Algorithms
    J. Reineke and A. Salinger
    WAOA, 2015
    [doi] [pdf] [bib]
  25. Reverse Engineering of Cache Replacement Policies in Intel Microprocessors and Their Evaluation (poster abstract)
    A. Abel and J. Reineke
    ISPASS, March 2014
    [pdf] [bib]
  26. A Compiler Optimization to Increase the Efficiency of WCET Analysis (Outstanding Paper Award award)
    M. Maksoud and J. Reineke
    RTNS, 2014
    [doi] [pdf] [bib]
  27. Architecture-Parametric Timing Analysis
    J. Reineke and J. Doerfert
    RTAS, April 2014
    [doi] [pdf] [pdf slides] [bib]
  28. Basic Problems in Multi-View Modeling
    J. Reineke and S. Tripakis
    TACAS, April 2014
    [doi] [pdf] [bib]
  29. 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]
  30. Impact of Resource Sharing on Performance and Performance Prediciton: A Survey (invited paper, extended abstract)
    J. Reineke and R. Wilhelm
    DATE, March 2014
    [bib]
  31. Measurement-based Modeling of the Cache Replacement Policy
    A. Abel and J. Reineke
    RTAS, April 2013
    [pdf] [pdf slides] [ppt slides] [bib]
  32. 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]
  33. Precise timing analysis for direct-mapped caches
    S. Andalam, A. Girault, R. Sinha, P. Roop, and J. Reineke
    DAC, 2013
    [doi] [bib]
  34. 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]
  35. Towards Compositionality in Execution Time Analysis -- Definition and Challenges
    S. Hahn, J. Reineke, and R. Wilhelm
    CRTS, December 2013
    [pdf] [bib]
  36. Automatic Cache Modeling by Measurements
    A. Abel and J. Reineke
    JRWRTC, November 2012
    [pdf] [bib]
  37. 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]
  38. An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis
    M. Maksoud and J. Reineke
    WCET, 2012
    [doi] [pdf] [bib]
  39. Embedded Systems: Many Cores - Many Problems
    R. Wilhelm and J. Reineke
    SIES, June 2012
    [doi] [pdf] [bib]
  40. Temporal Isolation on Multiprocessing Architectures
    D. Bui, E. Lee, I. Liu, H. Patel, and J. Reineke
    DAC, 2011
    [doi] [pdf] [bib]
  41. 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]
  42. CAMA: A Predictable Cache-Aware Memory Allocator
    J. Jörg Herter, Peter Backes, Florian Haupenthal
    ECRTS, July 2011
    [doi] [pdf] [bib]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
    D. Grund and J. Reineke
    ECRTS, July 2010
    [doi] [pdf] [pdf slides] [bib]
  50. Toward Precise PLRU Cache Analyis
    D. Grund and J. Reineke
    WCET, July 2010
    [pdf] [pdf slides] [bib]
  51. 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]
  52. 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]
  53. 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]
  54. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Leroux, J. Reineke, H. Seidl, G. Sutre, and R. Wilhelm
    Efficient Algorithms, 2009
    [doi] [pdf] [bib]
  55. Abstract Interpretation of FIFO Replacement
    D. Grund and J. Reineke
    SAS, August 2009
    [doi] [pdf] [pdf slides] [bib]
  56. Branch Target Buffers: WCET Analysis and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    RTCSA, August 2009
    [doi] [pdf] [pdf slides] [bib]
  57. Making Dynamic Memory Allocation Static To Support WCET Analyses
    J. Herter and J. Reineke
    WCET, June 2009
    [pdf] [pdf slides] [bib]
  58. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
    J. Reineke and R. Sen
    WCET, June 2009
    [pdf] [pdf slides] [bib]
  59. 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]
  60. Estimating the Performance of Cache Replacement Policies
    D. Grund and J. Reineke
    MEMOCODE, June 2008
    [doi] [pdf] [pdf slides] [bib]
  61. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    ECRTS, July 2008
    [pdf] [pdf slides] [bib]
  62. Relative Competitiveness of Cache Replacement Policies
    J. Reineke and D. Grund
    SIGMETRICS, June 2008
    [doi] [pdf] [bib]
  63. Relative Competitive Analysis of Cache Replacement Policies
    J. Reineke and D. Grund
    LCTES, June 2008
    [doi] [pdf] [pdf slides] [bib]
  64. Shape Analysis of Sets
    J. Reineke
    Workshop Trustworthy Software 2006, 2006
    [pdf] [pdf slides] [bib]
  65. 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]

Technical Reports

  1. 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]
  2. 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]
  3. Basic Problems in Multi-View Modeling
    J. Reineke and S. Tripakis
    Technical Report, EECS Department, University of California, Berkeley, January 2014
    [pdf] [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. 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]
  6. Sensitivity of Cache Replacement Policies
    J. Reineke and D. Grund
    Technical Report, SFB/TR 14 AVACS, March 2008
    [pdf] [bib]
  7. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Reineke, H. Seidl, and R. Wilhelm
    Technical Report, TU München, Germany, 2006
    [bib]
  8. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, September 2006
    [pdf] [bib]

PhD Thesis

  1. On Static Execution-Time Analysis---Compositionality, Pipeline Abstraction, and Predictable Hardware
    Sebastian Hahn
    Universität des Saarlandes, 2019
    [pdf] [bib]
  2. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, November 2008
    [pdf] [pdf slides] [bib]

Masters Thesis

  1. Optimal Offline Scheduling for Multi-Core Systems with Dynamically Partitioned Caches
    D. Shah
    Universität des Saarlandes, Germany, 2019
    [pdf] [bib]
  2. Multi-dimensional Auto-vectorization of Stencil Codes
    S. Sharma
    Universität des Saarlandes, Germany, 2019
    [pdf] [bib]
  3. Array-aware Cache Analysis for Write-through and Write-back Caches
    T. Blaß
    Universität des Saarlandes, Germany, December 2016
    [pdf] [bib]
  4. Evaluating Compositional timing analyses
    C. Faymonville
    Universität des Saarlandes, Germany, September 2015
    [pdf] [bib]
  5. Defining Compositionalty in Execution Time Analysis
    S. Hahn
    Universität des Saarlandes, Germany, 2014
    [pdf] [bib]
  6. Measurement-based Inference of the Cache Hierarchy
    A. Abel
    Universität des Saarlandes, Germany, 2012
    [pdf] [bib]
  7. Shape Analysis of Sets
    J. Reineke
    Universität des Saarlandes, Germany, June 2005
    [pdf] [pdf slides] [bib]

Bachelors Thesis

  1. Towards Relational Cache Analysis
    S. Hahn
    Saarland University, 2011
    [bib]
  2. From Uppaal To Slab
    A. Abel
    Saarland University, 2009
    [bib]

Other

  1. nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems
    A. Abel and J. Reineke
    arXiv, abs/1911.03282, 2019
    [bib]
  2. Cache Persistence Analysis: Finally Exact
    G. Stock, S. Hahn, and J. Reineke
    arXiv, abs/1909.04374, 2019
    [bib]
  3. uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures
    A. Abel and J. Reineke
    arXiv, abs/1810.04610, 2018
    [bib]
  4. 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]
  5. 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]
  6. Fast and exact analysis for LRU caches
    C. Maïza, V. Touzeau, D. Monniaux, and J. Reineke
    arXiv, abs/1811.01670, 2018
    [bib]
  7. Keeping up with Real Time
    R. Wilhelm, J. Reineke, and S. Wegener
    Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018
    [doi] [bib]
  8. Security Analysis of Cache Replacement Policies
    P. Cañones, B. Köpf, and J. Reineke
    arXiv, abs/1701.06481, 2017
    [bib]
  9. Ascertaining Uncertainty for Efficient Exact Cache Analysis
    V. Touzeau, C. Maïza, D. Monniaux, and J. Reineke
    arXiv, abs/1709.10008, 2017
    [bib]
  10. On the Smoothness of Paging Algorithms
    J. Reineke and A. Salinger
    arXiv, abs/1510.03362, 2015
    [bib]
  11. 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]

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