Nicolas Amat, Elvio Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jiří Srba, Yann Thierry-Mieg, Karsten Wolf In TOOLympics Challenge 2023 — Updates, Results, Successes of the Formal-Methods Competitions, nov 2024.
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.
Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew Miner, Emmanuel Paviot-Adet, Jiří Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf In TACAS 2019 — Tools and Algorithms for the Construction and Analysis of Systems, apr 2019.
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio International Journal on Software Tools for Technology Transfer (STTT) :1—19, apr 2019.
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio In SPIN 2018 — International Symposium on Model Checking Software, jun 2018.
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet In FormaliSE — 6th International Conference on Formal Methods in Software Engineering, jun 2018.
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat Science of Computer Programming 132(2):209—225, aug 2016.
Silvano Dal Zilio, Bernard Berthomieu In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.
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.
