CosyVerif: An Open Source Extensible Verification Environment. - Étienne André; Yousra Lembachar; Laure Petrucci; Francis Hulin-Hubard; Alban Linard; Lom Hillah; Fabrice Kordon (ICECCS, 2013)

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. - Étienne André; Benoît Barbot; Clement Demoulins; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Kordon; Alban Linard; Laure Petrucci (ICFEM, 2013)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - Fabrice Kordon; Alban Linard; Marco Beccuti; Didier Buchs; Lukasz Fronc; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Legond-Aubry; Niels Lohmann; Alexis Marechal; Emmanuel Paviot-Adet; Franck Pommereau; et al. (CoRR, 2013)

BenchKit, a Tool for Massive Concurrent Benchmarking. - Fabrice Kordon; Francis Hulin-Hubard (ACSD, 2014)

MCC'2015 - The Fifth Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; César Rodríguez; Francis Hulin-Hubard (Trans. Petri Nets Other Model. Concurr., 2016)

MCC'2017 - The Seventh Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; Francis Hulin-Hubard; Elvio Gilberto Amparore; Marco Beccuti; Bernard Berthomieu; Hugues Evrard; Peter Gjøl Jensen; Didier Le Botlan; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Presentation of the 9th Edition of the Model Checking Contest. - Elvio Gilberto 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; et al. (TACAS (3), 2019)

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. - Fabrice Kordon; Lom-Messan Hillah; Francis Hulin-Hubard; Loïg Jezequel; Emmanuel Paviot-Adet (Int. J. Softw. Tools Technol. Transf., 2021)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. 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; et al. (TOOLympics@ETAPS, 2023)

CosyVerif: The Path to Formalisms Cohabitation. - Étienne André; Jaime Arias 001; Benoît Barbot; Francis Hulin-Hubard; Fabrice Kordon; Van-François Le; Laure Petrucci (Petri Nets, 2024)