List of accepted papers

  • Closing the Loop: Towards Control-aware Design of Adaptive Real-Time Systems
    Tobias Klaus, Florian Franzmann, Maximilian Gaukler, Andreas Michalka and Peter Ulbrich
  • Real-Time Capabilities of HSA Compliant COTS Platforms
    Nandinbaatar Tsog, Matthias Becker, Marcus Larsson, Fredrik Bruhn, Moris Behnam and Mikael Sjödin
  • REVERT: Runtime Verification for Real-Time Systems
    Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira and Rahul Purandare
  • Integrating the Calculation of Preemption and Persistence Related Cache Overhead
    Syed Aftab Rashid, Geoffrey Nelissen and Eduardo Tovar
  • Average Probabilistic Response Time Analysis of Tasks with Multiple Probabilistic Parameters
    Antoine Bertout, Dorin Maxim and Liliana Cucu-Grosjean
  • Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered
    Calvin Deutschbein and Sanjoy Baruah
  • Towards Code Metrics for Benchmarking Timing Analysis
    Peter Wägemann, Tobias Distler, Phillip Raffeck and Wolfgang Schröder-Preikschat
  • Fast and Accurate Cycle Estimation through Hybrid Instruction Set Simulation for Embedded Systems
    Kilho Lee, Wookhyun Han, Jaewoo Lee, Hoon Sung Chwa and Insik Shin
  • Timing-Anomaly Free Dynamic Scheduling of Task-based Parallel Applications
    Petros Voudouris, Per Stenstrom and Risat Pathan
  • Time-accurate ASM As A Refinement Scheme For Worst-Case Execution Time Estimation in Hard Real-Time Systems
    Achraf Mguidich, Vladimir-Alexandru Paun, Bruno Monsuez and Philippe Baufreton