LIPIcs, Volume 231, ECRTS 2022

• Martina Maggio LIPIcs, Volume 231, ECRTS 2022, Complete Volume 10.4230/LIPIcs.ECRTS.2022
• Martina Maggio Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.ECRTS.2022.0
• Matteo Andreozzi, Giacomo Gabrielli, Balaji Venu, and Giacomo Travaglini Industrial Challenge 2022: A High-Performance Real-Time Case Study on Arm 10.4230/LIPIcs.ECRTS.2022.1
• Seonyeong Heo, Shinnung Jeong, and Hanjun Kim RTScale: Sensitivity-Aware Adaptive Image Scaling for Real-Time Object Detection 10.4230/LIPIcs.ECRTS.2022.2
• Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, and Claire Pagetti ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems 10.4230/LIPIcs.ECRTS.2022.3
• Axel Brando, Isabel Serra, Enrico Mezzetti, Jaume Abella, and Francisco J. Cazorla Using Quantile Regression in Neural Networks for Contention Prediction in Multicore Processors 10.4230/LIPIcs.ECRTS.2022.4
• Pierre Roux, Sophie Quinton, and Marc Boyer A Formal Link Between Response Time Analysis and Network Calculus 10.4230/LIPIcs.ECRTS.2022.5
• Kuan-Hsun Chen, Mario Günzel, Boguslaw Jablkowski, Markus Buschhoff, and Jian-Jia Chen Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization 10.4230/LIPIcs.ECRTS.2022.6
• Victor Pollex and Frank Slomka A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling 10.4230/LIPIcs.ECRTS.2022.7
• Anaïs Finzi and Ramon Serna Oliver General Framework for Routing, Scheduling and Formal Timing Analysis in Deterministic Time-Aware Networks 10.4230/LIPIcs.ECRTS.2022.8
• Rémi Meunier, Thomas Carle, and Thierry Monteil Correctness and Efficiency Criteria for the Multi-Phase Task Model 10.4230/LIPIcs.ECRTS.2022.9
• Zelin Tong, Shareef Ahmed, and James H. Anderson Overrun-Resilient Multiprocessor Real-Time Locking 10.4230/LIPIcs.ECRTS.2022.10
• Matheus Ladeira, Emmanuel Grolleau, Fabien Bonneval, Gautier Hattenberger, Yassine Ouhammou, and Yuri Hérouard Scheduling Offset-Free Systems Under FIFO Priority Protocol 10.4230/LIPIcs.ECRTS.2022.11
• Geoffrey Nelissen, Joan Marcè i Igual, and Mitra Nasri Response-Time Analysis for Non-Preemptive Periodic Moldable Gang Tasks 10.4230/LIPIcs.ECRTS.2022.12
• Federico Aromolo, Alessandro Biondi, and Geoffrey Nelissen Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling 10.4230/LIPIcs.ECRTS.2022.13
• A. Burns and Cliff B. Jones An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems 10.4230/LIPIcs.ECRTS.2022.14
• Marco Barletta, Marcello Cinque, Luigi De Simone, and Raffaele Della Corte Achieving Isolation in Mixed-Criticality Industrial Edge Systems with Real-Time Containers 10.4230/LIPIcs.ECRTS.2022.15
• Reza Mirosanlou, Mohamed Hassan, and Rodolfo Pellizzoni Parallelism-Aware High-Performance Cache Coherence with Tight Latency Bounds 10.4230/LIPIcs.ECRTS.2022.16
• Mohamed Hossam and Mohamed Hassan Predictably and Efficiently Integrating COTS Cache Coherence in Real-Time Systems 10.4230/LIPIcs.ECRTS.2022.17
• Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, and Isabelle Puaut RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems 10.4230/LIPIcs.ECRTS.2022.18
• Marco Maida, Sergey Bozhko, and Björn B. Brandenburg Foundational Response-Time Analysis as Explainable Evidence of Timeliness 10.4230/LIPIcs.ECRTS.2022.19
• Sergi Vilardell, Isabel Serra, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla, and Joan del Castillo Using Markov’s Inequality with Power-Of-k Function for Probabilistic WCET Estimation 10.4230/LIPIcs.ECRTS.2022.20