Loïg Jezequel

26 papers A* 1B 3C 2Journal 8Unranked 10

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. TOOLympics@ETAPS 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, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf
2022	J	`jnl`	Pomset bisimulation and unfolding for reset Petri nets. Inf. Comput. Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux
2021	B	`conf`	A Lazy Query Scheme for Reachability Analysis in Petri Nets. Petri Nets Loïg Jezequel, Didier Lime, Bastien Sérée
2021	C	`conf`	An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. LATA Bastien Sérée, Loïg Jezequel, Didier Lime
2021	J	`jnl`	Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transf. Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet
2020	J	`jnl`	Distributed computation of vector clocks in Petri net unfoldings for test selection. Discret. Event Dyn. Syst. Loïg Jezequel, Agnes Madalinski, Stefan Schwoon
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 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
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 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
2018	C	`conf`	Pomsets and Unfolding of Reset Petri Nets. LATA Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux
2017	—	`conf`	Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. FORMATS Loïg Jezequel, Didier Lime
2016	B	`conf`	Lazy Reachability Analysis in Distributed Systems. CONCUR Loïg Jezequel, Didier Lime
2016	J	`jnl`	MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
2016	—	`ed.`	Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. Cassting/SynCoP Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba
2015	J	`jnl`	Factored Cost-Optimal Planning Using Message Passing Algorithms. Fundam. Informaticae Loïg Jezequel, Eric Fabre
2015	J	`jnl`	Factored Planning: From Automata to Petri Nets. ACM Trans. Embed. Comput. Syst. Loïg Jezequel, Eric Fabre, Victor Khomenko
2014	—	`conf`	Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
2014	B	`conf`	Message-Passing Algorithms for the Verification of Distributed Protocols. VMCAI Loïg Jezequel, Javier Esparza
2013	—	`conf`	Computation of Summaries Using Net Unfoldings. FSTTCS Javier Esparza, Loïg Jezequel, Stefan Schwoon
2013	J	`jnl`	Computation of Summaries Using Net Unfoldings. CoRR Javier Esparza, Loïg Jezequel, Stefan Schwoon
2013	—	`conf`	Factored Planning: From Automata to Petri Nets. ACSD Loïg Jezequel, Eric Fabre, Victor Khomenko
2012	—	`conf`	A#: A distributed version of A* for factored planning. CDC Loïg Jezequel, Eric Fabre
2012	—	`—`	Distributed cost-optimal planning. (Planification optimale distribuée). Loïg Jezequel
2012	—	`conf`	Turbo planning. WODES Loïg Jezequel, Eric Fabre
2010	A*	`conf`	Cost-Optimal Factored Planning: Promises and Pitfalls. ICAPS Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux
2010	—	`conf`	On the construction of probabilistic diagnosers. WODES Eric Fabre, Loïg Jezequel
2009	—	`conf`	Distributed optimal planning: an approach by weighted automata calculus. CDC Eric Fabre, Loïg Jezequel