LIPIcs, Volume 133
ECRTS 2019, July 9-12, 2019, Stuttgart, Germany
Editors: Sophie Quinton
DARTS, Volume 5, Issue 1
Editors: Sophie Quinton, Sebastian Altmeyer, and Alessandro Papadopoulos
Published in: DARTS, Volume 9, Issue 1, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan M. Rivas, and Youcheng Sun. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). In Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 1, pp. 4:1-4:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{altmeyer_et_al:DARTS.9.1.4, 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 (Artifact)}}, pages = {4:1--4:6}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {1}, editor = {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}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.9.1.4}, URN = {urn:nbn:de:0030-drops-180257}, doi = {10.4230/DARTS.9.1.4}, annote = {Keywords: Verification challenge, industrial use case, end-to-end latency, real-time systems, response time analysis} }
Published in: LIPIcs, Volume 262, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan M. Rivas, and Youcheng Sun. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 19:1-19:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@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-dev.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} }
Published in: DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Pierre Roux, Sophie Quinton, and Marc Boyer. A Formal Link Between Response Time Analysis and Network Calculus (Artifact). In Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 1, pp. 3:1-3:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{roux_et_al:DARTS.8.1.3, author = {Roux, Pierre and Quinton, Sophie and Boyer, Marc}, title = {{A Formal Link Between Response Time Analysis and Network Calculus (Artifact)}}, pages = {3:1--3:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2022}, volume = {8}, number = {1}, editor = {Roux, Pierre and Quinton, Sophie and Boyer, Marc}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.8.1.3}, URN = {urn:nbn:de:0030-drops-164990}, doi = {10.4230/DARTS.8.1.3}, annote = {Keywords: Response Time Analysis, Network Calculus, dense time, discrete time, response time, formal proof, Coq} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Matteo Andreozzi, Giacomo Gabrielli, Balaji Venu, and Giacomo Travaglini. Industrial Challenge 2022: A High-Performance Real-Time Case Study on Arm. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{andreozzi_et_al:LIPIcs.ECRTS.2022.1, author = {Andreozzi, Matteo and Gabrielli, Giacomo and Venu, Balaji and Travaglini, Giacomo}, title = {{Industrial Challenge 2022: A High-Performance Real-Time Case Study on Arm}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {1:1--1:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.1}, URN = {urn:nbn:de:0030-drops-163186}, doi = {10.4230/LIPIcs.ECRTS.2022.1}, annote = {Keywords: real-time, worst-case execution time} }
Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Pierre Roux, Sophie Quinton, and Marc Boyer. A Formal Link Between Response Time Analysis and Network Calculus. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 5:1-5:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{roux_et_al:LIPIcs.ECRTS.2022.5, author = {Roux, Pierre and Quinton, Sophie and Boyer, Marc}, title = {{A Formal Link Between Response Time Analysis and Network Calculus}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {5:1--5:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.5}, URN = {urn:nbn:de:0030-drops-163224}, doi = {10.4230/LIPIcs.ECRTS.2022.5}, annote = {Keywords: Response Time Analysis, Network Calculus, dense time, discrete time, response time, formal proof, Coq} }
Published in: LIPIcs, Volume 165, 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
Sergey Bozhko and Björn B. Brandenburg. Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. In 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 165, pp. 22:1-22:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{bozhko_et_al:LIPIcs.ECRTS.2020.22, author = {Bozhko, Sergey and Brandenburg, Bj\"{o}rn B.}, title = {{Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle}}, booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)}, pages = {22:1--22:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-152-8}, ISSN = {1868-8969}, year = {2020}, volume = {165}, editor = {V\"{o}lp, Marcus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.22}, URN = {urn:nbn:de:0030-drops-123850}, doi = {10.4230/LIPIcs.ECRTS.2020.22}, annote = {Keywords: hard real-time systems, response-time analysis, uniprocessor, busy window, fixed priority, EDF, verification, Coq, Prosa, preemptive, non-preemptive, limited-preemptive} }
Published in: DARTS, Volume 5, Issue 1, Special Issue of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Special Issue of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 1, pp. 0:i-0:ix, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{quinton_et_al:DARTS.5.1.0, author = {Quinton, Sophie and Altmeyer, Sebastian and Papadopoulos, Alessandro}, title = {{Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}}, pages = {0:i--0:ix}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {1}, editor = {Quinton, Sophie and Altmeyer, Sebastian and Papadopoulos, Alessandro}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.5.1.0}, URN = {urn:nbn:de:0030-drops-107282}, doi = {10.4230/DARTS.5.1.0}, annote = {Keywords: Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee} }
Published in: LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 133, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Proceedings{quinton:LIPIcs.ECRTS.2019, title = {{LIPIcs, Volume 133, ECRTS'19, Complete Volume}}, booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-110-8}, ISSN = {1868-8969}, year = {2019}, volume = {133}, editor = {Quinton, Sophie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019}, URN = {urn:nbn:de:0030-drops-107744}, doi = {10.4230/LIPIcs.ECRTS.2019}, annote = {Keywords: Computer systems organization, Embedded and cyber-physical systems, Computer systems organization, Real-time systems, Software and its engineering} }
Published in: LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 133, pp. 0:i-0:xi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{quinton:LIPIcs.ECRTS.2019.0, author = {Quinton, Sophie}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)}, pages = {0:i--0:xi}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-110-8}, ISSN = {1868-8969}, year = {2019}, volume = {133}, editor = {Quinton, Sophie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.0}, URN = {urn:nbn:de:0030-drops-107377}, doi = {10.4230/LIPIcs.ECRTS.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, and Anton Cervin. DMAC: Deadline-Miss-Aware Control. In 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 133, pp. 1:1-1:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{pazzaglia_et_al:LIPIcs.ECRTS.2019.1, author = {Pazzaglia, Paolo and Mandrioli, Claudio and Maggio, Martina and Cervin, Anton}, title = {{DMAC: Deadline-Miss-Aware Control}}, booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)}, pages = {1:1--1:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-110-8}, ISSN = {1868-8969}, year = {2019}, volume = {133}, editor = {Quinton, Sophie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.1}, URN = {urn:nbn:de:0030-drops-107387}, doi = {10.4230/LIPIcs.ECRTS.2019.1}, annote = {Keywords: Weakly-Hard Real-Time Systems, Deadline Miss Handling, Control Design} }
Published in: LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Robert J. Walls, Nicholas F. Brown, Thomas Le Baron, Craig A. Shue, Hamed Okhravi, and Bryan C. Ward. Control-Flow Integrity for Real-Time Embedded Systems. In 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 133, pp. 2:1-2:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{walls_et_al:LIPIcs.ECRTS.2019.2, author = {Walls, Robert J. and Brown, Nicholas F. and Le Baron, Thomas and Shue, Craig A. and Okhravi, Hamed and Ward, Bryan C.}, title = {{Control-Flow Integrity for Real-Time Embedded Systems}}, booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)}, pages = {2:1--2:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-110-8}, ISSN = {1868-8969}, year = {2019}, volume = {133}, editor = {Quinton, Sophie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.2}, URN = {urn:nbn:de:0030-drops-107397}, doi = {10.4230/LIPIcs.ECRTS.2019.2}, annote = {Keywords: Control-flow integrity} }
Published in: LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Sims Hill Osborne, Joshua J. Bakita, and James H. Anderson. Simultaneous Multithreading Applied to Real Time. In 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 133, pp. 3:1-3:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{osborne_et_al:LIPIcs.ECRTS.2019.3, author = {Osborne, Sims Hill and Bakita, Joshua J. and Anderson, James H.}, title = {{Simultaneous Multithreading Applied to Real Time}}, booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)}, pages = {3:1--3:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-110-8}, ISSN = {1868-8969}, year = {2019}, volume = {133}, editor = {Quinton, Sophie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.3}, URN = {urn:nbn:de:0030-drops-107400}, doi = {10.4230/LIPIcs.ECRTS.2019.3}, annote = {Keywords: real-time systems, simultaneous multithreading, soft real-time, scheduling algorithms} }
Published in: LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Muhammad R. Soliman and Rodolfo Pellizzoni. PREM-Based Optimal Task Segmentation Under Fixed Priority Scheduling. In 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 133, pp. 4:1-4:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{soliman_et_al:LIPIcs.ECRTS.2019.4, author = {Soliman, Muhammad R. and Pellizzoni, Rodolfo}, title = {{PREM-Based Optimal Task Segmentation Under Fixed Priority Scheduling}}, booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)}, pages = {4:1--4:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-110-8}, ISSN = {1868-8969}, year = {2019}, volume = {133}, editor = {Quinton, Sophie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.4}, URN = {urn:nbn:de:0030-drops-107417}, doi = {10.4230/LIPIcs.ECRTS.2019.4}, annote = {Keywords: PREM, LLVM, scratchpad memory, scheduling, program segmentation} }
Feedback for Dagstuhl Publishing