עקוב אחר
Javier Esparza
Javier Esparza
Professor of Computer Science, Technical University of Munich
כתובת אימייל מאומתת בדומיין in.tum.de - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Free choice Petri nets‏
J Desel, J Esparza‏
Cambridge university press, 2005‏
1413*2005
Reachability analysis of pushdown automata: Application to model-checking‏
A Bouajjani, J Esparza, O Maler‏
CONCUR'97: Concurrency Theory: 8th International Conference Warsaw, Poland …, 1997‏
9131997
An improvement of McMillan's unfolding algorithm‏
J Esparza, S Römer, W Vogler‏
Formal Methods in System Design 20, 285-310, 2002‏
755*2002
Decidability issues for Petri nets--a survey‏
J Esparza, M Nielsen‏
arXiv preprint arXiv:2411.01592, 2024‏
6162024
Decidability and complexity of Petri net problems—an introduction‏
J Esparza‏
Advanced course on Petri nets, 374-428, 1996‏
5081996
Efficient algorithms for model checking pushdown systems‏
J Esparza, D Hansel, P Rossmanith, S Schwoon‏
International Conference on Computer Aided Verification, 232-247, 2000‏
4922000
On the verification of broadcast protocols‏
J Esparza, A Finkel, R Mayr‏
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999‏
3701999
Model checking using net unfoldings‏
J Esparza‏
Science of Computer Programming 23 (2-3), 151-195, 1994‏
3701994
Unfoldings: a partial-order approach to model checking‏
J Esparza, K Heljanko‏
Springer Science & Business Media, 2008‏
3332008
Complexity results for 1-safe nets‏
A Cheng, J Esparza, J Palsberg‏
Theoretical Computer Science 147 (1-2), 117-136, 1995‏
2931995
Petri nets, commutative context-free grammars, and basic parallel processes‏
J Esparza‏
Fundamenta Informaticae 31 (1), 13-25, 1997‏
2381997
Model checking LTL with regular valuations for pushdown systems‏
J Esparza, A Kučera, S Schwoon‏
Information and Computation 186 (2), 355-376, 2003‏
2292003
Decidability of model checking for infinite-state concurrent systems‏
J Esparza‏
Acta Informatica 34 (2), 85-107, 1997‏
2211997
A BDD-based model checker for recursive programs‏
J Esparza, S Schwoon‏
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001‏
2152001
Model checking probabilistic pushdown automata‏
J Esparza, A Kucera, R Mayr‏
Logical Methods in Computer Science 2, 2006‏
2142006
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‏
2102003
A note on on-the-fly verification algorithms‏
S Schwoon, J Esparza‏
International Conference on Tools and Algorithms for the Construction and …, 2005‏
1872005
Limit-deterministic Büchi automata for linear temporal logic‏
S Sickert, J Esparza, S Jaax, J Křetínský‏
International Conference on Computer Aided Verification, 312-332, 2016‏
1512016
On the decidability of model checking for several μ-calculi and Petri nets‏
J Esparza‏
Colloquium on Trees in Algebra and Programming, 115-129, 1994‏
1411994
A fully verified executable LTL model checker‏
J Esparza, P Lammich, R Neumann, T Nipkow, A Schimpf, JG Smaus‏
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013‏
1382013
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20