Follow
Javier Esparza
Javier Esparza
Professor of Computer Science, Technical University of Munich
Verified email at in.tum.de - Homepage
Title
Cited by
Cited by
Year
Free choice Petri nets
J Desel, J Esparza
Cambridge university press, 2005
1330*2005
Reachability analysis of pushdown automata: Application to model-checking
A Bouajjaniš, J Esparza, O Malerš
CONCUR'97 1243, 135, 1997
8501997
An Improvement of McMillan's Unfolding Algorithm.
J Esparza, S Römer, W Vogler
7131995
Decidability issues for Petri nets
J Esparza, M Nielsen
BRICS Report Series 1 (8), 1994
5781994
Efficient algorithms for model checking pushdown systems
J Esparza, D Hansel, P Rossmanith, S Schwoon
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
4692000
Decidability and complexity of Petri net problems-an introduction
J Esparza
Lecture Notes in Computer Science, 374-385, 1998
4661998
Model checking using net unfoldings
J Esparza
Science of Computer Programming 23 (2-3), 151-195, 1994
3461994
On the verification of broadcast protocols
J Esparza, A Finkel, R Mayr
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
3431999
Unfoldings: a partial-order approach to model checking
J Esparza, K Heljanko
Springer Science & Business Media, 2008
2912008
Complexity results for 1-safe nets
A Cheng, J Esparza, J Palsberg
Theoretical Computer Science 147 (1-2), 117-136, 1995
2711995
Petri nets, commutative context-free grammars, and basic parallel processes
J Esparza
Fundamenta Informaticae 31 (1), 13-25, 1997
2291997
Decidability of model checking for infinite-state concurrent systems
J Esparza
Acta Informatica 34 (2), 85-107, 1997
2151997
Model checking LTL with regular valuations for pushdown systems
J Esparza, A Kučera, S Schwoon
Information and Computation 186 (2), 355-376, 2003
2142003
A BDD-based model checker for recursive programs
J Esparza, S Schwoon
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
2092001
Model checking probabilistic pushdown automata
R Mayr, A Kucera, J Esparza
Logical Methods in Computer Science 2, 2006
1962006
A generic approach to the static analysis of concurrent programs with procedures
A Bouajjani, J Esparza, T Touili
ACM SIGPLAN Notices 38 (1), 62-73, 2003
1962003
A Note on On-the-Fly Verification Algorithms.
S Schwoon, J Esparza
TACAS 3440, 174-190, 2005
1692005
On the decidability of model checking for several μ-calculi and Petri nets
J Esparza
Colloquium on Trees in Algebra and Programming, 115-129, 1994
1441994
Circuits, handles, bridges and nets
J Esparza, M Silva
Advances in Petri Nets 1990 10, 210-242, 1991
1291991
Verification of safety properties using integer programming: Beyond the state equation
J Esparza, S Melzer
Formal Methods in System Design 16, 159-189, 2000
126*2000
The system can't perform the operation now. Try again later.
Articles 1–20