关注
Loïg Jezequel
Loïg Jezequel
Université de Nantes, LS2N
在 ls2n.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Cost-optimal factored planning: Promises and pitfalls
E Fabre, L Jezequel, P Haslum, S Thiébaux
Proceedings of the International Conference on Automated Planning and …, 2010
612010
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
53*2015
Characterization of reachable attractors using Petri net unfoldings
T Chatain, S Haar, L Jezequel, L Paulevé, S Schwoon
Computational Methods in Systems Biology: 12th International Conference …, 2014
512014
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
482019
Distributed optimal planning: an approach by weighted automata calculus
E Fabre, L Jezequel
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009
402009
Complete results for the 2016 edition of the model checking contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ...
26*
On the construction of probabilistic diagnosers
E Fabre, L Jezequel
IFAC Proceedings Volumes 43 (12), 229-234, 2010
212010
MCC’2017–the seventh model checking contest
F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, ...
Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209, 2018
182018
MCC’2015–the fifth model checking contest
F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, C Rodríguez, ...
Transactions on Petri Nets and Other Models of Concurrency XI, 262-273, 2016
152016
A#: a distributed version of A* for factored planning
L Jezequel, E Fabre
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7377-7382, 2012
142012
Factored planning: From automata to Petri nets
L Jezequel, E Fabre, V Khomenko
ACM Transactions on Embedded Computing Systems (TECS) 14 (2), 1-25, 2015
102015
Turbo planning
L Jezequel, E Fabre
IFAC Proceedings Volumes 45 (29), 301-306, 2012
82012
Lazy reachability analysis in distributed systems
L Jezequel, D Lime
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
72016
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
F Kordon, LM Hillah, F Hulin-Hubard, L Jezequel, E Paviot-Adet
International Journal on Software Tools for Technology Transfer 23 (6), 931-952, 2021
52021
Distributed computation of vector clocks in Petri nets unfolding for test selection
L Jezequel, A Madalinski, S Schwoon
IFAC-PapersOnLine 51 (7), 106-111, 2018
52018
Networks of automata with read arcs: a tool for distributed planning
L Jezequel, E Fabre
IFAC Proceedings Volumes 44 (1), 7012-7017, 2011
42011
The model checking contest (2019)
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, L Jézéquel, ...
URL https://mcc. lip6. fr, 0
4
Pomset bisimulation and unfolding for reset Petri nets
T Chatain, M Comlan, D Delfieu, L Jezequel, OH Roux
Information and Computation 283, 104674, 2022
32022
An algorithm for single-source shortest paths enumeration in parameterized weighted graphs
B Sérée, L Jezequel, D Lime
Language and Automata Theory and Applications: 15th International Conference …, 2021
32021
Computation of summaries using net unfoldings
J Esparza, L Jezequel, S Schwoon
arXiv preprint arXiv:1310.2143, 2013
32013
系统目前无法执行此操作,请稍后再试。
文章 1–20