Distributed optimal planning: an approach by weighted automata calculus. - Eric Fabre; Loïg Jezequel (CDC, 2009)

Cost-Optimal Factored Planning: Promises and Pitfalls. - Eric Fabre; Loïg Jezequel; Patrik Haslum; Sylvie Thiébaux (ICAPS, 2010)

On the construction of probabilistic diagnosers. - Eric Fabre; Loïg Jezequel (WODES, 2010)

A#: A distributed version of A* for factored planning. - Loïg Jezequel; Eric Fabre (CDC, 2012)

Turbo planning. - Loïg Jezequel; Eric Fabre (WODES, 2012)

Distributed cost-optimal planning. (Planification optimale distribuée). - Loïg Jezequel (2012)

Computation of Summaries Using Net Unfoldings. - Javier Esparza; Loïg Jezequel; Stefan Schwoon (FSTTCS, 2013)

Characterization of Reachable Attractors Using Petri Net Unfoldings. - Thomas Chatain; Stefan Haar; Loïg Jezequel; Loïc Paulevé; Stefan Schwoon (CMSB, 2014)

Message-Passing Algorithms for the Verification of Distributed Protocols. - Loïg Jezequel; Javier Esparza (VMCAI, 2014)

Factored Cost-Optimal Planning Using Message Passing Algorithms. - Loïg Jezequel; Eric Fabre (Fundam. Informaticae, 2015)

Factored Planning: From Automata to Petri Nets. - Loïg Jezequel; Eric Fabre; Victor Khomenko (ACM Trans. Embed. Comput. Syst., 2015)

Lazy Reachability Analysis in Distributed Systems. - Loïg Jezequel; Didier Lime (CONCUR, 2016)

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)

Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. - Loïg Jezequel; Didier Lime (FORMATS, 2017)

Pomsets and Unfolding of Reset Petri Nets. - Thomas Chatain; Maurice Comlan; David Delfieu; Loïg Jezequel; Olivier H. Roux (LATA, 2018)

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)

Distributed computation of vector clocks in Petri net unfoldings for test selection. - Loïg Jezequel; Agnes Madalinski; Stefan Schwoon (Discret. Event Dyn. Syst., 2020)

A Lazy Query Scheme for Reachability Analysis in Petri Nets. - Loïg Jezequel; Didier Lime; Bastien Sérée (Petri Nets, 2021)

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. - Bastien Sérée; Loïg Jezequel; Didier Lime (LATA, 2021)

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)

Pomset bisimulation and unfolding for reset Petri nets. - Thomas Chatain; Maurice Comlan; David Delfieu; Loïg Jezequel; Olivier Henri Roux (Inf. Comput., 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)