Concepedia

Javier Esparza

JE

Statistics

Publications

64

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 engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationComputational ComplexityVerificationSoftware AnalysisSystems EngineeringProgram Analysis

Publications per year

1989–2024

64

Publications

64

An Improvement of McMillan's Unfolding Algorithm

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

On the verification of broadcast protocols

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

Engineering, Broadcast Protocol, Survivable System +17

Model checking using net unfoldings

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

Engineering, Automated Reasoning, Verification +7

Model checking LTL with regular valuations for pushdown systems

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

Engineering, Automated Reasoning, Regular Valuations +7

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

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

Engineering, Verification, Generic Approach +24

1–5 of 64