| No. |
Title |
Author |
Year |
| 1 |
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact) |
Altmeyer, Sebastian et al. |
2023 |
| 2 |
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper) |
Altmeyer, Sebastian et al. |
2023 |
| 3 |
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation) |
André, Étienne et al. |
2015 |
| 4 |
Frontmatter, Table of Contents, Preface, Workshop Organization |
André, Étienne et al. |
2015 |
| 5 |
OASIcs, Volume 44, SynCoP'15, Complete Volume |
André, Étienne et al. |
2015 |
| 6 |
Dynamic Clock Elimination in Parametric Timed Automata |
André, Étienne |
2013 |
