Javier Esparza
Javier Esparza
Professor of Computer Science, Technical University of Munich
Dirección de correo verificada de in.tum.de - Página principal
TítuloCitado porAño
Free choice Petri nets
J Desel, J Esparza
Cambridge university press, 2005
1114*2005
Reachability analysis of pushdown automata: Application to model-checking
A Bouajjani, J Esparza, O Maler
International Conference on Concurrency Theory, 135-150, 1997
7271997
An improvement of McMillan's unfolding algorithm
J Esparza, S Römer, W Vogler
Formal Methods in System Design 20 (3), 285-310, 2002
614*2002
Decidability issues for Petri nets
J Esparza, M Nielsen
Petri nets newsletter 94, 5-23, 1994
4701994
Efficient algorithms for model checking pushdown systems
J Esparza, D Hansel, P Rossmanith, S Schwoon
International Conference on Computer Aided Verification, 232-247, 2000
4062000
Decidability and complexity of Petri net problems—an introduction
J Esparza
Advanced Course on Petri Nets, 374-428, 1996
3601996
Model checking using net unfoldings
J Esparza
Science of Computer Programming 23 (2-3), 151-195, 1994
3191994
On the verification of broadcast protocols
J Esparza, A Finkel, R Mayr
Logic in Computer Science, 1999. Proceedings. 14th Symposium on, 352-359, 1999
2831999
Unfoldings: a partial-order approach to model checking
J Esparza, K Heljanko
Springer Science & Business Media, 2008
2292008
Decidability of model checking for infinite-state concurrent systems
J Esparza
Acta Informatica 34 (2), 85-107, 1997
1981997
Petri nets, commutative context-free grammars, and basic parallel processes
J Esparza
Fundamenta Informaticae 31 (1), 13-25, 1997
1931997
A BDD-based model checker for recursive programs
J Esparza, S Schwoon
International Conference on Computer Aided Verification, 324-336, 2001
1882001
Model checking LTL with regular valuations for pushdown systems
J Esparza, A Kučera, S Schwoon
Information and Computation 186 (2), 355-376, 2003
1852003
A generic approach to the static analysis of concurrent programs with procedures
A Bouajjani, J Esparza, T Touili
International Journal of Foundations of Computer Science 14 (04), 551-582, 2003
1842003
Model checking probabilistic pushdown automata
J Esparza, A Kucera, R Mayr
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE …, 2004
1662004
A note on on-the-fly verification algorithms
S Schwoon, J Esparza
International Conference on Tools and Algorithms for the Construction and …, 2005
1472005
Complexity results for 1-safe nets
A Cheng, J Esparza, J Palsberg
Theoretical Computer Science 147 (1-2), 117-136, 1995
1341995
On the decidability of model checking for several μ-calculi and Petri nets
J Esparza
Colloquium on Trees in Algebra and Programming, 115-129, 1994
1241994
Circuits, handles, bridges and nets
J Esparza, M Silva
International Conference on Application and Theory of Petri Nets, 210-242, 1989
1221989
Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
J Esparza, A Podelski
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
1112000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20