@conference{10902/32437,
year = {2023},
url = {https://hdl.handle.net/10902/32437},
abstract = {We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and instructions and scripts to reproduce these results smoothly.},
organization = {This work was partially supported by MCIN/ AEI /10.13039/501100011033/ FEDER "Una manera de hacer Europa" under grant PID2021-124502OB-C42 (PRESECREL) and by the AIDOaRt project, an ECSEL Joint Under-taking (JU) under grant agreement No. 101007350. Étienne André: Partially supported by the ANR-NRF French-Singaporean research program ProMiS (ANR-19-CE25-0015 / 2019 ANR NRF 0092) and ANR BisoUS (ANR-22-CE48-0012).},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH},
publisher = {35th Euromicro Conference on Real-Time Systems: ECRTS 2023, July 11-14, 2023, Vienna, Austria, Wadern, Alemania, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023},
title = {From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)},
author = {Altmeyer, Sebastian and André, Étienne and Dal Zilio, Silvano and Fejoz, Loïc and González Harbour, Michael and Graf, Susanne and Gutiérrez García, José Javier and Henia, Rafik and Le Botlan, Didier and Lipari, Giuseppe and Medina Pasaje, Julio Luis and Navet, Nicolas and Quinton, Sophie and Rivas Concepción, Juan María and Sun, Youcheng},
}