Skip to content
Brief presentations (18 out of 26 submissions)
Session A (Dec. 2)
Work-in-Progress papers (WiP)
- Towards representative measurement protocols.
Kossivi KOUGBLENOU, Rihab Bennour, Adriana Gogonel and Liliana Cucu-Grosjean
- Fault Tolerance in a Two-State Checkpointing Regularity-Based System .
Elena Torre and Albert Cheng
- Control-Flow Migration for Data-Locality Optimisation in Multi-Core Real-Time Systems.
Stefan Reif, Phillip Raffeck, Peter Ulbrich and Wolfgang Schröder-Preikschat
- Designing a Server-Side Progressive JPEG Encoder for Real-Time Applications.
Andrew Louie and Albert Cheng
- The ILP-Tractability of Schedulability Analysis Problems.
Sanjoy Baruah
- Toward Precomputation in Real-Time Mixed-Trust Scheduling.
Dionisio de Niz, Bjorn Andersson, Hyoseung Kim, Mark Klein and John Lehoczky
- Towards a fine-grain thermal model for uniform multi-core processors.
Javier Pérez Rodríguez and Patrick Meumeu Yomsi
Conference papers never presented (CnP)
- Hiding DRAM Refresh Overhead in Real-Time Cyclic Executives.
Xing Pan and Frank Mueller
Journal papers never presented (JnP)
- Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics.
Mohammed Foughali and Pierre-Emmanuel Hladik
- Schedulability Analysis of Time-Sensitive Networks with Preemption Support.
Lucia Lo Bello, Mohammad Ashjaei, Gaetano Patti and Moris Behnam
- Improving WCET Evaluation using Linear Relation Analysis.
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae and Rémy Boutonnet
Session B (Dec. 3)
Work-in-Progress papers (WiP)
- Lessons learnt from creating Extreme Value Libraries in Python.
Marwan Wehaiba El Khazen, Adriana Gogonel and Liliana Cucu-Grosjean
- WCRT Analysis for the 3-Phase Task Model in Partitioned Scheduling.
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen and Eduardo Tovar
- Fine-Grained On-Chip Energy Measurement of a Real-Time Multi-Core Processor.
Dominic Oehlert, Edward Umaña Williams and Heiko Falk
- Safe and Secure Configuration Synthesis for TSN using Constraint Programming.
Niklas Reusch, Paul Pop and Silviu Craciunas
Journal papers never presented (JnP)
- Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models.
Hiroyuki Nakagawa, Hiromu Toyama and Tatsuhiro Tsuchiya
Work-in-Progress papers (WiP)
- A DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems.
Giann Spilere Nandi, David Pereira, José Proença and Eduardo Tovar
- Cyber-Physical Systems and Dynamic Partial Reconfiguration Scalability: opportunities and challenges.
Gabriella D’Andrea and Giacomo Valente