Log Jezequel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | LATA | An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. | Bastien Sre, Log Jezequel, Didier Lime |
| 2019 | TACAS | 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 Gjl Jensen, Log 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 | LATA | Pomsets and Unfolding of Reset Petri Nets. | Thomas Chatain, Maurice Comlan, David Delfieu, Log Jezequel, Olivier H. Roux |
| 2016 | CONCUR | Lazy Reachability Analysis in Distributed Systems. | Log Jezequel, Didier Lime |
| 2014 | VMCAI | Message-Passing Algorithms for the Verification of Distributed Protocols. | Log Jezequel, Javier Esparza |