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 Rivas, Youcheng Sun In ECRTS 2023 — 35th Euromicro Conference on Real-Time Systems, jul 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 Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun Dagstuhl Artifacts Series (DARTS) 9(1), jul 2023.
Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal Zilio, Didier Le Botlan Research Report 18126, LAAS, may 2018.
Alexandre Albore, Silvano Dal Zilio, Marie De Roquemaurel, Christel Seguin, Pierre Virelizier In ERTS 2018 — 9th European Congress on Embedded Real Time Software and Systems, jan 2018.
Silvano Dal Zilio, Bernard Berthomieu, Didier Le Botlan In WATERS 2015 — 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (FMTV verification challenge), jul 2015.
Lukasz Fronc, Silvano Dal Zilio, Bernard Berthomieu In ABZ 2014: The Landing Gear Case Study — Case Study Track, 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, jun 2014.
