Publications

Edited

  1. International Workshop on Worst-Case Execution Time Analysis, WCET 2017, Dubrovnik, Croatia
    J. Reineke.
    [url]  [bib]
  2. International Conference on Embedded Software, EMSOFT 2014, New Delhi, India
    T. Mitra and J. Reineke.
    [bib]

Journal Papers

  1. On the Smoothness of Paging Algorithms
    J. Reineke and A. Salinger
    Theory of Computing Systems, 2017.
    [doi]  [bib]
  2. An Extensible Framework for Multicore Response Time Analysis
    R. Davis, S. Altmeyer, L. Indrusiak, C. Maiza, V. Nelis, and J. Reineke
    Real-Time Systems, July 2017. [doi]  [bib]
  3. 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, 3(1), June 2016. [doi]  [pdf]  [bib]
  4. CacheAudit: A Tool for the Static Analysis of Cache Side Channels
    G. Doychev, B. Köpf, L. Mauborgne, and J. Reineke
    ACM Transactions on Information and System Security, 18(1), June 2015. [doi]  [pdf]  [bib]
  5. Towards Compositionality in Execution Time Analysis - Definition and Challenges
    S. Hahn, J. Reineke, and R. Wilhelm
    SIGBED Review, 12 (1), 2015. [doi]  [bib]
  6. Randomized Caches Considered Harmful in Hard Real-Time Systems
    J. Reineke
    Leibniz Transactions on Embedded Systems, 1 (1), June 2014. [doi]  [pdf]  [bib]
  7. 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. von Hanxleden, R. Wilhelm, W. Yi
    ACM Transactions on Embedded Computing Systems, 13 (4), February 2014. [doi] [pdf]  [bib]
  8. Sensitivity of Cache Replacement Policies
    J. Reineke and D. Grund
    ACM Transactions on Embedded Computing Systems, 12 (1), March 2013. [pdf]  [bib]
  9. 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]
  10. 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, 2010. [bib]
  11. 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), 2009. [doi]  [bib]
  12. Timing Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Real-Time Systems, 37 (2), 2007. [doi]  [pdf]  [slides]  [bib]

Conference and Workshop Papers

  1. Abstract PRET Machines
    E. A. Lee, J. Reineke, and M. Zimmer
    RTSS, 2017.
    [bib]
  2. Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-Core System
    S.-W. Cheng, J.-J. Chen, J. Reineke, and T.-W. Kuo
    RTSS, 2017. [bib]
  3. Ascertaining Uncertainty for Efficient Exact Cache Analysis
    V. Touzeau, C. Maiza, D. Monniaux, and J. Reineke
    CAV, 2017. [pdf]  [bib]
  4. Write-back Caches in WCET Analysis (Outstanding Paper Award )
    T. Blaß, S. Hahn, and J. Reineke
    ECRTS, 2017. [doi]  [pdf]  [pdf slides]  [bib]
  5. Security Analysis of Cache Replacement Policies (Nominated for "Best ETAPS Paper")
    P. Canones, B. Köpf, and J. Reineke
    POST, 2017. [doi]  [pdf]  [bib]
  6. Enabling Compositionality for Multicore Timing Analysis
    S. Hahn, M. Jacobs, and J. Reineke
    RTNS, 2016. [doi]  [pdf]  [bib]
  7. Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling (Outstanding Paper Award )
    R. Davis, S. Altmeyer, and J. Reineke
    RTNS, 2016. [doi]  [pdf]  [bib]
  8. Gray-box Learning of Serial Compositions of Mealy Machines
    A. Abel and J. Reineke
    NFM, 2016. [doi]  [pdf]  [bib]
  9. MIRROR: Symmetric Timing Analysis for Real-Time Tasks on Multicore Platforms with Shared Resources
    W.-H. Huang and J.-J. Chen and Jan Reineke
    DAC, 2016. [pdf]  [bib]
  10. A Generic and Compositional Framework for Multicore Response Time Analysis (Outstanding Paper Award )
    S. Altmeyer, R. I. Davis, L. S. Indrusiak, C. Maiza, V. Nelis, and J. Reineke
    RTNS, 2015. [doi]  [pdf]  [bib]
  11. MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines
    A. Abel and J. Reineke
    ICCAD, 2015. [doi]  [pdf]  [bib]
  12. On the Smoothness of Paging Algorithms
    J. Reineke and A. Salinger
    WAOA, 2015. [doi]  [pdf]  [bib]
  13. ASTRA: A tool for abstract interpretation of graph transformation systems
    P. Backes and J. Reineke
    SPIN, 2015. [doi]  [bib]
  14. 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]
  15. Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction
    P. Backes and J. Reineke
    VMCAI, 2015. [pdf]  [doi]  [bib]
  16. A Compiler Optimization to Increase the Efficiency of WCET Analysis (Outstanding Paper Award )
    M. A. Maksoud and J. Reineke
    RTNS, 2014. [pdf]  [doi]  [bib]
  17. Basic Problems in Multi-View Modeling
    J. Reineke and S. Tripakis
    TACAS, 2014. [doi]  [pdf]  [bib]
  18. Architecture-Parametric Timing Analysis
    J. Reineke and J. Doerfert
    RTAS, 2014. [doi]  [pdf]  [pdf slides]  [bib]
  19. Selfish-LRU: Preemption-Aware Caching for Predictability and Performance
    J. Reineke, S. Altmeyer, D. Grund, S. Hahn, C. Maiza
    RTAS, 2014. [doi]  [pdf]  [pdf slides]  [bib]
  20. Towards Compositionality in Execution Time Analysis - Definition and Challenges
    S. Hahn, J. Reineke, and R. Wilhelm
    CRTS, 2013. [pdf]  [bib]
  21. 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, 2013. [pdf]  [bib]
  22. 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, A. H. Moin, J. Reineke, B. Schommer, and R. Wilhelm
    CONCUR, 2013. [doi]  [pdf]  [bib]
  23. Precise Timing Analysis for Direct-Mapped Caches
    S. Andalam, R. Sinha, P. Roop, A. Girault, and J. Reineke
    DAC, 2013. [doi]  [bib]
  24. Measurement-based Modeling of the Cache Replacement Policy
    A. Abel and J. Reineke
    RTAS (as part of CPS Week), 2013. [pdf]  [slides]  [pdf slides]  [bib]
  25. Automatic Cache Modeling by Measurements
    A. Abel and J. Reineke
    JRWRTC, 2012. [pdf] [bib]
  26. A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance
    I. Liu, J. Reineke, D. Broman, M. Zimmer, and E.A. Lee
    ICCD, 2012. [pdf]  [bib]
  27. An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis
    M. Abdel Maksoud and J. Reineke
    WCET, 2012. [pdf]  [doi]  [bib]
  28. Embedded Systems: Many Cores - Many Problems
    R. Wilhelm, and J. Reineke
    SIES, 2012. [pdf]  [doi]  [bib]
  29. PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation
    J. Reineke, I. Liu, H.D. Patel, S. Kim, and E.A. Lee
    CODES+ISSS, 2011. [slides]  [pdf]  [doi]  [bib]
  30. Temporal Isolation on Multiprocessing Architectures
    D.N. Bui, E.A. Lee, I. Liu, H.D. Patel, J. Reineke
    DAC, 2011. [pdf] [doi] [bib]
  31. CAMA: A Predictable Cache-Aware Memory Allocator
    J. Herter, P. Backes, F. Haupenthal, J. Reineke
    ECRTS, 2011. [doi]  [pdf]  [bib]
  32. 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]  [url]  [slides]  [bib]
  33. A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties
    I. Liu, J. Reineke, E.A. Lee
    44th Asilomar Conference on Signals, Systems, and Computers, 2010. [pdf]  [bib]
  34. 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. [pdf]  [doi]  [bib]
  35. Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches
    S. Altmeyer, C. Maiza, and J. Reineke
    LCTES, 2010. [doi]  [pdf]  [slides]  [bib]
  36. 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, 2010. [pdf]  [bib]
  37. Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
    D. Grund, and J. Reineke
    ECRTS, 2010. [doi]  [pdf]  [slides]  [bib]
  38. Toward Precise PLRU Cache Analyis
    D. Grund, and J. Reineke
    WCET, 2010. [pdf]  [slides]  [bib]
  39. A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]
  40. Abstract Topology Analysis of the Join Phase of the Merge Protocol
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]
  41. Abstract Interpretation of FIFO Replacement
    D. Grund, and J. Reineke
    SAS, 2009. [doi]  [pdf]  [slides]  [bib]
  42. Branch Target Buffers: WCET Analysis and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    RTCSA, 2009. [doi]  [pdf]  [slides]  [bib]
  43. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
    J. Reineke, and R. Sen
    WCET, 2009. [pdf]  [slides]  [bib]
  44. Cache-Related Preemption Delay Computation for Set-Associative Caches—Pitfalls and Solutions
    C. Burguière, J. Reineke, and S. Altmeyer
    WCET, 2009. [pdf]  [slides]  [bib]
  45. Making Dynamic Memory Allocation Static To Support WCET Analyses
    J. Herter, and J. Reineke
    WCET, 2009. [pdf]  [slides]  [bib]
  46. 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), 2009. [pdf]  [bib]
  47. Estimating the Performance of Cache Replacement Policies
    D. Grund, and J. Reineke
    MEMOCODE, 2008. [doi]  [pdf]  [slides]  [bib]
  48. Relative Competitiveness of Cache Replacement Policies
    J. Reineke, and D. Grund
    SIGMETRICS, 2008. [doi]  [pdf]  [bib]
  49. Relative Competitive Analysis of Cache Replacement Policies
    J. Reineke, and D. Grund
    LCTES, 2008. [doi]  [pdf]  [slides]  [bib]
  50. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    Work-In-Progress Session of ECRTS, 2008. [pdf]  [slides]  [bib]
  51. Shape Analysis of Sets
    J. Reineke
    Workshop Trustworthy Software 2006, 2006. [pdf]  [slides]  [bib]
  52. A Definition and Classification of Timing Anomalies
    J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
    WCET, 2006. [pdf]  [slides]  [bib]

Other

  1. Static Timing Analysis - What is Special?
    J. Reineke and R. Wilhelm
    Semantics, Logics, and Calculi, 2016.
    [doi]  [url]  [bib]
  2. Toward Compact Abstractions for Processor Pipelines
    S. Hahn, J. Reineke, and R. Wilhelm
    Correct System Design, 2015. [doi]  [pdf]  [bib]
  3. Impact of Resource Sharing on Performance and Performance Prediction: A Survey (invited paper, extended abstract)
    J. Reineke and R. Wilhelm
    DATE, 2014. [bib]
  4. Reverse Engineering of Cache Replacement Policies in Intel Microprocessors and Their Evaluation (poster abstract)
    A. Abel, J. Reineke
    ISPASS, 2014. [pdf]  [bib]
  5. Designing next-generation real-time streaming systems
    S. Stuijk, T. Basten, B. Akesson, M. Geilen, O. Moreira, J. Reineke
    CODES+ISSS, 2011. [doi] [bib]
  6. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Leroux, J. Reineke, H. Seidl, G. Sutre, and R. Wilhelm
    Efficient Algorithms, 2009. [doi]  [pdf]  [bib]

Technical Reports

  1. Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling
    R. I. 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. I. Davis, L. S. Indrusiak, C. Maiza, V. Nelis, 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
    EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2014-4, January 2014. [pdf]  [bib]
  4. 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, May 2013. [pdf]  [bib]
  5. Precise Modelling of Instruction Cache Behaviour
    S. Andalam, R. Sinha, P. Roop, A. Girault, and J. Reineke
    Technical Report, INRIA, January 2013. [pdf]  [bib]
  6. 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. von Hanxleden, R. Wilhelm, W. Yi
    Technical Report, Uppsala University, July 2012. [pdf]  [bib]
  7. Sensitivity of Cache Replacement Policies
    J. Reineke, and D. Grund
    Technical Report, SFB/TR 14 AVACS, 2008. [pdf]  [bib]
  8. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Reineke, H. Seidl, and R. Wilhelm
    Technical Report, TU München, Germany, 2006. [bib]
  9. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, 2006. [pdf]  [bib]

PhD Thesis

  1. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, 2008.
    [pdf]  [slides]  [bib]

MSc Thesis

  1. Array-aware Cache Analysis for Write-through and Write-back Caches
    T. Blaß
    Universität des Saarlandes, Germany, 2016. [pdf]  [bib]
  2. Evaluating compositional timing analyses
    C. Faymonville
    Universität des Saarlandes, Germany, 2015. [pdf]  [bib]
  3. Defining Compositionality in Execution Time Analysis
    S. Hahn
    Universität des Saarlandes, Germany, 2014. [pdf]  [bib]
  4. Measurement-based Inference of the Cache Hierarchy
    A. Abel
    Universität des Saarlandes, Germany, 2012. [pdf]  [bib]
  5. Shape Analysis of Sets
    J. Reineke
    Universität des Saarlandes, Germany, 2005. [pdf]  [slides]  [bib]