Loïg Jezequel

ORCID

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 13

Top Venues

LATA

Trans. Petri Nets Other Model. Concurr.

ACM Trans. Embed. Comput. Syst.

Petri Nets

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux
Pomset bisimulation and unfolding for reset Petri nets. Inf. Comput. 283 (2022)
Loïg Jezequel, Didier Lime, Bastien Sérée
A Lazy Query Scheme for Reachability Analysis in Petri Nets. Petri Nets (2021)
Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Bastien Sérée, Loïg Jezequel, Didier Lime
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. LATA (2021)
Loïg Jezequel, Agnes Madalinski, Stefan Schwoon
Distributed computation of vector clocks in Petri net unfoldings for test selection. Discret. Event Dyn. Syst. 30 (3) (2020)
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
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux
Pomsets and Unfolding of Reset Petri Nets. LATA (2018)
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
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Loïg Jezequel, Didier Lime
Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. FORMATS (2017)
Loïg Jezequel, Didier Lime
Lazy Reachability Analysis in Distributed Systems. CONCUR (2016)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Loïg Jezequel, Eric Fabre, Victor Khomenko
Factored Planning: From Automata to Petri Nets. ACM Trans. Embed. Comput. Syst. 14 (2) (2015)
Loïg Jezequel, Eric Fabre
Factored Cost-Optimal Planning Using Message Passing Algorithms. Fundam. Informaticae 139 (4) (2015)
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB (2014)
Loïg Jezequel, Javier Esparza
Message-Passing Algorithms for the Verification of Distributed Protocols. VMCAI (2014)
Javier Esparza, Loïg Jezequel, Stefan Schwoon
Computation of Summaries Using Net Unfoldings. FSTTCS (2013)
Javier Esparza, Loïg Jezequel, Stefan Schwoon
Computation of Summaries Using Net Unfoldings. CoRR (2013)
Loïg Jezequel, Eric Fabre, Victor Khomenko
Factored Planning: From Automata to Petri Nets. ACSD (2013)
Loïg Jezequel, Eric Fabre
Turbo planning. WODES (2012)
Loïg Jezequel, Eric Fabre
A#: A distributed version of A* for factored planning. CDC (2012)
Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux
Cost-Optimal Factored Planning: Promises and Pitfalls. ICAPS (2010)
Eric Fabre, Loïg Jezequel
On the construction of probabilistic diagnosers. WODES (2010)
Eric Fabre, Loïg Jezequel
Distributed optimal planning: an approach by weighted automata calculus. CDC (2009)

Loïg Jezequel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Loïg Jezequel