75 citations · 108 across the 4 of their papers we have counts for
4 papers
Runtime Verification for LTL in Stochastic Systems
Javier Esparza, Vincent Fischer
Runtime verification encompasses several lightweight techniques for checking whether a system's current execution satisfies a given specification. We focus on runtime verification…
Decidability Issues for Petri Nets -- a survey
Javier Esparza, Mogens Nielsen
We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics.
Efficient Normalization of Linear Temporal Logic
Javier Esparza, Rubén Rubio, Salomon Sickert
In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of LTL with past operators) is equivalent to a formu…
Parameterized Verification of Asynchronous Shared-Memory Systems
Javier Esparza, Pierre Ganty, Rupak Majumdar
We characterize the complexity of the safety verification problem for parameterized systems consisting of a leader process and arbitrarily many anonymous and identical contributors…