HTML Export for ECRTS 2023

Copy to Clipboard Download

<h2>LIPIcs, Volume 262, ECRTS 2023</h2>
<ul>
<li>
    <span class="authors">Alessandro V. Papadopoulos</span>
    <span class="title">LIPIcs, Volume 262, ECRTS 2023, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023">10.4230/LIPIcs.ECRTS.2023</a>
</li>
<li>
    <span class="authors">Alessandro V. Papadopoulos</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.0">10.4230/LIPIcs.ECRTS.2023.0</a>
</li>
<li>
    <span class="authors">Timothy Bourke, Vincent Bregeon, and Marc Pouzet</span>
    <span class="title">Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.1">10.4230/LIPIcs.ECRTS.2023.1</a>
</li>
<li>
    <span class="authors">Sanjoy Baruah and Pontus Ekberg</span>
    <span class="title">Towards Efficient Explainability of Schedulability Properties in Real-Time Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.2">10.4230/LIPIcs.ECRTS.2023.2</a>
</li>
<li>
    <span class="authors">Kunal Agrawal, Sanjoy Baruah, Michael A. Bender, and Alberto Marchetti-Spaccamela</span>
    <span class="title">The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.3">10.4230/LIPIcs.ECRTS.2023.3</a>
</li>
<li>
    <span class="authors">Ahsan Saeed, Denis Hoornaert, Dakshina Dasari, Dirk Ziegenbein, Daniel Mueller-Gritschneder, Ulf Schlichtmann, Andreas Gerstlauer, and Renato Mancuso</span>
    <span class="title">Memory Latency Distribution-Driven Regulation for Temporal Isolation in MPSoCs</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.4">10.4230/LIPIcs.ECRTS.2023.4</a>
</li>
<li>
    <span class="authors">Sergio Garcia-Esteban, Alejandro Serrano-Cases, Jaume Abella, Enrico Mezzetti, and Francisco J. Cazorla</span>
    <span class="title">Quasi Isolation QoS Setups to Control MPSoC Contention in Integrated Software Architectures</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.5">10.4230/LIPIcs.ECRTS.2023.5</a>
</li>
<li>
    <span class="authors">Eva Dengler, Phillip Raffeck, Simon Schuster, and Peter Wägemann</span>
    <span class="title">FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.6">10.4230/LIPIcs.ECRTS.2023.6</a>
</li>
<li>
    <span class="authors">Abderaouf N Amalou, Elisa Fromont, and Isabelle Puaut</span>
    <span class="title">CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.7">10.4230/LIPIcs.ECRTS.2023.7</a>
</li>
<li>
    <span class="authors">Ashikahmed Bhuiyan, Mohammad Pivezhandi, Zhishan Guo, Jing Li, Venkata Prashant Modekurthy, and Abusayeed Saifullah</span>
    <span class="title">Precise Scheduling of DAG Tasks with Dynamic Power Management</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.8">10.4230/LIPIcs.ECRTS.2023.8</a>
</li>
<li>
    <span class="authors">Gerlando Sciangula, Daniel Casini, Alessandro Biondi, Claudio Scordino, and Marco Di Natale</span>
    <span class="title">Bounding the Data-Delivery Latency of DDS Messages in Real-Time Applications</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.9">10.4230/LIPIcs.ECRTS.2023.9</a>
</li>
<li>
    <span class="authors">Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen, and Jian-Jia Chen</span>
    <span class="title">On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.10">10.4230/LIPIcs.ECRTS.2023.10</a>
</li>
<li>
    <span class="authors">Tim Rheinfels, Maximilian Gaukler, and Peter Ulbrich</span>
    <span class="title">A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.11">10.4230/LIPIcs.ECRTS.2023.11</a>
</li>
<li>
    <span class="authors">Raffaele Zippo, Paul Nikolaus, and Giovanni Stea</span>
    <span class="title">Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.12">10.4230/LIPIcs.ECRTS.2023.12</a>
</li>
<li>
    <span class="authors">Weifan Chen, Ivan Izhbirdeev, Denis Hoornaert, Shahin Roozkhosh, Patrick Carpanedo, Sanskriti Sharma, and Renato Mancuso</span>
    <span class="title">Low-Overhead Online Assessment of Timely Progress as a System Commodity</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.13">10.4230/LIPIcs.ECRTS.2023.13</a>
</li>
<li>
    <span class="authors">Aleksandar Matovic, Rafal Graczyk, Federico Lucchetti, and Marcus Völp</span>
    <span class="title">Consensual Resilient Control: Stateless Recovery of Stateful Controllers</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.14">10.4230/LIPIcs.ECRTS.2023.14</a>
</li>
<li>
    <span class="authors">Pegdwende Romaric Nikiema, Angeliki Kritikakou, Marcello Traiola, and Olivier Sentieys</span>
    <span class="title">Impact of Transient Faults on Timing Behavior and Mitigation with Near-Zero WCET Overhead</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.15">10.4230/LIPIcs.ECRTS.2023.15</a>
</li>
<li>
    <span class="authors">Shareef Ahmed and James H. Anderson</span>
    <span class="title">Optimal Multiprocessor Locking Protocols Under FIFO Scheduling</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.16">10.4230/LIPIcs.ECRTS.2023.16</a>
</li>
<li>
    <span class="authors">Shorouk Abdelhalim, Danesh Germchi, Mohamed Hossam, Rodolfo Pellizzoni, and Mohamed Hassan</span>
    <span class="title">A Tight Holistic Memory Latency Bound Through Coordinated Management of Memory Resources</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.17">10.4230/LIPIcs.ECRTS.2023.17</a>
</li>
<li>
    <span class="authors">Federico Aromolo, Geoffrey Nelissen, and Alessandro Biondi</span>
    <span class="title">Replication-Based Scheduling of Parallel Real-Time Tasks</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.18">10.4230/LIPIcs.ECRTS.2023.18</a>
</li>
<li>
    <span class="authors">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</span>
    <span class="title">From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.ECRTS.2023.19">10.4230/LIPIcs.ECRTS.2023.19</a>
</li>
</ul>

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

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail