×

zbMATH — the first resource for mathematics

Leroux, Jérôme

Compute Distance To:
Author ID: leroux.jerome Recent zbMATH articles by "Leroux, Jérôme"
Published as: Leroux, J.; Leroux, Jerome; Leroux, Jérôme
Homepage: https://www.labri.fr/perso/leroux/
External Links: dblp
Documents Indexed: 54 Publications since 2002, including 2 Books

Publications by Year

Citations contained in zbMATH

41 Publications have been cited 164 times in 109 Documents Cited by Year
How to compose Presburger-accelerations: Applications to broadcast protocols. Zbl 1027.68616
Finkel, Alain; Leroux, Jérôme
25
2002
Demystifying reachability in vector addition systems. Zbl 1392.68308
Leroux, Jerome; Schmitz, Sylvain
17
2015
Flat counter automata almost everywhere! Zbl 1170.68519
Leroux, Jérôme; Sutre, Grégoire
17
2005
Flat acceleration in symbolic model checking. Zbl 1170.68507
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme; Schnoebelen, Philippe
11
2005
Vector addition system reachability problem, a short self-contained proof. Zbl 1284.68429
Leroux, Jérôme
8
2011
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
6
2012
Accelerated data-flow analysis. Zbl 1211.68093
Leroux, Jérôme; Sutre, Grégoire
6
2007
Coverability trees for Petri nets with unordered data. Zbl 06591835
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick
5
2016
Presburger vector addition systems. Zbl 1366.68209
Leroux, Jérôme
5
2013
On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071
Leroux, Jérôme; Sutre, Grégoire
5
2004
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
4
2017
Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
4
2014
Interpolating quantifier-free Presburger arithmetic. Zbl 1306.68148
Kroening, Daniel; Leroux, Jérôme; Rümmer, Philipp
4
2010
TaPAS: the talence Presburger arithmetic suite. Zbl 1234.03002
Leroux, Jérôme; Point, Gérald
4
2009
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
3
2015
Vector addition system reversible reachability problem. Zbl 1343.68173
Leroux, Jérôme
3
2011
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
3
2010
A generalization of Semenov’s theorem to automata over real numbers. Zbl 1250.03061
Boigelot, Bernard; Brusten, Julien; Leroux, Jérôme
3
2009
Faster acceleration of counter automata in practice. Zbl 1126.68452
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme
3
2004
The reachability problem for Petri nets is not elementary. Zbl 1433.68245
Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip
2
2019
Ideal decompositions for vector addition systems (invited talk). Zbl 1388.68199
Leroux, Jérôme; Schmitz, Sylvain
2
2016
On boundedness problems for pushdown vector addition systems. Zbl 06798770
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
2
2015
Vector addition system reversible reachability problem. Zbl 1260.68271
Leroux, Jérôme
2
2013
Model checking vector addition systems with one zero-test. Zbl 1242.68196
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
2
2012
Polynomial precise interval analysis revisited. Zbl 1258.65048
Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
2
2009
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
1
2017
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
1
2016
Guiding Craig interpolation with domain-specific abstractions. Zbl 1344.68139
Leroux, Jérôme; Rümmer, Philipp; Subotić, Pavle
1
2016
On the coverability problem for pushdown vector addition systems in one dimension. Zbl 1440.68177
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
1
2015
The context-freeness problem is coNP-complete for flat counter systems. Zbl 1448.68270
Leroux, Jérôme; Penelle, Vincent; Sutre, Grégoire
1
2014
On functions weakly computable by Petri nets and vector addition systems. Zbl 1448.68346
Leroux, J.; Schnoebelen, Ph.
1
2014
On the context-freeness problem for vector addition systems. Zbl 1366.68210
Leroux, Jérôme; Penelle, Vincent; Sutre, Gregoire
1
2013
Acceleration for Petri nets. Zbl 1410.68254
Leroux, Jérôme
1
2013
A relational trace logic for vector addition systems with application to context-freeness. Zbl 1390.68478
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
1
2013
Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
1
2010
The general vector addition system reachability problem by Presburger inductive invariants. Zbl 1208.68161
Leroux, Jérôme
1
2010
Structural Presburger digit vector automata. Zbl 1155.68045
Leroux, Jérôme
1
2008
Accelerating interpolation-based model-checking. Zbl 1134.68400
Caniart, Nicolas; Fleury, Emmanuel; Leroux, Jérôme; Zeitoun, Marc
1
2008
Acceleration in convex data-flow analysis. Zbl 1135.68369
Leroux, Jérôme; Sutre, Grégoire
1
2007
The convex hull of a regular set of integer vectors is polyhedral and effectively computable. Zbl 1184.68634
Finkel, Alain; Leroux, Jérôme
1
2005
The affine hull of a binary automaton is computable in polynomial time. Zbl 1271.68126
Leroux, Jérôme
1
2004
The reachability problem for Petri nets is not elementary. Zbl 1433.68245
Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip
2
2019
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
4
2017
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
1
2017
Coverability trees for Petri nets with unordered data. Zbl 06591835
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick
5
2016
Ideal decompositions for vector addition systems (invited talk). Zbl 1388.68199
Leroux, Jérôme; Schmitz, Sylvain
2
2016
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
1
2016
Guiding Craig interpolation with domain-specific abstractions. Zbl 1344.68139
Leroux, Jérôme; Rümmer, Philipp; Subotić, Pavle
1
2016
Demystifying reachability in vector addition systems. Zbl 1392.68308
Leroux, Jerome; Schmitz, Sylvain
17
2015
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
3
2015
On boundedness problems for pushdown vector addition systems. Zbl 06798770
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
2
2015
On the coverability problem for pushdown vector addition systems in one dimension. Zbl 1440.68177
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
1
2015
Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
4
2014
The context-freeness problem is coNP-complete for flat counter systems. Zbl 1448.68270
Leroux, Jérôme; Penelle, Vincent; Sutre, Grégoire
1
2014
On functions weakly computable by Petri nets and vector addition systems. Zbl 1448.68346
Leroux, J.; Schnoebelen, Ph.
1
2014
Presburger vector addition systems. Zbl 1366.68209
Leroux, Jérôme
5
2013
Vector addition system reversible reachability problem. Zbl 1260.68271
Leroux, Jérôme
2
2013
On the context-freeness problem for vector addition systems. Zbl 1366.68210
Leroux, Jérôme; Penelle, Vincent; Sutre, Gregoire
1
2013
Acceleration for Petri nets. Zbl 1410.68254
Leroux, Jérôme
1
2013
A relational trace logic for vector addition systems with application to context-freeness. Zbl 1390.68478
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
1
2013
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
6
2012
Model checking vector addition systems with one zero-test. Zbl 1242.68196
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
2
2012
Vector addition system reachability problem, a short self-contained proof. Zbl 1284.68429
Leroux, Jérôme
8
2011
Vector addition system reversible reachability problem. Zbl 1343.68173
Leroux, Jérôme
3
2011
Interpolating quantifier-free Presburger arithmetic. Zbl 1306.68148
Kroening, Daniel; Leroux, Jérôme; Rümmer, Philipp
4
2010
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
3
2010
Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
1
2010
The general vector addition system reachability problem by Presburger inductive invariants. Zbl 1208.68161
Leroux, Jérôme
1
2010
TaPAS: the talence Presburger arithmetic suite. Zbl 1234.03002
Leroux, Jérôme; Point, Gérald
4
2009
A generalization of Semenov’s theorem to automata over real numbers. Zbl 1250.03061
Boigelot, Bernard; Brusten, Julien; Leroux, Jérôme
3
2009
Polynomial precise interval analysis revisited. Zbl 1258.65048
Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
2
2009
Structural Presburger digit vector automata. Zbl 1155.68045
Leroux, Jérôme
1
2008
Accelerating interpolation-based model-checking. Zbl 1134.68400
Caniart, Nicolas; Fleury, Emmanuel; Leroux, Jérôme; Zeitoun, Marc
1
2008
Accelerated data-flow analysis. Zbl 1211.68093
Leroux, Jérôme; Sutre, Grégoire
6
2007
Acceleration in convex data-flow analysis. Zbl 1135.68369
Leroux, Jérôme; Sutre, Grégoire
1
2007
Flat counter automata almost everywhere! Zbl 1170.68519
Leroux, Jérôme; Sutre, Grégoire
17
2005
Flat acceleration in symbolic model checking. Zbl 1170.68507
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme; Schnoebelen, Philippe
11
2005
The convex hull of a regular set of integer vectors is polyhedral and effectively computable. Zbl 1184.68634
Finkel, Alain; Leroux, Jérôme
1
2005
On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071
Leroux, Jérôme; Sutre, Grégoire
5
2004
Faster acceleration of counter automata in practice. Zbl 1126.68452
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme
3
2004
The affine hull of a binary automaton is computable in polynomial time. Zbl 1271.68126
Leroux, Jérôme
1
2004
How to compose Presburger-accelerations: Applications to broadcast protocols. Zbl 1027.68616
Finkel, Alain; Leroux, Jérôme
25
2002
all top 5

Cited by 191 Authors

9 Demri, Stéphane P.
9 Finkel, Alain
8 Leroux, Jérôme
4 Hofman, Piotr
4 Kröning, Daniel
4 Sangnier, Arnaud
4 Schmitz, Sylvain
3 Atig, Mohamed Faouzi
3 Bertrand, Nathalie
3 Bultan, Tevfik
3 Chistikov, Dmitry V.
3 Esparza, Javier
3 Goubault-Larrecq, Jean
3 Habermehl, Peter
3 Lasota, Sławomir
3 Lazić, Ranko
3 Majumdar, Rupak
3 Ouaknine, Joel O.
3 Rümmer, Philipp
3 Schnoebelen, Philippe
3 Sutre, Grégoire
3 Totzke, Patrick
3 Veith, Helmut
3 Worrell, James B.
2 Alberti, Francesco
2 Alechina, Natasha
2 Basu, Samik
2 Blondin, Michael
2 Bollig, Benedikt
2 Bouissou, Olivier
2 Bozzelli, Laura
2 Chakraborty, Supratik
2 Chambart, Pierre
2 Chapoutot, Alexandre
2 Charlier, Emilie
2 Czerwiński, Wojciech
2 Decker, Normann
2 Dewaskar, Miheer
2 Dhar, Amit Kumar
2 Ganty, Pierre
2 Gawlitza, Thomas Martin
2 Genest, Blaise
2 Ghilardi, Silvio
2 Gimbert, Hugo
2 Goubault, Eric
2 Haase, Christoph
2 Halfon, Simon
2 Iosif, Radu
2 Jančar, Petr
2 Jeannet, Bertrand
2 Konnov, Igor V.
2 Logan, Brian
2 Mayr, Richard M.
2 Pilipczuk, Michał
2 Pinchinat, Sophie
2 Praveen, M.
2 Schrammel, Peter
2 Seladji, Yassamine
2 Sharygina, Natasha
2 Thoma, Daniel
2 Wehar, Michael
2 Weissenbacher, Georg
2 Widder, Josef
1 Abdulla, Parosh Aziz
1 Adjé, Assalé
1 Aiswarya, Cyriac
1 Akshay, S.
1 Al-Bataineh, Omar
1 Aminof, Benjamin
1 Baez, John C.
1 Bersani, Marcello M.
1 Best, Eike
1 Biere, Armin
1 Boichut, Yohan
1 Bouchy, Florent
1 Bozga, Marius
1 Brázdil, Tomáš
1 Brijder, Robert
1 Brillout, Angelo
1 Bulling, Nils
1 Cai, Xiaojuan
1 Cantin, François
1 Carotenuto, Dario
1 Cécé, Gérard
1 Chatterjee, Krishnendu
1 Clemente, Lorenzo
1 Das, Ankush
1 Dimitrova, Rayna
1 Dong, Xiaoju
1 Doty, David
1 D’Souza, Deepak
1 Encrenaz, Emmanuelle
1 Enea, Constantin
1 French, Tim
1 Fu, Yuxi
1 Gascon, Régis
1 Gaubert, Stéphane
1 Gîrlea, Codruţa
1 Godbole, Adwait Amit
1 Griggio, Alberto
...and 91 more Authors

Citations by Year