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