DARTS, Volume 9, Issue 1, ECRTS 2023

• Matthias Becker and Julien Forget Front Matter, Table of Contents, Preface, Conference Organization 10.4230/DARTS.9.1.0
• Tim Rheinfels, Maximilian Gaukler, and Peter Ulbrich A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact) 10.4230/DARTS.9.1.1
• Eva Dengler, Phillip Raffeck, Simon Schuster, and Peter Wägemann FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact) 10.4230/DARTS.9.1.2
• Raffaele Zippo, Paul Nikolaus, and Giovanni Stea Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism (Artifact) 10.4230/DARTS.9.1.3
• 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) 10.4230/DARTS.9.1.4