Dagstuhl Artifacts Ser.

Keyphrases

Publications

volume 10, number 1, 2024

volume 9, number 1, 2023

Tim Rheinfels, Maximilian Gaukler, Peter Ulbrich
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact). Dagstuhl Artifacts Ser. 9 (1) (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 L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Eva Dengler, Phillip Raffeck, Simon Schuster, Peter Wägemann
FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Matthias Becker, Julien Forget
Front Matter, Table of Contents, Preface, Conference Organization. Dagstuhl Artifacts Ser. 9 (1) (2023)
Raffaele Zippo, Paul Nikolaus, Giovanni Stea
Isospeed: Improving (min, +) Convolution by Exploiting (min, +)/(max, +) Isomorphism (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)

volume 9, number 2, 2023

volume 8, number 2, 2022