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.
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan Fundamenta Informaticae 192(3-4), sep 2024.
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan In VMCAI 2024 — Verification, Model Checking, and Abstract Interpretation, jan 2024.
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan International Journal on Software Tools for Technology Transfer 25, dec 2023.
Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan In MSR 2023 — Modélisation des Systèmes Réactifs, nov 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.
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.
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan In Petri nets 2023 — 44th International Conference on Application and Theory of Petri Nets and Concurrency, jun 2023.
Nicolas Amat, Silvano Dal Zilio In FM 2023 — 25th International Symposium on Formal Methods, mar 2023.
Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Mallet Anthony Robotics and Autonomous Systems 159, jan 2023.
