Javier Esparza

Citée par

	Toutes	Depuis 2020
Citations	13352	2384
indice h	58	25
indice i10	131	63

640

320

160

480

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 39 90 168 194 240 183 284 313 363 414 401 501 467 543 622 607 570 504 577 607 527 483 558 479 514 410 424 509 486 444 488 30

Accès public

Tout afficher

61 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Stefan KieferProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéAdresse e-mail validée de irif.fr
Antonin KuceraMasaryk UniversityAdresse e-mail validée de fi.muni.cz
Pierre GantyAssociate Research Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Rupak MajumdarMPI for Software SystemsAdresse e-mail validée de mpi-sws.org
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiAdresse e-mail validée de helsinki.fi
Jan KřetínskýMasaryk University Brno; Technical University of MunichAdresse e-mail validée de fi.muni.cz
Eike BestCarl von Ossietzky Universität OldenburgAdresse e-mail validée de informatik.uni-oldenburg.de
Salomon SickertAdresse e-mail validée de tum.de
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaAdresse e-mail validée de unizar.es
Mogens NielsenProfessor of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Michael BlondinAssociate professor, Université de SherbrookeAdresse e-mail validée de usherbrooke.ca
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityAdresse e-mail validée de cs.rwth-aachen.de
Andreas GaiserAxivion GmbHAdresse e-mail validée de axivion.com
Oded MalerCNRS-VERIMAG, University of GrenobleAdresse e-mail validée de imag.fr
Alain FinkelLMF ENS Paris SaclayAdresse e-mail validée de ens-paris-saclay.fr
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Adresse e-mail validée de tum.de
Maximilian SchlundV&V Architect at ETASAdresse e-mail validée de de.bosch.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityAdresse e-mail validée de informatik.uni-freiburg.de
Tomas BrazdilMasaryk UniversityAdresse e-mail validée de fi.muni.cz

Suivre

Javier Esparza

Professor of Computer Science, Technical University of Munich

Adresse e-mail validée de in.tum.de - Page d'accueil

Verification Automata Theory Concurrency Theory


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Free choice Petri nets J Desel, J Esparza Cambridge university press, 2005	1405*	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	906	1997
An improvement of McMillan's unfolding algorithm J Esparza, S Römer, W Vogler Formal Methods in System Design 20, 285-310, 2002	760*	2002
Decidability issues for Petri nets--a survey J Esparza, M Nielsen arXiv preprint arXiv:2411.01592, 2024	613	2024
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced Course on Petri Nets, 374-428, 1996	506	1996
Efficient algorithms for model checking pushdown systems J Esparza, D Hansel, P Rossmanith, S Schwoon International Conference on Computer Aided Verification, 232-247, 2000	496	2000
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	373	1994
On the verification of broadcast protocols J Esparza, A Finkel, R Mayr Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	365	1999
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	328	2008
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	293	1995
Petri nets, commutative context-free grammars, and basic parallel processes J Esparza Fundamenta Informaticae 31 (1), 13-25, 1997	234	1997
Model checking LTL with regular valuations for pushdown systems J Esparza, A Kučera, S Schwoon Information and Computation 186 (2), 355-376, 2003	226	2003
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	225	1997
Model checking probabilistic pushdown automata J Esparza, A Kucera, R Mayr Logical Methods in Computer Science 2, 2006	214	2006
A BDD-based model checker for recursive programs J Esparza, S Schwoon Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	214	2001
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	204	2003
A note on on-the-fly verification algorithms S Schwoon, J Esparza International Conference on Tools and Algorithms for the Construction and …, 2005	183	2005
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	147	2016
On the decidability of model checking for several μ-calculi and Petri nets J Esparza Colloquium on Trees in Algebra and Programming, 115-129, 1994	145	1994
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	140	2013

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs