Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Loig JEZEQUEL

ENSEIGNANT-CHERCHEUR


Equipe : STR.

: Loig.Jezequelatls2n.fr

: +33 (0)2 40 30 60 72

Page pro : http://pagesperso.ls2n.fr/~jezequel-l/

Adresse :




Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] L. Jezequel, A. Madalinski, S. Schwoon. Distributed computation of vector clocks in Petri net unfoldings for test selection. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2020.
      https://hal.archives-ouvertes.fr/hal-02560296
    • [2] F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, C. Rodríguez, F. Hulin-Hubard. MCC’2015 – The Fifth Model Checking Contest. In LNCS Transactions on Petri Nets and Other Models of Concurrency ; éd. Springer, 2016, vol. 9930.
      https://hal.inria.fr/hal-01361274
    • [3] L. Jezequel, E. Fabre, V. Khomenko. Factored Planning: From Automata to Petri Nets. In ACM Transactions on Embedded Computing Systems (TECS) ; éd. ACM, 2015, vol. 14, num. 2.
      https://hal.inria.fr/hal-01247347
    • [4] L. Jezequel, E. Fabre. Factored Cost-Optimal Planning Using Message Passing Algorithms. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2015, vol. 139, num. 4.
      https://hal.inria.fr/hal-01247346

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [5] E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. Gallà, L. Hillah, F. Hulin-Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot-Adet, J. Srba, Y. Thierry-Mieg, T. van Dijk, K. Wolf. Presentation of the 9th Edition of the Model Checking Contest. In Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, avril 2019, Prague, République tchèque.
      https://hal.sorbonne-universite.fr/hal-02094047
    • [6] L. Jezequel, T. Chatain, M. Comlan, D. Delfieu, O. Roux. Pomsets and Unfolding of Reset Petri Nets. In LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, avril 2018, Ramat Gan, Israël.In Shmuel Tomi Klein (éds.), . Springer, 2018.
      https://hal.archives-ouvertes.fr/hal-01766530
    • [7] L. Jezequel, D. Lime. Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata. In 15th International Conference on Formal Modeling and Analysis of Timed Systems, septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01699301
    • [9] L. Jezequel, J. Esparza. Message-Passing Algorithms for the Verification of Distributed Protocols. In 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014), janvier 2014, San Diego, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01699321
    • [10] T. Chatain, S. Haar, L. Jezequel, L. Paulevé, S. Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings. In CMSB 2014, novembre 2014, Manchester, Royaume-Uni.In Pedro Mendes (éds.), . Springer International Publishing, 2014.
      https://hal.archives-ouvertes.fr/hal-01060450
    • [11] J. Esparza, L. Jezequel, S. Schwoon. Computation of summaries using net unfoldings. In 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), 2013, Guwahati, Inde.
      https://hal.archives-ouvertes.fr/hal-00925457
    • [12] L. Jezequel, E. Fabre, V. Khomenko. Factored Planning: From Automata to Petri Nets. In International Conference on Application of Concurrency to System Design (ACSD), juillet 2013, Barcelone, Espagne.
      https://hal.inria.fr/hal-00931844
    • [14] L. Jezequel, E. Fabre. A#: A distributed version of A* for factored planning. In CDC 2012 - IEEE 51st Annual Conference on Decision and Control, décembre 2012, Maui, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01699341
    • [16] E. Fabre, L. Jezequel, P. Haslum, S. Thiébaux. Cost-Optimal Factored Planning: Promises and Pitfalls. In ICAPS 2010 - 20th International Conference on Automated Planning and Scheduling), mai 2010, Toronto, Canada.
      https://hal.archives-ouvertes.fr/hal-01699599
    • [18] E. Fabre, L. Jezequel. Distributed Optimal Planning: an Approach by Weighted Automata Calculus. In 48th IEEE Conference on Decision and Control, décembre 2009, Shanghai, Chine.
      https://hal.inria.fr/hal-00931846

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [19] F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, F. Hulin-Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry-Mieg, J. Van De Pol, K. Wolf. MCC’2017 - The Seventh Model Checking Contest. In Transactions on Petri Nets and Other Models of Concurrency XIII. 11-2018
      https://hal.inria.fr/hal-01917492
    • [20] T. Brihaye, B. Delahaye, L. Jezequel, N. Markey, J. Srba. Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters. In Electronic Proceedings in Theoretical Computer Science ; éd. EPTCS, 2016, vol. 220. 31-07-2016
      https://hal.archives-ouvertes.fr/hal-02942556

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -