@Proceedings{terraneo_et_al:OASIcs.NG-RES.2023,
title = {{OASIcs, Volume 108, NG-RES 2023, Complete Volume}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {1--98},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023},
URN = {urn:nbn:de:0030-drops-177300},
doi = {10.4230/OASIcs.NG-RES.2023},
annote = {Keywords: OASIcs, Volume 108, NG-RES 2023, Complete Volume}
}
@InProceedings{terraneo_et_al:OASIcs.NG-RES.2023.0,
author = {Terraneo, Federico and Cattaneo, Daniele},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {0:i--0:x},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.0},
URN = {urn:nbn:de:0030-drops-177312},
doi = {10.4230/OASIcs.NG-RES.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{maggio:OASIcs.NG-RES.2023.1,
author = {Maggio, Martina},
title = {{Control Systems in the Presence of Computational Problems}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {1:1--1:1},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.1},
URN = {urn:nbn:de:0030-drops-177320},
doi = {10.4230/OASIcs.NG-RES.2023.1},
annote = {Keywords: control systems, fault tolerance}
}
@InProceedings{costa_et_al:OASIcs.NG-RES.2023.2,
author = {Costa, Diogo and Cuomo, Luca and Oliveira, Daniel and Savino, Ida Maria and Morelli, Bruno and Martins, Jos\'{e} and Tronci, Fabrizio and Biasci, Alessandro and Pinto, Sandro},
title = {{IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {2:1--2:13},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.2},
URN = {urn:nbn:de:0030-drops-177333},
doi = {10.4230/OASIcs.NG-RES.2023.2},
annote = {Keywords: IRQ coloring, Interrupt Interference, Mixed-Criticality Systems, Hypervisors, Bao, Arm}
}
@InProceedings{jellum_et_al:OASIcs.NG-RES.2023.3,
author = {Jellum, Erling Rennemo and Lin, Shaokai and Donovan, Peter and Soyer, Efsane and Shakir, Fuzail and Bryne, Torleiv and Orlandic, Milica and Lohstroh, Marten and Lee, Edward A.},
title = {{Beyond the Threaded Programming Model on Real-Time Operating Systems}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {3:1--3:13},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.3},
URN = {urn:nbn:de:0030-drops-177348},
doi = {10.4230/OASIcs.NG-RES.2023.3},
annote = {Keywords: Real time, concurrency, reactors, Lingua Franca, RTOS}
}
@InProceedings{sorrentino_et_al:OASIcs.NG-RES.2023.4,
author = {Sorrentino, Alessandro and Terraneo, Federico and Leva, Alberto},
title = {{Efficient Abstraction of Clock Synchronization at the Operating System Level}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {4:1--4:11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.4},
URN = {urn:nbn:de:0030-drops-177357},
doi = {10.4230/OASIcs.NG-RES.2023.4},
annote = {Keywords: Clock synchronization, Real-time operating systems, Embedded software, Real-time control}
}
@InProceedings{shahri_et_al:OASIcs.NG-RES.2023.5,
author = {Shahri, Ehsan and Pedreiras, Paulo and Almeida, Luis},
title = {{Response Time Analysis for RT-MQTT Protocol Grounded on SDN}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {5:1--5:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.5},
URN = {urn:nbn:de:0030-drops-177364},
doi = {10.4230/OASIcs.NG-RES.2023.5},
annote = {Keywords: Real-time systems, OpenFlow, fixed-priority non-preemptive scheduling, response time analysis, MQTT}
}
@InProceedings{letras_et_al:OASIcs.NG-RES.2023.6,
author = {Letras, Martin and Falk, Joachim and Teich, J\"{u}rgen},
title = {{Throughput and Memory Optimization for Parallel Implementations of Dataflow Networks Using Multi-Reader Buffers}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {6:1--6:13},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.6},
URN = {urn:nbn:de:0030-drops-177374},
doi = {10.4230/OASIcs.NG-RES.2023.6},
annote = {Keywords: Dataflow, Memory Optimization, MPSoCs, Design Space Exploration}
}
@InProceedings{esper_et_al:OASIcs.NG-RES.2023.7,
author = {Esper, Khalil and Spieck, Jan and Sixdenier, Pierre-Louis and Wildermann, Stefan and Teich, J\"{u}rgen},
title = {{RAVEN: Reinforcement Learning for Generating Verifiable Run-Time Requirement Enforcers for MPSoCs}},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
pages = {7:1--7:16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-268-6},
ISSN = {2190-6807},
year = {2023},
volume = {108},
editor = {Terraneo, Federico and Cattaneo, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2023.7},
URN = {urn:nbn:de:0030-drops-177380},
doi = {10.4230/OASIcs.NG-RES.2023.7},
annote = {Keywords: Verification, Runtime Requirement Enforcement, Reinforcement Learning}
}
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