Concepedia

Javier Esparza

JE

Statistics

Publications

65

Citations

3.3K

H-Index

29

Active since

1989

Affiliations

Technical University of Munich(Current)

University of Stuttgart

University of Edinburgh

IMDEA Software Institute

University of Hildesheim

Javier Esparza is an author at Technical University of Munich specializing in computing, computer science, and algorithms.

ORCID

Publications per year

1989–2024

65

Publications

65

An Improvement of McMillan's Unfolding Algorithm

Javier Esparza, Stefan Römer, Walter Vogler · Formal Methods in System Design · 2002 · 304 citations

, , +2

On the verification of broadcast protocols

Javier Esparza, Alain Finkel, Richard Mayr · 2003 · 247 citations

, , +13

Model checking using net unfoldings

Javier Esparza · Science of Computer Programming · 1994 · 188 citations

, , +9

Model checking LTL with regular valuations for pushdown systems

Javier Esparza, Antonı́n Kučera, Stefan Schwoon · Information and Computation · 2003 · 171 citations

, , +10

A generic approach to the static analysis of concurrent programs with procedures

Ahmed Bouajjani, Javier Esparza, Tayssir Touili · 2003 · 146 citations

, , +14

1–5 of 65