Last updated on March 6, 2021

Journal papers

  1. Fabrice Kordon, Loïg Jezequel, Emmanuel Paviot-Adet, Francis Hulin-Hubard, and Lom Messan Hillah A Survey on Current Model Checking Techniques Based on a Multi-annual Analysis of the Results of the Model Checking Contest, STTT, to appear
  2. Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, and Olivier Roux, Pomset Bisimulation and Unfolding for Reset Petri Nets, Information and Computation, 2020
  3. Loïg Jezequel, Agnes Madalinski, and Stefan Schwoon, Distributed Computation of Vector Clocks in Petri Net Unfoldings for Test Selection, JDEDS, 2020
  4. Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter G. Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jiří Srba, Yann Thierry-Mieg, Jaco van de Pol, and Karsten Wolf, MCC'2017 — The Seventh Model Checking Contest, LNCS Transactions on Petri Nets and Other Models of Concurrency, 2018 [paper]
  5. Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, and Francis Hulin-Hubard, MCC'2015 — The Fifth Model Checking Contest, LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016 [paper]
  6. Loïg Jezequel and Eric Fabre, Factored Cost-Optimal Planning Using Message Passing Algorithms, Fundamenta Informaticæ, 2015 (long version of our CDC'09 paper with some new results) [paper]
  7. Loïg Jezequel, Eric Fabre, and Victor Khomenko, Factored Planning: From Automata to Petri Nets, ACM Transactions on Embedded Computing special issue on Application of Concurrency to System Design, 2015 (long version of our ACSD'13 paper with new experimental results) [paper]

Papers in proceedings of international conferences

  1. Loïg Jezequel, Didier Lime, and Bastien Serée Lazy Reachability Analysis in Petri nets, 42nd International Conference on Application and Theory of Petri Nets and Concurrency, 2021, to appear
  2. Bastien Serée, Loïg Jezequel, and Didier Lime, A Shortest Path Algorithm for Parametric Graphs, 14th-15th International Conference on Language and Automata Theory and Applications, 2021, to appear
  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, and Karsten Wolf, Presentation of the 9th Edition of the Model Checking Contest, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2019
  4. Loïg Jezequel, Agnes Madalinski, and Stefan Schwoon, Distributed Computation of Vector Clocks in Petri Nets Unfolding for Test Selection, 14th Workshop on Discrete Event Systems, 2018, [paper|talk]
  5. Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, and Olivier H. Roux, Pomsets and Unfolding of Reset Petri Nets, 12th International Conference on Language and Automata Theory and Applications, 2018 [paper]
  6. Loïg Jezequel and Didier Lime, Let's Be Lazy, We Have Time; or Lazy Reachability Analysis For Timed Automata, 15th International Conference on Formal Modelling and Analysis of Timed Systems, 2017 [paper|talk]
  7. Loïg Jezequel and Didier Lime, Lazy Reachability Analysis in Distributed Systems, 27th International Conference on Concurrency Theory, 2016 [paper|talk]
  8. Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, and Stefan Schwoon, Characterization of reachable attractors using Petri net unfoldings, 12th Conference on Computational Methods in Systems Biology, 2014 [paper]
  9. Loïg Jezequel and Javier Esparza, Message Passing Algorithms for the Verification of Distributed Protocols, 15th International Conference on Verification, Model Checking, and Abstract Interpretation, 2014 [paper|talk]
  10. Javier Esparza, Loïg Jezequel, and Stefan Schwoon, Computation of summaries using net unfoldings, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013 [paper|talk]
  11. Loïg Jezequel, Eric Fabre, and Victor Khomenko, Factored Planning: From Automata to Petri Nets, 13th International Conference on Application of Concurrency to System Design, 2013 [paper|talk]
  12. Loïg Jezequel and Eric Fabre, A#: a distributed version of A* for factored planning, 51st IEEE Conference on Decision and Control, 2012 [paper]
  13. Loïg Jezequel and Eric Fabre, Turbo planning, 11th International Workshop on Discrete Event Systems, 2012 [paper|talk]
  14. Loïg Jezequel and Eric Fabre, Networks of automata with read arcs: a tool for distributed planning, 18th IFAC World Congress, 2011 [paper|talk]
  15. Eric Fabre and Loïg Jezequel, On the construction of probabilistic diagnosers, 10th International Workshop on Discrete Event Systems, 2010 [paper]
  16. Eric Fabre, Loïg Jezequel, Patrik Haslum, and Sylvie Thiébaux, Cost-Optimal Factored Planning: Promises and Pitfalls, 20th International Conference on Automated Planning and Scheduling, 2010 [paper|talk]
  17. Eric Fabre and Loïg Jezequel, Distributed optimal planning: an approach by weighted automata calculus, 48th IEEE Conference on Decision and Control, 2009 [paper]

Talks at Workshops without proceedings

  1. Loïg Jezequel and Eric Fabre, Distributed Optimal Planning, Workshop on Algorithmic Game Theory: Dynamics and Convergence in Distributed Systems, 2011 [talk]
  2. Dietmar Berwanger and Loïg Jezequel, Summarising Game Segments, Annual Workshop of the ESF Networking Programme on Games for Design and Verification, 2009 [abstract|talk]

Proceedings

  1. Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, and Jirí Srba, Proceedings of the Cassting Workshop on Games for the Synthesis of Complex Systems and of the 3rd International Workshop on Synthesis of Complex Parameters, 2016

Research reports and other documents

  1. Javier Esparza, Loïg Jezequel, and Stefan Schwoon, Computation of summaries using net unfoldings, arXiv, 2013 [arXiv:1310.2143] (long version with proofs of our FSTTCS'13 paper)
  2. Loïg Jezequel, Distributed Cost-Optimal Planning, Phd Thesis, 2012 [manuscript|talk]
  3. Loïg Jezequel and Eric Fabre, A-sharp: a distributed version of A-star for factored planning, INRIA research report RR-7927, 2012 [manuscript]