New Structural Invariants for Petri Nets Analysis. - Jean-Michel Couvreur; Emmanuel Paviot-Adet (Application and Theory of Petri Nets, 1994)

A Survey: Applying Formal Methods to a Software Intensive System. - Adriaan de Groot; Jozef Hooman; Fabrice Kordon; Emmanuel Paviot-Adet; Isabelle Vernier-Mounier; Michel Lemoine; Gervais Gaudiére; Victor L. Winter; Deepak Kapur (HASE, 2001)

Data Decision Diagrams for Petri Net Analysis. - Jean-Michel Couvreur; Emmanuelle Encrenaz; Emmanuel Paviot-Adet; Denis Poitrenaud; Pierre-André Wacrenier (ICATPN, 2002)

An agent-oriented framework for controlling and monitoring manufacturing system. - Insaf Tnazefti-Kerkeni; Luciana Arantes; Emmanuel Paviot-Adet (ISIC, 2003)

Modeling and verifying behavioral aspects. - François Breant; Jean-Michel Couvreur; Frédéric Gilliers; Fabrice Kordon; Isabelle Mounier; Emmanuel Paviot-Adet; Denis Poitrenaud; Dan Marius Regep; Grégoire Sutre (Formal Methods for Embedded Distributed Systems, 2004)

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. - Alexandre Hamez; Lom Hillah; Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet; Xavier Renault; Yann Thierry-Mieg (ACSD, 2006)

Optimized Colored Nets Unfolding. - Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet (FORTE, 2006)

P-Semiflow Computation with Decision Diagrams. - Gianfranco Ciardo; Galen Mecham; Emmanuel Paviot-Adet; Min Wan (Petri Nets, 2009)

Specification of Decision Diagram Operations. - Alexandre Hamez; Steve Hostettler; Alban Linard; Alexis Marechal; Emmanuel Paviot-Adet; Matteo Risoldi (ACSD/Petri Nets Workshops, 2010)

polyDD: Towards a Framework Generalizing Decision Diagrams. - Alban Linard; Emmanuel Paviot-Adet; Fabrice Kordon; Didier Buchs; Samuel Charron (ACSD, 2010)

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)

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. - Silien Hong; Fabrice Kordon; Emmanuel Paviot-Adet; Sami Evangelista (Trans. Petri Nets Other Model. Concurr., 2012)

Report on the Model Checking Contest at Petri Nets 2011. - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Kai Lampka; Niels Lohmann; Emmanuel Paviot-Adet; Yann Thierry-Mieg; Harro Wimmel (Trans. Petri Nets Other Model. Concurr., 2012)

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)

Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition. - Meriem Kermani; Mahmoud Boufaïda; Emmanuel Paviot-Adet (I-ESA, 2014)

A Model to Specify Inter-company Cooperation. - Meriem Kermani; Mahmoud Boufaïda; Emmanuel Paviot-Adet (WEBIST (1), 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)

LTL Under Reductions with Weaker Conditions Than Stutter Invariance. - Emmanuel Paviot-Adet; Denis Poitrenaud; Etienne Renault; Yann Thierry-Mieg (FORTE, 2022)

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)

A model-checker exploiting structural reductions even with stutter sensitive LTL. - Yann Thierry-Mieg; Etienne Renault; Emmanuel Paviot-Adet; Denis Poitrenaud (Sci. Comput. Program., 2024)

Structural Reductions and Stutter Sensitive Properties. - Emmanuel Paviot-Adet; Denis Poitrenaud; Etienne Renault; Yann Thierry-Mieg (Log. Methods Comput. Sci., 2025)