Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

27 résultats
Page :
triés par
Image document

Distributed Optimal Planning: an Approach by Weighted Automata Calculus

 Eric Fabre , Loïg Jezequel
48th IEEE Conference on Decision and Control, Dec 2009, Shanghai, China. pp.211-216
Communication dans un congrès hal-00931846v1
Image document

Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata

 Loïg Jezequel , Didier Lime
15th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2017, Berlin, Germany
Communication dans un congrès hal-01699301v1

Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters

 Thomas Brihaye , Benoit Delahaye , Loïg Jezequel , Nicolas Markey , Jiří Srba
Electronic Proceedings in Theoretical Computer Science, 220, 2016, ⟨10.4204/EPTCS.220⟩
N°spécial de revue/special issue hal-02942556v1
Image document

On the construction of probabilistic diagnosers

 Eric Fabre , Loïg Jezequel
WODES 2010 - 10th International Workshop on Discrete Event Systems, Aug 2010, Berlin, Germany. pp.229 - 234, ⟨10.3182/20100830-3-DE-4013.00039⟩
Communication dans un congrès hal-01699592v1
Image document

Lazy Reachability Analysis in Distributed Systems

 Loïg Jezequel , Didier Lime
27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec, Canada. ⟨10.4230/LIPIcs.CONCUR.2016.17⟩
Communication dans un congrès hal-01699311v1
Image document

Factored Planning: From Automata to Petri Nets

 Loïg Jezequel , Eric Fabre , Victor Khomenko
International Conference on Application of Concurrency to System Design (ACSD), Jul 2013, Barcelone, Spain
Communication dans un congrès hal-00931844v1
Image document

Message-Passing Algorithms for the Verification of Distributed Protocols

 Loïg Jezequel , Javier Esparza
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014), Jan 2014, San Diego, United States
Communication dans un congrès hal-01699321v1

Distributed computation of vector clocks in Petri net unfoldings for test selection

 Loïg Jezequel , Agnes Madalinski , Stefan Schwoon
Discrete Event Dynamic Systems, 2020, ⟨10.1007/s10626-020-00310-4⟩
Article dans une revue hal-02560296v1
Image document

A Lazy Query Scheme for Reachability Analysis in Petri Nets

 Loïg Jezequel , Didier Lime , Bastien Sérée
International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.360-378, ⟨10.1007/978-3-030-76983-3_18⟩
Communication dans un congrès hal-03561703v1
Image document

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs

 Bastien Sérée , Loïg Jezequel , Didier Lime
Language and Automata Theory and Applications, Sep 2021, Milan, Italy. pp.279-290, ⟨10.1007/978-3-030-68195-1_22⟩
Communication dans un congrès hal-03561972v1
Image document

Networks of automata with read arcs: a tool for distributed planning

 Loïg Jezequel , Eric Fabre
18th IFAC World Congress, Aug 2011, Milan, Italy
Communication dans un congrès hal-01699586v1
Image document

Distributed cost-optimal planning

 Loïg Jezequel
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0059⟩
Thèse tel-00825026v1
Image document

A#: A distributed version of A* for factored planning

 Loïg Jezequel , Eric Fabre
CDC 2012 - IEEE 51st Annual Conference on Decision and Control, Dec 2012, Maui, United States. ⟨10.1109/CDC.2012.6426187⟩
Communication dans un congrès hal-01699341v1

Computation of summaries using net unfoldings

 Javier Esparza , Loïg Jezequel , Stefan Schwoon
33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), 2013, Guwahati, India. pp.225-236
Communication dans un congrès hal-00925457v1
Image document

Cost-Optimal Factored Planning: Promises and Pitfalls

 Eric Fabre , Loïg Jezequel , Patrik Haslum , Sylvie Thiébaux
ICAPS 2010 - 20th International Conference on Automated Planning and Scheduling), May 2010, Toronto, Canada
Communication dans un congrès hal-01699599v1
Image document

MCC’2015 – The Fifth Model Checking Contest

 Fabrice Kordon , Hubert Garavel , Lom Messan Hillah , Emmanuel Paviot-Adet , Loïg Jezequel , et al.
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩
Article dans une revue hal-01361274v1

Pomset bisimulation and unfolding for reset Petri nets

 Thomas Chatain , Maurice Comlan , David Delfieu , Loïg Jezequel , Olivier Henri Roux
Information and Computation, 2022, 283, pp.104674. ⟨10.1016/j.ic.2020.104674⟩
Article dans une revue hal-03650582v1
Image document

Turbo Planning

 Loïg Jezequel , Eric Fabre
Wodes 2012 - 11th International Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.301 - 306, ⟨10.3182/20121003-3-MX-4033.00049⟩
Communication dans un congrès hal-01699581v1
Image document

Pomsets and Unfolding of Reset Petri Nets

 Loïg Jezequel , Thomas Chatain , Maurice Comlan , David Delfieu , Olivier Henri Roux
LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel
Communication dans un congrès hal-01766530v1
Image document

A-sharp: a Distributed A-star for Factored Planning

 Loïg Jezequel , Eric Fabre
[Research Report] RR-7927, INRIA. 2012
Rapport hal-00687434v1

Factored Cost-Optimal Planning Using Message Passing Algorithms

 Loïg Jezequel , Eric Fabre
Fundamenta Informaticae, 2015, 139 (4), ⟨10.3233/FI-2015-1239⟩
Article dans une revue hal-01247346v1

Presentation of the 9th Edition of the Model Checking Contest

 Elvio Amparore , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal Zilio , Francesco Gallà , et al.
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Communication dans un congrès hal-02094047v1
Image document

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

 Fabrice Kordon , Lom Messan Hillah , Francis Hulin-Hubard , Loïg Jezequel , Emmanuel Paviot-Adet
International Journal on Software Tools for Technology Transfer, 2021, ⟨10.1007/s10009-021-00615-1⟩
Article dans une revue hal-03251314v1
Image document

Characterization of Reachable Attractors Using Petri Net Unfoldings

 Thomas Chatain , Stefan Haar , Loïg Jezequel , Loïc Paulevé , Stefan Schwoon
CMSB 2014, Nov 2014, Manchester, United Kingdom. pp.14, ⟨10.1007/978-3-319-12982-2_10⟩
Communication dans un congrès hal-01060450v1

Factored Planning: From Automata to Petri Nets

 Loïg Jezequel , Eric Fabre , Victor Khomenko
ACM Transactions on Embedded Computing Systems (TECS), 2015, 14 (2), ⟨10.1145/2656215⟩
Article dans une revue hal-01247347v1
Image document

Distributed computation of vector clocks in Petri nets unfolding for test selection

 Loïg Jezequel , Agnes Madalinski , Stefan Schwoon
Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy
Communication dans un congrès hal-01735406v1
Image document

MCC’2017 - The Seventh Model Checking Contest

 Fabrice Kordon , Hubert Garavel , Lom Hillah , Emmanuel Paviot-Adet , Loïg Jezequel , et al.
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Proceedings/Recueil des communications hal-01917492v1
Page :