×

zbMATH — the first resource for mathematics

Esparza, Javier

Compute Distance To:
Author ID: esparza.javier Recent zbMATH articles by "Esparza, Javier"
Published as: Esparza, Javier; Esparza, J.
Documents Indexed: 150 Publications since 1991, including 12 Books
all top 5

Co-Authors

17 single-authored
20 Kiefer, Stefan
18 Luttenberger, Michael
13 Schwoon, Stefan
11 Ganty, Pierre
10 Desel, Jörg
9 Majumdar, Rupak
8 Kucera, Antonin
7 Bouajjani, Ahmed
5 Best, Eike
5 Brázdil, Tomáš
5 Jaax, Stefan
5 Křetínský, Jan
5 Schlund, Maximilian
5 Sickert, Salomon
4 Blondin, Michael
4 Muscholl, Anca
4 Rossmanith, Peter
3 Burkart, Olaf
3 Gaiser, Andreas
3 Heljanko, Keijo
3 Jančar, Petr
3 Leroux, Jérôme
3 Walukiewicz, Igor
2 Cheng, Allan
2 Delzanno, Giorgio
2 Durand-Gasselin, Antoine
2 Fraigniaud, Pierre
2 Hoffmann, Philipp H. W.
2 Husfeldt, Thore
2 Jezequel, Loïg
2 Koutsoupias, Elias
2 Kuperberg, Denis
2 Leucker, Martin
2 Meyer, Philipp J.
2 Nielsen, Mogens
2 Palsberg, Jens
2 Podelski, Andreas
2 Raskin, Mikhail
2 Römer, Stefan
2 Saha, Ratul
2 Schröter, Claus
2 Sesma, Javier
2 Suwimonteerabuth, Dejvuth
2 Touili, Tayssir
2 Tronci, Enrico
2 Weil-Kennedy, Chana
1 Alur, Rajeev
1 Balasubramanian, A. R.
1 Bradfield, Julian Charles
1 Bruns, Glenn
1 Chen, Yu-Fang
1 Cheng, Chih-Hong
1 Cruz, Andres
1 Devillers, Raymond
1 Etessami, Kousha
1 Finkel, Alain
1 Gawlitza, Thomas Martin
1 Grumberg, Orna
1 Hansel, David
1 Jha, Sumit Kumar
1 König, Barbara
1 Král’, Daniel
1 Kreiker, Jörg
1 Lakos, Charles A.
1 López, José Luis
1 Mader, Angelika
1 Maidl, Monika
1 Maler, Oded
1 Mayr, Richard M.
1 Michaux, Christian
1 Miller, Alexander T.
1 Moller, Faron
1 Mukund, Madhavan
1 Murawski, Andrzej S.
1 Nieto, Leonor Prensa
1 Papers, Tayssir Touili
1 Raskin, Jean-François
1 Röckl, Christine
1 Seidl, Helmut
1 Spanfelner, Bernd
1 Srba, Jiří
1 Ştefănescu, Alin
1 Steinhorn, Charles I.
1 Strejček, Jan
1 Thiagarajan, Pazhamaneri Subramaniam
1 Vogler, Walter
1 Völzer, Hagen
1 Willems, Bernard
1 Wimmel, Harro
1 Wolf, Karsten
1 Wolper, Pierre

Publications by Year

Citations contained in zbMATH Open

107 Publications have been cited 804 times in 525 Documents Cited by Year
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
68
1995
Unfoldings: A partial-order approach to model checking. Zbl 1153.68035
Esparza, Javier; Heljanko, Keijo
59
2008
Decidability and complexity of Petri net problems. An introduction. Zbl 0926.68087
Esparza, Javier
44
1998
Efficient algorithms for model checking pushdown systems. Zbl 0974.68116
Esparza, Javier; Hansel, David; Rossmanith, Peter; Schwoon, Stefan
36
2000
An improvement of McMillan’s unfolding algorithm. Zbl 1017.68085
Esparza, Javier; Römer, Stefan; Vogler, Walter
32
2002
Decidability issues for Petri nets. Zbl 0791.68123
Esparza, Javier; Nielsen, Mogens
30
1994
Decidability of model checking for infinite-state concurrent systems. Zbl 0865.68046
Esparza, Javier
30
1997
Petri nets, commutative context-free grammars, and basic parallel processes. Zbl 0882.68101
Esparza, Javier
22
1997
Model checking LTL with regular valuations for pushdown systems. Zbl 1078.68081
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
22
2003
Decidability issues for Petri nets – a survey. Zbl 0838.68082
Esparza, Javier; Nielsen, Mogens
21
1994
Complexity results for 1-safe nets. Zbl 0873.68146
Cheng, Allan; Esparza, Javier; Palsberg, Jens
19
1995
A BDD-based model checker for recursive programs. Zbl 0991.68539
Esparza, Javier; Schwoon, Stefan
18
2001
Efficient algorithms for pre* and post* on interprocedural parallel flow graphs. Zbl 1323.68407
Esparza, Javier; Podelski, Andreas
16
2000
Model checking using net unfoldings. Zbl 0834.68087
Esparza, Javier
15
1994
Model checking probabilistic pushdown automata. Zbl 1126.68053
Kučera, Antonín; Esparza, Javier; Mayr, Richard
15
2006
On the decidability of model checking for several \(\mu\)-calculi and Petri nets. Zbl 0938.03537
Esparza, J.
13
1994
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1321.68185
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
13
2003
Model-checking LTL with regular valuations for pushdown systems. Zbl 1087.68542
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
10
2001
Reachability analysis of multithreaded software with asynchronous communication. Zbl 1172.68422
Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejček, Jan
10
2005
Petri nets and regular processes. Zbl 0958.68121
Jančar, Petr; Esparza, Javier; Moller, Faron
9
1999
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
9
2011
On the convergence of Newton’s method for monotone systems of polynomial equations. Zbl 1232.65076
Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier
8
2007
General refinement and recursion operators for the Petri Box calculus. Zbl 0791.68122
Best, Eike; Devillers, Raymond; Esparza, Javier
8
1993
A note on on-the-fly verification algorithms. Zbl 1087.68599
Schwoon, Stefan; Esparza, Javier
8
2005
Keeping a crowd safe: on the complexity of parameterized verification (invited talk). Zbl 1359.68189
Esparza, Javier
8
2014
More infinite results. Zbl 0887.68035
Burkart, Olaf; Esparza, Javier
7
1997
Reachability in cyclic extended free-choice systems. Zbl 0778.68068
Desel, Jörg; Esparza, Javier
7
1993
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
7
2006
Newtonian program analysis. Zbl 1327.68079
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
6
2010
A polynomial-time algorithm to decide liveness of bounded free choice nets. Zbl 0776.68090
Esparza, Javier; Silva, Manuel
6
1992
An unfolding algorithm for synchronous products of transition systems. Zbl 0946.68097
Esparza, Javier; Römer, Stefan
6
1999
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1101.68457
Bouajjani, Ahmed; Esparza, Javier; Papers, Tayssir Touili
6
2003
Deciding finiteness of Petri nets up to bisimulation. Zbl 1046.68622
Jančar, Petr; Esparza, Javier
6
1996
Computing the least fixed point of positive polynomial systems. Zbl 1213.65076
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
6
2010
Approximative methods for monotone systems of min-max-polynomial equations. Zbl 1153.65337
Esparza, Javier; Gawlitza, Thomas; Kiefer, Stefan; Seidl, Helmut
6
2008
Synthesis of distributed algorithms using asynchronous automata. Zbl 1274.68680
Ştefănescu, Alin; Esparza, Javier; Muscholl, Anca
6
2003
Traps characterize home states in free choice systems. Zbl 0761.68070
Best, Eike; Desel, Jörg; Esparza, Javier
5
1992
Reduction and synthesis of live and bounded free choice Petri nets. Zbl 0820.68084
Esparza, Javier
5
1994
Constraint-based analysis of broadcast protocols. Zbl 0944.68139
Delzanno, Giorgio; Esparza, Javier; Podelski, Andreas
5
1999
More infinite results. Zbl 1049.68093
Burkart, Olaf; Esparza, Javier
5
2001
Implementing LTL model checking with net unfoldings. Zbl 0985.68520
Esparza, Javier; Heljanko, Keijo
5
2001
On fixed point equations over commutative semirings. Zbl 1186.68307
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2007
An extension of Newton’s method to \(\omega \)-continuous semirings. Zbl 1202.68106
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2007
Computing least fixed points of probabilistic systems of polynomials. Zbl 1230.65022
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
5
2010
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
5
2012
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
5
2017
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2017
From LTL to deterministic automata. A safraless compositional approach. Zbl 1368.68233
Esparza, Javier; Křetínský, Jan; Sickert, Salomon
5
2016
Complexity results for 1-safe-nets. Zbl 0925.68329
Cheng, Allan; Esparza, Javier; Palsberg, Jens
4
1993
Verifying single and multi-mutator garbage collectors with Owicki-Gries in Isabelle/HOL. Zbl 0996.68518
Prensa Nieto, Leonor; Esparza, Javier
4
2000
Grammars as processes. Zbl 1060.68602
Esparza, Javier
4
2002
Newton’s method for \(\omega \)-continuous semirings. Zbl 1155.68364
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains. Zbl 1161.68495
Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
4
2006
Analyzing probabilistic pushdown automata. Zbl 1291.68226
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín
4
2013
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
4
2018
Complexity of pattern-based verification for multithreaded programs. Zbl 1284.68182
Esparza, Javier; Ganty, Pierre
4
2011
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
4
2015
Convergence thresholds of Newton’s method for monotone polynomial equations. Zbl 1259.65225
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
Large flocks of small birds: on the minimal size of population protocols. Zbl 07228407
Blondin, Michael; Esparza, Javier; Jaax, Stefan
4
2018
An automata approach to some problems on context-free grammars. Zbl 0895.68085
Esparza, J.; Rossmanith, P.
3
1997
Reachability in live and safe free-choice Petri nets is NP-complete. Zbl 0902.68136
Esparza, Javier
3
1998
Reachability in reversible free choice systems. Zbl 0773.68056
Desel, Jörg; Esparza, Javier
3
1991
Unfolding based alorithms for the reachability problem. Zbl 1004.68113
Esparza, Javier; Schröter, Claus
3
2001
jMoped: A Java bytecode checker based on Moped. Zbl 1087.68556
Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
3
2005
Verifying probabilistic procedural programs. Zbl 1117.68428
Esparza, Javier; Etessami, Kousha
3
2004
Trapping mutual exclusion in the box calculus. Zbl 0872.68133
Esparza, Javier; Bruns, Glenn
3
1996
Towards efficient verification of population protocols. Zbl 1380.68037
Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J.
3
2017
Reachability analysis of synchronized PA systems. Zbl 1272.68290
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
3
2005
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
3
2016
Existence of home states in Petri nets is decidable. Zbl 1356.68152
Best, Eike; Esparza, Javier
3
2016
FPsolve: a generic solver for fixpoint equations over semirings. Zbl 1302.68330
Esparza, Javier; Luttenberger, Michael; Schlund, Maximilian
3
2014
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
3
2016
Limit-deterministic Büchi automata for linear temporal logic. Zbl 1411.68054
Sickert, Salomon; Esparza, Javier; Jaax, Stefan; Křetínský, Jan
3
2016
Zeros of the Hankel function of real order out of the principal Riemann sheet. Zbl 0743.33006
Cruz, Andrés; Esparza, Javier; Sesma, Javier
2
1991
Net reductions for LTL model-checking. Zbl 1002.68510
Esparza, Javier; Schröter, Claus
2
2001
A logical viewpoint on process-algebraic quotients. Zbl 1093.68066
Kučera, Antonín; Esparza, Javier
2
2003
An effective tableau system for the linear time \(\mu\)-calculus. Zbl 1045.03514
Bradfield, Julian; Esparza, Javier; Mader, Angelika
2
1996
An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418
Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre
2
2000
Rewriting models of Boolean programs. Zbl 1151.68440
Bouajjani, Ahmed; Esparza, Javier
2
2006
Separability in conflict-free Petri nets. Zbl 1185.68438
Best, Eike; Esparza, Javier; Wimmel, Harro; Wolf, Karsten
2
2007
Solving fixed-point equations by derivation tree analysis. Zbl 1344.68107
Esparza, Javier; Luttenberger, Michael
2
2011
A brief history of Strahler numbers. Zbl 1333.68164
Esparza, Javier; Luttenberger, Michael; Schlund, Maximilian
2
2014
On negotiation as concurrency primitive. Zbl 1390.68468
Esparza, Javier; Desel, Jörg
2
2013
Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
2
2015
On the memory consumption of probabilistic pushdown automata. Zbl 1248.68321
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan
2
2009
A uniform framework for problems on context-free grammars. Zbl 0977.68051
Esparza, Javier; Rossmanith, Peter; Schwoon, Stefan
1
2000
A new unfolding approach to LTL model checking. Zbl 0973.68140
Esparza, Javier; Heljanko, Keijo
1
2000
A solution to the covering problem for 1-bounded conflict-free Petri nets using linear programming. Zbl 0780.68095
Esparza, Javier
1
1992
Model checking of persistent Petri nets. Zbl 0819.68083
Best, E.; Esparza, J.
1
1992
Shortest paths in reachability graphs. Zbl 0831.68069
Desel, Jörg; Esparza, Javier
1
1995
Proof-checking protocols using bisimulations. Zbl 0940.68128
Röckl, Christine; Esparza, Javier
1
1999
Newtonian program analysis – an introduction. Zbl 1211.68044
Esparza, Javier; Luttenberger, Michael
1
2010
Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Zbl 1213.03003
Esparza, Javier (ed.); Michaux, Christian (ed.); Steinhorn, Charles (ed.)
1
2011
Locality-based abstractions. Zbl 1141.68367
Esparza, Javier; Ganty, Pierre; Schwoon, Stefan
1
2005
Space-efficient scheduling of stochastically generated tasks. Zbl 1288.68032
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
1
2010
An automata-theoretic approach to software verification. Zbl 1037.68522
Esparza, Javier
1
2003
Soundness in negotiations. Zbl 1392.68298
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor
1
2016
Learning workflow Petri nets. Zbl 1248.68351
Esparza, Javier; Leucker, Martin; Schlund, Maximilian
1
2011
On negotiation as concurrency primitive. II: Deterministic cyclic negotiations. Zbl 1405.68211
Esparza, Javier; Desel, Jörg
1
2014
Negotiations and Petri nets. Zbl 1366.68203
Desel, Jörg; Esparza, Javier
1
2016
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
4
2018
Large flocks of small birds: on the minimal size of population protocols. Zbl 07228407
Blondin, Michael; Esparza, Javier; Jaax, Stefan
4
2018
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
5
2017
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2017
Towards efficient verification of population protocols. Zbl 1380.68037
Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J.
3
2017
Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Zbl 1360.68010
Esparza, Javier; Murawski, Andrzej S.
1
2017
From LTL to deterministic automata. A safraless compositional approach. Zbl 1368.68233
Esparza, Javier; Křetínský, Jan; Sickert, Salomon
5
2016
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
3
2016
Existence of home states in Petri nets is decidable. Zbl 1356.68152
Best, Eike; Esparza, Javier
3
2016
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
3
2016
Limit-deterministic Büchi automata for linear temporal logic. Zbl 1411.68054
Sickert, Salomon; Esparza, Javier; Jaax, Stefan; Křetínský, Jan
3
2016
Soundness in negotiations. Zbl 1392.68298
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor
1
2016
Negotiations and Petri nets. Zbl 1366.68203
Desel, Jörg; Esparza, Javier
1
2016
Polynomial analysis algorithms for free choice probabilistic workflow nets. Zbl 1383.90016
Esparza, Javier; Hoffmann, Philipp; Saha, Ratul
1
2016
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
4
2015
Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
2
2015
Negotiation programs. Zbl 1417.68127
Esparza, Javier; Desel, Jörg
1
2015
Distributed Markov chains. Zbl 1432.68266
Saha, Ratul; Esparza, Javier; Jha, Sumit Kumar; Mukund, Madhavan; Thiagarajan, P. S.
1
2015
Keeping a crowd safe: on the complexity of parameterized verification (invited talk). Zbl 1359.68189
Esparza, Javier
8
2014
FPsolve: a generic solver for fixpoint equations over semirings. Zbl 1302.68330
Esparza, Javier; Luttenberger, Michael; Schlund, Maximilian
3
2014
A brief history of Strahler numbers. Zbl 1333.68164
Esparza, Javier; Luttenberger, Michael; Schlund, Maximilian
2
2014
On negotiation as concurrency primitive. II: Deterministic cyclic negotiations. Zbl 1405.68211
Esparza, Javier; Desel, Jörg
1
2014
Analyzing probabilistic pushdown automata. Zbl 1291.68226
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín
4
2013
On negotiation as concurrency primitive. Zbl 1390.68468
Esparza, Javier; Desel, Jörg
2
2013
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars. Zbl 1371.68202
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
1
2013
Computation of summaries using net unfoldings. Zbl 1359.68220
Esparza, Javier; Jezequel, Loig; Schwoon, Stefan
1
2013
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
5
2012
Rabinizer: small deterministic automata for \({\mathrm{LTL}(\mathrm{F},\mathrm{G})}\). Zbl 1374.68259
Gaiser, Andreas; Křetínský, Jan; Esparza, Javier
1
2012
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
9
2011
Complexity of pattern-based verification for multithreaded programs. Zbl 1284.68182
Esparza, Javier; Ganty, Pierre
4
2011
Solving fixed-point equations by derivation tree analysis. Zbl 1344.68107
Esparza, Javier; Luttenberger, Michael
2
2011
Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Zbl 1213.03003
Esparza, Javier; Michaux, Christian; Steinhorn, Charles
1
2011
Learning workflow Petri nets. Zbl 1248.68351
Esparza, Javier; Leucker, Martin; Schlund, Maximilian
1
2011
Newtonian program analysis. Zbl 1327.68079
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
6
2010
Computing the least fixed point of positive polynomial systems. Zbl 1213.65076
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
6
2010
Computing least fixed points of probabilistic systems of polynomials. Zbl 1230.65022
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
5
2010
Newtonian program analysis – an introduction. Zbl 1211.68044
Esparza, Javier; Luttenberger, Michael
1
2010
Space-efficient scheduling of stochastically generated tasks. Zbl 1288.68032
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
1
2010
On the memory consumption of probabilistic pushdown automata. Zbl 1248.68321
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan
2
2009
Unfoldings: A partial-order approach to model checking. Zbl 1153.68035
Esparza, Javier; Heljanko, Keijo
59
2008
Approximative methods for monotone systems of min-max-polynomial equations. Zbl 1153.65337
Esparza, Javier; Gawlitza, Thomas; Kiefer, Stefan; Seidl, Helmut
6
2008
Newton’s method for \(\omega \)-continuous semirings. Zbl 1155.68364
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
Convergence thresholds of Newton’s method for monotone polynomial equations. Zbl 1259.65225
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
On the convergence of Newton’s method for monotone systems of polynomial equations. Zbl 1232.65076
Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier
8
2007
On fixed point equations over commutative semirings. Zbl 1186.68307
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2007
An extension of Newton’s method to \(\omega \)-continuous semirings. Zbl 1202.68106
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2007
Separability in conflict-free Petri nets. Zbl 1185.68438
Best, Eike; Esparza, Javier; Wimmel, Harro; Wolf, Karsten
2
2007
Model checking probabilistic pushdown automata. Zbl 1126.68053
Kučera, Antonín; Esparza, Javier; Mayr, Richard
15
2006
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
7
2006
Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains. Zbl 1161.68495
Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
4
2006
Rewriting models of Boolean programs. Zbl 1151.68440
Bouajjani, Ahmed; Esparza, Javier
2
2006
Reachability analysis of multithreaded software with asynchronous communication. Zbl 1172.68422
Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejček, Jan
10
2005
A note on on-the-fly verification algorithms. Zbl 1087.68599
Schwoon, Stefan; Esparza, Javier
8
2005
jMoped: A Java bytecode checker based on Moped. Zbl 1087.68556
Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
3
2005
Reachability analysis of synchronized PA systems. Zbl 1272.68290
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
3
2005
Locality-based abstractions. Zbl 1141.68367
Esparza, Javier; Ganty, Pierre; Schwoon, Stefan
1
2005
Verifying probabilistic procedural programs. Zbl 1117.68428
Esparza, Javier; Etessami, Kousha
3
2004
Model checking LTL with regular valuations for pushdown systems. Zbl 1078.68081
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
22
2003
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1321.68185
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
13
2003
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1101.68457
Bouajjani, Ahmed; Esparza, Javier; Papers, Tayssir Touili
6
2003
Synthesis of distributed algorithms using asynchronous automata. Zbl 1274.68680
Ştefănescu, Alin; Esparza, Javier; Muscholl, Anca
6
2003
A logical viewpoint on process-algebraic quotients. Zbl 1093.68066
Kučera, Antonín; Esparza, Javier
2
2003
An automata-theoretic approach to software verification. Zbl 1037.68522
Esparza, Javier
1
2003
An improvement of McMillan’s unfolding algorithm. Zbl 1017.68085
Esparza, Javier; Römer, Stefan; Vogler, Walter
32
2002
Grammars as processes. Zbl 1060.68602
Esparza, Javier
4
2002
A BDD-based model checker for recursive programs. Zbl 0991.68539
Esparza, Javier; Schwoon, Stefan
18
2001
Model-checking LTL with regular valuations for pushdown systems. Zbl 1087.68542
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
10
2001
More infinite results. Zbl 1049.68093
Burkart, Olaf; Esparza, Javier
5
2001
Implementing LTL model checking with net unfoldings. Zbl 0985.68520
Esparza, Javier; Heljanko, Keijo
5
2001
Unfolding based alorithms for the reachability problem. Zbl 1004.68113
Esparza, Javier; Schröter, Claus
3
2001
Net reductions for LTL model-checking. Zbl 1002.68510
Esparza, Javier; Schröter, Claus
2
2001
Efficient algorithms for model checking pushdown systems. Zbl 0974.68116
Esparza, Javier; Hansel, David; Rossmanith, Peter; Schwoon, Stefan
36
2000
Efficient algorithms for pre* and post* on interprocedural parallel flow graphs. Zbl 1323.68407
Esparza, Javier; Podelski, Andreas
16
2000
Verifying single and multi-mutator garbage collectors with Owicki-Gries in Isabelle/HOL. Zbl 0996.68518
Prensa Nieto, Leonor; Esparza, Javier
4
2000
An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418
Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre
2
2000
A uniform framework for problems on context-free grammars. Zbl 0977.68051
Esparza, Javier; Rossmanith, Peter; Schwoon, Stefan
1
2000
A new unfolding approach to LTL model checking. Zbl 0973.68140
Esparza, Javier; Heljanko, Keijo
1
2000
Petri nets and regular processes. Zbl 0958.68121
Jančar, Petr; Esparza, Javier; Moller, Faron
9
1999
An unfolding algorithm for synchronous products of transition systems. Zbl 0946.68097
Esparza, Javier; Römer, Stefan
6
1999
Constraint-based analysis of broadcast protocols. Zbl 0944.68139
Delzanno, Giorgio; Esparza, Javier; Podelski, Andreas
5
1999
Proof-checking protocols using bisimulations. Zbl 0940.68128
Röckl, Christine; Esparza, Javier
1
1999
Decidability and complexity of Petri net problems. An introduction. Zbl 0926.68087
Esparza, Javier
44
1998
Reachability in live and safe free-choice Petri nets is NP-complete. Zbl 0902.68136
Esparza, Javier
3
1998
Decidability of model checking for infinite-state concurrent systems. Zbl 0865.68046
Esparza, Javier
30
1997
Petri nets, commutative context-free grammars, and basic parallel processes. Zbl 0882.68101
Esparza, Javier
22
1997
More infinite results. Zbl 0887.68035
Burkart, Olaf; Esparza, Javier
7
1997
An automata approach to some problems on context-free grammars. Zbl 0895.68085
Esparza, J.; Rossmanith, P.
3
1997
Deciding finiteness of Petri nets up to bisimulation. Zbl 1046.68622
Jančar, Petr; Esparza, Javier
6
1996
Trapping mutual exclusion in the box calculus. Zbl 0872.68133
Esparza, Javier; Bruns, Glenn
3
1996
An effective tableau system for the linear time \(\mu\)-calculus. Zbl 1045.03514
Bradfield, Julian; Esparza, Javier; Mader, Angelika
2
1996
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
68
1995
Complexity results for 1-safe nets. Zbl 0873.68146
Cheng, Allan; Esparza, Javier; Palsberg, Jens
19
1995
Shortest paths in reachability graphs. Zbl 0831.68069
Desel, Jörg; Esparza, Javier
1
1995
Decidability issues for Petri nets. Zbl 0791.68123
Esparza, Javier; Nielsen, Mogens
30
1994
Decidability issues for Petri nets – a survey. Zbl 0838.68082
Esparza, Javier; Nielsen, Mogens
21
1994
Model checking using net unfoldings. Zbl 0834.68087
Esparza, Javier
15
1994
On the decidability of model checking for several \(\mu\)-calculi and Petri nets. Zbl 0938.03537
Esparza, J.
13
1994
Reduction and synthesis of live and bounded free choice Petri nets. Zbl 0820.68084
Esparza, Javier
5
1994
General refinement and recursion operators for the Petri Box calculus. Zbl 0791.68122
Best, Eike; Devillers, Raymond; Esparza, Javier
8
1993
Reachability in cyclic extended free-choice systems. Zbl 0778.68068
Desel, Jörg; Esparza, Javier
7
1993
...and 7 more Documents
all top 5

Cited by 820 Authors

24 Esparza, Javier
17 Kucera, Antonin
11 Baldan, Paolo
10 Brázdil, Tomáš
10 Touili, Tayssir
9 Best, Eike
9 Jančar, Petr
9 Kiefer, Stefan
9 Mayr, Richard M.
8 Bouajjani, Ahmed
8 Desel, Jörg
8 Schwoon, Stefan
7 Atig, Mohamed Faouzi
7 Bozzelli, Laura
7 Finkel, Alain
7 Haar, Stefan
7 Koutny, Maciej
7 van der Aalst, Wil M. P.
6 Busi, Nadia
6 Etessami, Kousha
6 Habermehl, Peter
6 Jiao, Li
6 Khomenko, Victor
6 Luttenberger, Michael
6 Schnoebelen, Philippe
6 Srba, Jiří
6 Strejček, Jan
6 Yannakakis, Mihalis
5 Abdulla, Parosh Aziz
5 Bertrand, Nathalie
5 Brožek, Václav
5 Ganty, Pierre
5 Ibarra, Oscar H.
5 Křetínský, Jan
5 Lasota, Sławomir
5 Lodaya, Kamal
5 Pinna, G. Michele
5 Praveen, M.
5 Thiagarajan, Pazhamaneri Subramaniam
5 Yang, Shaofa
4 Baier, Christel
4 Blondin, Michael
4 Bouyer, Patricia
4 Chatain, Thomas
4 Cheung, To-Yat
4 Corradini, Andrea
4 Dang, Zhe
4 Demri, Stéphane P.
4 Devillers, Raymond
4 Forejt, Vojtěch
4 Ghilardi, Silvio
4 Gorrieri, Roberto
4 Křetínský, Mojmír
4 Larsen, Kim Guldstrand
4 Lohrey, Markus
4 Mairesse, Jean
4 Majumdar, Rupak
4 Maler, Oded
4 Meyer, Roland
4 Phawade, Ramchandra
4 Ramírez-Treviño, Antonio
4 Řehák, Vojtěch
4 Rodríguez, César
4 Saivasan, Prakash
4 Song, Fu
4 Stewart, Alistair
4 ter Hofstede, Arthur H. M.
4 Vogler, Walter
4 Yen, Hsu-Chun
4 Zavattaro, Gianluigi
3 Benveniste, Albert
3 Bollig, Benedikt
3 Bouillard, Anne
3 Ciobanu, Gabriel
3 Enea, Constantin
3 Fabre, Eric
3 Fokkink, Willem Jan
3 Gastin, Paul
3 Gaujal, Bruno
3 Genest, Blaise
3 Göller, Stefan
3 Haddad, Serge
3 Hague, Matthew
3 Hélouët, Loïc
3 Hofman, Piotr
3 Jard, Claude
3 Klaudel, Hanna
3 Kobayashi, Naoki
3 König, Barbara
3 Kröning, Daniel
3 Lazar, Mircea
3 Liu, GuanJun
3 Lugiez, Denis
3 Muscholl, Anca
3 Olderog, Ernst-Rüdiger
3 Peron, Adriano
3 Polyvyanyy, Artem
3 Rosa-Velardo, Fernando
3 Sastry, S. Shankar
3 Seidl, Helmut
...and 720 more Authors
all top 5

Cited in 67 Serials

83 Theoretical Computer Science
42 Information and Computation
31 Formal Methods in System Design
20 Acta Informatica
20 Information Processing Letters
12 Journal of Computer and System Sciences
11 Discrete Event Dynamic Systems
10 Formal Aspects of Computing
9 International Journal of Foundations of Computer Science
8 Logical Methods in Computer Science
6 Journal of Automated Reasoning
6 The Journal of Logic and Algebraic Programming
6 Journal of Logical and Algebraic Methods in Programming
4 Fundamenta Informaticae
4 Theory and Practice of Logic Programming
3 Artificial Intelligence
3 Science of Computer Programming
3 Journal of Symbolic Computation
3 Distributed Computing
3 Theory of Computing Systems
3 Nonlinear Analysis. Hybrid Systems
2 Journal of Computational and Applied Mathematics
2 Kybernetika
2 Algorithmica
2 Cybernetics and Systems Analysis
2 Mathematical Problems in Engineering
2 Journal of the ACM
1 International Journal of General Systems
1 International Journal of Systems Science
1 Journal of Mathematical Analysis and Applications
1 Automatica
1 Computing
1 Information Sciences
1 Journal of Philosophical Logic
1 The Journal of Symbolic Logic
1 Mathematics of Operations Research
1 Programming and Computer Software
1 Semigroup Forum
1 SIAM Journal on Computing
1 Systems & Control Letters
1 Annals of Pure and Applied Logic
1 International Journal of Production Research
1 Journal of Computer Science and Technology
1 New Generation Computing
1 Mathematical and Computer Modelling
1 Machine Learning
1 MSCS. Mathematical Structures in Computer Science
1 Concurrency: Practice and Experience
1 European Journal of Operational Research
1 Applied Categorical Structures
1 Annals of Mathematics and Artificial Intelligence
1 ELA. The Electronic Journal of Linear Algebra
1 Parallel Algorithms and Applications
1 Higher-Order and Symbolic Computation
1 International Journal of Applied Mathematics and Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 RAIRO. Operations Research
1 Journal of Applied Mathematics
1 Natural Computing
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Journal of Hyperbolic Differential Equations
1 Algorithms
1 Journal of Theoretical Biology
1 Frontiers of Computer Science
1 Computer Science Review
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year