Javier Esparza

Citado por

	Total	Desde 2019
Citas	13305	2747
Índice h	58	26
Índice i10	131	67

620

310

155

465

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202448 39 90 168 194 240 183 284 313 361 414 396 501 467 550 617 607 570 504 579 607 526 477 558 479 513 410 423 514 489 444 462

Acceso público

Ver todo

59 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Stefan KieferProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéDirección de correo verificada de irif.fr
Antonin KuceraMasaryk UniversityDirección de correo verificada de fi.muni.cz
Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
Pierre GantyAssociate Research Professor, IMDEA Software InstituteDirección de correo verificada de imdea.org
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiDirección de correo verificada de helsinki.fi
Jan KřetínskýMasaryk University Brno; Technical University of MunichDirección de correo verificada de fi.muni.cz
Eike BestCarl von Ossietzky Universität OldenburgDirección de correo verificada de informatik.uni-oldenburg.de
Salomon SickertDirección de correo verificada de tum.de
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaDirección de correo verificada de unizar.es
Mogens NielsenProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Michael BlondinAssociate professor, Université de SherbrookeDirección de correo verificada de usherbrooke.ca
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
Andreas GaiserAxivion GmbHDirección de correo verificada de axivion.com
Oded MalerCNRS-VERIMAG, University of GrenobleDirección de correo verificada de imag.fr
Alain FinkelLMF ENS Paris SaclayDirección de correo verificada de ens-paris-saclay.fr
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Dirección de correo verificada de tum.de
Maximilian SchlundV&V Architect at ETASDirección de correo verificada de de.bosch.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityDirección de correo verificada de informatik.uni-freiburg.de
Tomas BrazdilMasaryk UniversityDirección de correo verificada de fi.muni.cz

Seguir

Javier Esparza

Professor of Computer Science, Technical University of Munich

Dirección de correo verificada de in.tum.de - Página principal

Verification Automata Theory Concurrency Theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Free choice Petri nets J Desel, J Esparza Cambridge university press, 2005	1402*	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	903	1997
An improvement of McMillan's unfolding algorithm J Esparza, S Römer, W Vogler Formal Methods in System Design 20, 285-310, 2002	758*	2002
Decidability issues for Petri nets--a survey J Esparza, M Nielsen arXiv preprint arXiv:2411.01592, 2024	610	2024
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced Course on Petri Nets, 374-428, 1996	503	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	494	2000
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	372	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
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
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	144	2016
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	138	2013

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores