75 citations · 108 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
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…
cs.LO2023★ 3 cited
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…
cs.LO2013★ 30 cited
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…