Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Loig JEZEQUEL

ENSEIGNANT-CHERCHEUR


: Loig.Jezequelatls2n.fr

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

Adresses :

Institut universitaire de technologie de Nantes ( IUT Nantes )
La Fleuriaye
2, avenue du Pr Jean Rouxel
BP 539
44475 CARQUEFOU Cedex

Batiment 15, étage 1, bureau D113


Batiment S, étage 5, bureau 508



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] T. Chatain, M. Comlan, D. Delfieu, L. Jezequel, O. Roux. Pomset bisimulation and unfolding for reset Petri nets. In Information and Computation ; éd. Elsevier, 2022, vol. 283.
      https://hal.science/hal-03650582
    • [2] F. Kordon, L. Hillah, F. Hulin-Hubard, L. Jezequel, E. Paviot-Adet. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2021.
      https://hal.sorbonne-universite.fr/hal-03251314
    • [3] 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
    • [4] 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
    • [5] 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
    • [6] 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)

    • [7] L. Jezequel, D. Lime, B. Sérée. A Lazy Query Scheme for Reachability Analysis in Petri Nets. In International Conference on Applications and Theory of Petri Nets and Concurrency, juin 2021, Paris, France.
      https://hal.science/hal-03561703
    • [8] B. Sérée, L. Jezequel, D. Lime. An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. In Language and Automata Theory and Applications, septembre 2021, Milan, Italie.
      https://hal.science/hal-03561972
    • [9] 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
    • [10] L. Jezequel, A. Madalinski, S. Schwoon. Distributed computation of vector clocks in Petri nets unfolding for test selection. In Workshop on Discrete Event Systems (WODES), mai 2018, Sorrento, Italie.
      https://hal.inria.fr/hal-01735406
    • [11] 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
    • [12] 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.science/hal-01699301
    • [13] L. Jezequel, D. Lime. Lazy Reachability Analysis in Distributed Systems. In 27th International Conference on Concurrency Theory (CONCUR 2016), août 2016, Québec, Canada.
      https://hal.science/hal-01699311
    • [14] 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.science/hal-01699321
    • [15] 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.science/hal-01060450
    • [16] 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.science/hal-00925457
    • [17] 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
    • [18] L. Jezequel, E. Fabre. Turbo Planning. In Wodes 2012 - 11th International Workshop on Discrete Event Systems, octobre 2012, Guadalajara, Mexique.
      https://hal.science/hal-01699581
    • [19] 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.science/hal-01699341
    • [20] L. Jezequel, E. Fabre. Networks of automata with read arcs: a tool for distributed planning. In 18th IFAC World Congress, août 2011, Milan, Italie.
      https://hal.science/hal-01699586
    • [21] 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
    • [22] E. Fabre, L. Jezequel. On the construction of probabilistic diagnosers. In WODES 2010 - 10th International Workshop on Discrete Event Systems, août 2010, Berlin, Allemagne.
      https://hal.science/hal-01699592
    • [23] 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

Theses et HDR (THESE)

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -