Follow
Jerome Leroux
Jerome Leroux
CNRS researcher, LaBRI, France
Verified email at labri.fr
Title
Cited by
Cited by
Year
How to compose Presburger-accelerations: Applications to broadcast protocols
A Finkel, J Leroux
FST TCS 2002: Foundations of Software Technology and Theoretical Computer …, 2002
2102002
FAST: Fast acceleration of symbolic transition systems
S Bardin, A Finkel, J Leroux, L Petrucci
CAV 3, 118-121, 2003
1562003
The reachability problem for Petri nets is not elementary
W Czerwiński, S Lasota, R Lazić, J Leroux, F Mazowiecki
Journal of the ACM (JACM) 68 (1), 1-28, 2020
1342020
Flat counter automata almost everywhere!
J Leroux, G Sutre
Automated Technology for Verification and Analysis: Third International …, 2005
1272005
Vector addition system reachability problem: a short self-contained proof
J Leroux
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1082011
Flat acceleration in symbolic model checking
S Bardin, A Finkel, J Leroux, P Schnoebelen
ATVA 5, 474-488, 2005
1062005
Demystifying reachability in vector addition systems
J Leroux, S Schmitz
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 56-67, 2015
1052015
The general vector addition system reachability problem by Presburger inductive invariants
leroux jerome
Logical Methods in Computer Science 6, 2010
1042010
FAST: acceleration from theory to practice
S Bardin, A Finkel, J Leroux, L Petrucci
International Journal on Software Tools for Technology Transfer 10, 401-424, 2008
912008
The BINCOA Framework for Binary Code Analysis.
S Bardin, P Herrmann, J Leroux, O Ly, R Tabary, A Vincent
CAV, 165-170, 2011
862011
Vector addition systems reachability problem (a simpler solution)
J Leroux
752012
A polynomial time Presburger criterion and synthesis for number decision diagrams
J Leroux
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 147-156, 2005
722005
FASTer acceleration of counter automata in practice
S Bardin, A Finkel, J Leroux
Tools and Algorithms for the Construction and Analysis of Systems: 10th …, 2004
692004
Reachability in vector addition systems is primitive-recursive in fixed dimension
J Leroux, S Schmitz
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
672019
On flatness for 2-dimensional vector addition systems with states
J Leroux, G Sutre
CONCUR 4, 402-416, 2004
652004
FAST Extended Release: (Tool Paper)
S Bardin, J Leroux, G Point
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
602006
Verification of population protocols
J Esparza, P Ganty, J Leroux, R Majumdar
Acta Informatica 54 (2), 191-215, 2017
532017
Algorithmique de la vérification des systèmes à compteurs: approximation et accélération, implémentation de l'outil FAST
J Leroux
Cachan, Ecole normale supérieure, 2003
512003
Reachability analysis of communicating pushdown systems
A Heußner, J Leroux, A Muscholl, G Sutre
Foundations of Software Science and Computational Structures: 13th …, 2010
462010
Reachability analysis of communicating pushdown systems
A Heußner, J Leroux, A Muscholl, G Sutre
Foundations of Software Science and Computational Structures: 13th …, 2010
462010
The system can't perform the operation now. Try again later.
Articles 1–20