Javier Esparza

Cituota

	Visi	Nuo 2019
Šaltiniai	13306	2748
h-rodyklė	58	26
i10-rodyklė	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 445 462

Viešas pasiekiamumas

Peržiūrėti viską

59 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Stefan KieferProfessor of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéPatvirtintas el. paštas irif.fr
Antonin KuceraMasaryk UniversityPatvirtintas el. paštas fi.muni.cz
Rupak MajumdarMPI for Software SystemsPatvirtintas el. paštas mpi-sws.org
Pierre GantyAssociate Research Professor, IMDEA Software InstitutePatvirtintas el. paštas imdea.org
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiPatvirtintas el. paštas helsinki.fi
Jan KřetínskýMasaryk University Brno; Technical University of MunichPatvirtintas el. paštas fi.muni.cz
Eike BestCarl von Ossietzky Universität OldenburgPatvirtintas el. paštas informatik.uni-oldenburg.de
Salomon SickertPatvirtintas el. paštas tum.de
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaPatvirtintas el. paštas unizar.es
Mogens NielsenProfessor of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
Michael BlondinAssociate professor, Université de SherbrookePatvirtintas el. paštas usherbrooke.ca
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityPatvirtintas el. paštas cs.rwth-aachen.de
Andreas GaiserAxivion GmbHPatvirtintas el. paštas axivion.com
Oded MalerCNRS-VERIMAG, University of GrenoblePatvirtintas el. paštas imag.fr
Alain FinkelLMF ENS Paris SaclayPatvirtintas el. paštas ens-paris-saclay.fr
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Patvirtintas el. paštas tum.de
Maximilian SchlundV&V Architect at ETASPatvirtintas el. paštas de.bosch.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityPatvirtintas el. paštas informatik.uni-freiburg.de
Tomas BrazdilMasaryk UniversityPatvirtintas el. paštas fi.muni.cz

Stebėti

Javier Esparza

Professor of Computer Science, Technical University of Munich

Patvirtintas el. paštas in.tum.de - Pagrindinis puslapis

Verification Automata Theory Concurrency Theory


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai