| 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 | 61 | 2010 |
| 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 | 53 | 2014 |
| 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 | 52 | 2019 |
| 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 | 40 | 2009 |
| 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 | 21 | 2010 |
| 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 | 18 | 2018 |
| 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 | 15 | 2016 |
| 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 | 14 | 2012 |
| 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 | 10 | 2015 |
| Turbo planning L Jezequel, E Fabre IFAC Proceedings Volumes 45 (29), 301-306, 2012 | 8 | 2012 |
| Lazy reachability analysis in distributed systems L Jezequel, D Lime 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 7 | 2016 |
| 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 | 6 | 2021 |
| 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 | 5 | 2018 |
| Networks of automata with read arcs: a tool for distributed planning L Jezequel, E Fabre IFAC Proceedings Volumes 44 (1), 7012-7017, 2011 | 4 | 2011 |
| 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 | 3 | 2022 |
| 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 | 3 | 2021 |
| Computation of summaries using net unfoldings J Esparza, L Jezequel, S Schwoon arXiv preprint arXiv:1310.2143, 2013 | 3 | 2013 |
Lom HillahLaboratoire d'informatique de Paris 6Email confirmado em lip6.fr
