Loïg Jezequel

According to our database, Loïg Jezequel authored at least 22 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Pomset bisimulation and unfolding for reset Petri nets.

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux

Inf. Comput., 2022

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

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs.

Bastien Sérée, Loïg Jezequel, Didier Lime

Proceedings of the Language and Automata Theory and Applications, 2021

A Lazy Query Scheme for Reachability Analysis in Petri Nets.

Loïg Jezequel, Didier Lime, Bastien Sérée

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Distributed computation of vector clocks in Petri net unfoldings for test selection.

Loïg Jezequel, Agnes Madalinski, Stefan Schwoon

Discret. Event Dyn. Syst., 2020

2019

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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

Pomsets and Unfolding of Reset Petri Nets.

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux

Proceedings of the Language and Automata Theory and Applications, 2018

2017

Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata.

Loïg Jezequel, Didier Lime

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

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

Lazy Reachability Analysis in Distributed Systems.

Loïg Jezequel, Didier Lime

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Factored Planning: From Automata to Petri Nets.

Loïg Jezequel, Eric Fabre, Victor Khomenko

ACM Trans. Embed. Comput. Syst., 2015

Factored Cost-Optimal Planning Using Message Passing Algorithms.

Loïg Jezequel, Eric Fabre

Fundam. Informaticae, 2015

2014

Message-Passing Algorithms for the Verification of Distributed Protocols.

Loïg Jezequel, Javier Esparza

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Characterization of Reachable Attractors Using Petri Net Unfoldings.

Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Computation of Summaries Using Net Unfoldings.

Javier Esparza, Loïg Jezequel, Stefan Schwoon

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Distributed cost-optimal planning. (Planification optimale distribuée).

Loïg Jezequel

PhD thesis, 2012

Turbo planning.

Loïg Jezequel, Eric Fabre

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A#: A distributed version of A* for factored planning.

Loïg Jezequel, Eric Fabre

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010

On the construction of probabilistic diagnosers.

Eric Fabre, Loïg Jezequel

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Cost-Optimal Factored Planning: Promises and Pitfalls.

Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009

Distributed optimal planning: an approach by weighted automata calculus.

Eric Fabre, Loïg Jezequel

Proceedings of the 48th IEEE Conference on Decision and Control, 2009