Javier Esparza

Cituota

	Visi	Nuo 2020
Šaltiniai	13452	2420
h-rodyklė	59	25
i10-rodyklė	130	61

640

320

160

480

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 38 90 164 201 242 182 284 308 368 425 409 503 470 547 624 608 577 510 586 622 545 490 546 471 512 400 426 507 488 430 488 78

Viešas pasiekiamumas

Peržiūrėti viską

61 straipsnis

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
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
Rupak MajumdarMPI for Software SystemsPatvirtintas el. paštas mpi-sws.org
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
Michael BlondinAssociate professor, Université de SherbrookePatvirtintas el. paštas usherbrooke.ca
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
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	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	913	1997
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	616	2024
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced course on Petri nets, 374-428, 1996	508	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	492	2000
On the verification of broadcast protocols J Esparza, A Finkel, R Mayr Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	370	1999
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	370	1994
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	333	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	238	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	229	2003
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	221	1997
A BDD-based model checker for recursive programs J Esparza, S Schwoon Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	215	2001
Model checking probabilistic pushdown automata J Esparza, A Kucera, R Mayr Logical Methods in Computer Science 2, 2006	214	2006
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	209	2003
A note on on-the-fly verification algorithms S Schwoon, J Esparza International Conference on Tools and Algorithms for the Construction and …, 2005	187	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	150	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	141	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	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