@Proceedings{papadopoulos:LIPIcs.ECRTS.2023,
title = {{LIPIcs, Volume 262, ECRTS 2023, Complete Volume}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {1--460},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023},
URN = {urn:nbn:de:0030-drops-180286},
doi = {10.4230/LIPIcs.ECRTS.2023},
annote = {Keywords: LIPIcs, Volume 262, ECRTS 2023, Complete Volume}
}
@InProceedings{papadopoulos:LIPIcs.ECRTS.2023.0,
author = {Papadopoulos, Alessandro V.},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {0:i--0:xvi},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.0},
URN = {urn:nbn:de:0030-drops-180298},
doi = {10.4230/LIPIcs.ECRTS.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{bourke_et_al:LIPIcs.ECRTS.2023.1,
author = {Bourke, Timothy and Bregeon, Vincent and Pouzet, Marc},
title = {{Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {1:1--1:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.1},
URN = {urn:nbn:de:0030-drops-180301},
doi = {10.4230/LIPIcs.ECRTS.2023.1},
annote = {Keywords: synchronous-reactive, integer linear programming, code generation}
}
@InProceedings{baruah_et_al:LIPIcs.ECRTS.2023.2,
author = {Baruah, Sanjoy and Ekberg, Pontus},
title = {{Towards Efficient Explainability of Schedulability Properties in Real-Time Systems}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {2:1--2:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.2},
URN = {urn:nbn:de:0030-drops-180313},
doi = {10.4230/LIPIcs.ECRTS.2023.2},
annote = {Keywords: Recurrent Task Systems, Uniprocessor and Multiprocessor Schedulability, Verification, Explanation, Computational Complexity, Approximation Schemes}
}
@InProceedings{agrawal_et_al:LIPIcs.ECRTS.2023.3,
author = {Agrawal, Kunal and Baruah, Sanjoy and Bender, Michael A. and Marchetti-Spaccamela, Alberto},
title = {{The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {3:1--3:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.3},
URN = {urn:nbn:de:0030-drops-180323},
doi = {10.4230/LIPIcs.ECRTS.2023.3},
annote = {Keywords: Algorithms using predictions, robust scheduling, energy minimization, classification, on-line scheduling}
}
@InProceedings{saeed_et_al:LIPIcs.ECRTS.2023.4,
author = {Saeed, Ahsan and Hoornaert, Denis and Dasari, Dakshina and Ziegenbein, Dirk and Mueller-Gritschneder, Daniel and Schlichtmann, Ulf and Gerstlauer, Andreas and Mancuso, Renato},
title = {{Memory Latency Distribution-Driven Regulation for Temporal Isolation in MPSoCs}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {4:1--4:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.4},
URN = {urn:nbn:de:0030-drops-180339},
doi = {10.4230/LIPIcs.ECRTS.2023.4},
annote = {Keywords: temporal isolation, memory latency, real-time system, multi-core}
}
@InProceedings{garciaesteban_et_al:LIPIcs.ECRTS.2023.5,
author = {Garcia-Esteban, Sergio and Serrano-Cases, Alejandro and Abella, Jaume and Mezzetti, Enrico and Cazorla, Francisco J.},
title = {{Quasi Isolation QoS Setups to Control MPSoC Contention in Integrated Software Architectures}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {5:1--5:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.5},
URN = {urn:nbn:de:0030-drops-180346},
doi = {10.4230/LIPIcs.ECRTS.2023.5},
annote = {Keywords: Multicore, Interference, QoS}
}
@InProceedings{dengler_et_al:LIPIcs.ECRTS.2023.6,
author = {Dengler, Eva and Raffeck, Phillip and Schuster, Simon and W\"{a}gemann, Peter},
title = {{FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {6:1--6:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.6},
URN = {urn:nbn:de:0030-drops-180354},
doi = {10.4230/LIPIcs.ECRTS.2023.6},
annote = {Keywords: energy-aware scheduling, device-aware whole-system analysis, clock tree}
}
@InProceedings{amalou_et_al:LIPIcs.ECRTS.2023.7,
author = {Amalou, Abderaouf N and Fromont, Elisa and Puaut, Isabelle},
title = {{CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {7:1--7:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.7},
URN = {urn:nbn:de:0030-drops-180367},
doi = {10.4230/LIPIcs.ECRTS.2023.7},
annote = {Keywords: Worst-case execution time, machine learning, transformers, hybrid technique}
}
@InProceedings{bhuiyan_et_al:LIPIcs.ECRTS.2023.8,
author = {Bhuiyan, Ashikahmed and Pivezhandi, Mohammad and Guo, Zhishan and Li, Jing and Modekurthy, Venkata Prashant and Saifullah, Abusayeed},
title = {{Precise Scheduling of DAG Tasks with Dynamic Power Management}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {8:1--8:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.8},
URN = {urn:nbn:de:0030-drops-180372},
doi = {10.4230/LIPIcs.ECRTS.2023.8},
annote = {Keywords: Parallel task, mixed-criticality scheduling, energy minimization, dynamic power management, cluster-based platform}
}
@InProceedings{sciangula_et_al:LIPIcs.ECRTS.2023.9,
author = {Sciangula, Gerlando and Casini, Daniel and Biondi, Alessandro and Scordino, Claudio and Di Natale, Marco},
title = {{Bounding the Data-Delivery Latency of DDS Messages in Real-Time Applications}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {9:1--9:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.9},
URN = {urn:nbn:de:0030-drops-180381},
doi = {10.4230/LIPIcs.ECRTS.2023.9},
annote = {Keywords: DDS, real-time systems, response-time analysis, end-to-end latency, CPA}
}
@InProceedings{gunzel_et_al:LIPIcs.ECRTS.2023.10,
author = {G\"{u}nzel, Mario and Teper, Harun and Chen, Kuan-Hsun and von der Br\"{u}ggen, Georg and Chen, Jian-Jia},
title = {{On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {10:1--10:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.10},
URN = {urn:nbn:de:0030-drops-180392},
doi = {10.4230/LIPIcs.ECRTS.2023.10},
annote = {Keywords: End-to-End, Timing Analysis, Maximum Data Age, Maximum Reaction Time, Cause-Effect Chain, Robot Operating Systems 2 (ROS2)}
}
@InProceedings{rheinfels_et_al:LIPIcs.ECRTS.2023.11,
author = {Rheinfels, Tim and Gaukler, Maximilian and Ulbrich, Peter},
title = {{A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {11:1--11:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.11},
URN = {urn:nbn:de:0030-drops-180405},
doi = {10.4230/LIPIcs.ECRTS.2023.11},
annote = {Keywords: Real-time Control, Mixed-Criticality, Switched Systems, State Monitoring}
}
@InProceedings{zippo_et_al:LIPIcs.ECRTS.2023.12,
author = {Zippo, Raffaele and Nikolaus, Paul and Stea, Giovanni},
title = {{Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {12:1--12:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.12},
URN = {urn:nbn:de:0030-drops-180415},
doi = {10.4230/LIPIcs.ECRTS.2023.12},
annote = {Keywords: Deterministic Network Calculus, min-plus algebra, max-plus algebra, performance, algorithms}
}
@InProceedings{chen_et_al:LIPIcs.ECRTS.2023.13,
author = {Chen, Weifan and Izhbirdeev, Ivan and Hoornaert, Denis and Roozkhosh, Shahin and Carpanedo, Patrick and Sharma, Sanskriti and Mancuso, Renato},
title = {{Low-Overhead Online Assessment of Timely Progress as a System Commodity}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {13:1--13:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.13},
URN = {urn:nbn:de:0030-drops-180428},
doi = {10.4230/LIPIcs.ECRTS.2023.13},
annote = {Keywords: progress-aware regulation, hardware assisted runtime monitoring, timing annotation, control flow graph}
}
@InProceedings{matovic_et_al:LIPIcs.ECRTS.2023.14,
author = {Matovic, Aleksandar and Graczyk, Rafal and Lucchetti, Federico and V\"{o}lp, Marcus},
title = {{Consensual Resilient Control: Stateless Recovery of Stateful Controllers}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {14:1--14:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.14},
URN = {urn:nbn:de:0030-drops-180430},
doi = {10.4230/LIPIcs.ECRTS.2023.14},
annote = {Keywords: resilience, control, replication}
}
@InProceedings{nikiema_et_al:LIPIcs.ECRTS.2023.15,
author = {Nikiema, Pegdwende Romaric and Kritikakou, Angeliki and Traiola, Marcello and Sentieys, Olivier},
title = {{Impact of Transient Faults on Timing Behavior and Mitigation with Near-Zero WCET Overhead}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {15:1--15:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.15},
URN = {urn:nbn:de:0030-drops-180445},
doi = {10.4230/LIPIcs.ECRTS.2023.15},
annote = {Keywords: Transient faults, Timing impact, Near-zero WCET error detection and correction, Vulnerability analysis}
}
@InProceedings{ahmed_et_al:LIPIcs.ECRTS.2023.16,
author = {Ahmed, Shareef and Anderson, James H.},
title = {{Optimal Multiprocessor Locking Protocols Under FIFO Scheduling}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {16:1--16:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.16},
URN = {urn:nbn:de:0030-drops-180451},
doi = {10.4230/LIPIcs.ECRTS.2023.16},
annote = {Keywords: Real-Time Systems, Real-Time Synchronization, Multiprocessors}
}
@InProceedings{abdelhalim_et_al:LIPIcs.ECRTS.2023.17,
author = {Abdelhalim, Shorouk and Germchi, Danesh and Hossam, Mohamed and Pellizzoni, Rodolfo and Hassan, Mohamed},
title = {{A Tight Holistic Memory Latency Bound Through Coordinated Management of Memory Resources}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {17:1--17:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.17},
URN = {urn:nbn:de:0030-drops-180463},
doi = {10.4230/LIPIcs.ECRTS.2023.17},
annote = {Keywords: Predictability, Main Memory, Caches, Real-time}
}
@InProceedings{aromolo_et_al:LIPIcs.ECRTS.2023.18,
author = {Aromolo, Federico and Nelissen, Geoffrey and Biondi, Alessandro},
title = {{Replication-Based Scheduling of Parallel Real-Time Tasks}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {18:1--18:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.18},
URN = {urn:nbn:de:0030-drops-180477},
doi = {10.4230/LIPIcs.ECRTS.2023.18},
annote = {Keywords: Real-Time Systems, Scheduling Algorithms, Schedulability Analysis, Parallel Tasks}
}
@InProceedings{altmeyer_et_al:LIPIcs.ECRTS.2023.19,
author = {Altmeyer, Sebastian and Andr\'{e}, \'{E}tienne and Dal Zilio, Silvano and Fejoz, Lo\"{i}c and Harbour, Michael Gonz\'{a}lez and Graf, Susanne and Guti\'{e}rrez, J. Javier and Henia, Rafik and Le Botlan, Didier and Lipari, Giuseppe and Medina, Julio and Navet, Nicolas and Quinton, Sophie and Rivas, Juan M. and Sun, Youcheng},
title = {{From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
pages = {19:1--19:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-280-8},
ISSN = {1868-8969},
year = {2023},
volume = {262},
editor = {Papadopoulos, Alessandro V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.19},
URN = {urn:nbn:de:0030-drops-180486},
doi = {10.4230/LIPIcs.ECRTS.2023.19},
annote = {Keywords: Verification challenge, industrial use case, end-to-end latency}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing