Towards a Certified Petri Net Model-Checker. - Lukasz Fronc; Franck Pommereau (APLAS, 2011)

Raw Report on the Model Checking Contest at Petri Nets 2012 - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Lukasz Fronc; Lom-Messan Hillah; Niels Lohmann; Emmanuel Paviot-Adet; Franck Pommereau; Christian Rohr; Yann Thierry-Mieg; et al. (CoRR, 2012)

Effective Marking Equivalence Checking in Systems with Dynamic Process Creation - Lukasz Fronc (Infinity, 2012)

Building Petri Nets Tools around Neco Compiler. - Lukasz Fronc; Franck Pommereau (PNSE+ModPE, 2013)

LTL Model Checking with Neco. - Lukasz Fronc; Alexandre Duret-Lutz (ATVA, 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)

Compilation de réseaux de Petri : modèles haut niveau et symétries de processus. (Compilation of Petri nets : high-level models and process symmetries). - Lukasz Fronc (2013)

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. - Bernard Berthomieu; Silvano Dal-Zilio; Lukasz Fronc (ABZ (Case Study), 2014)

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. - Bernard Berthomieu; Silvano Dal-Zilio; Lukasz Fronc; François Vernadat 001 (FORMATS, 2014)