66 citations · 111 across the 15 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
Hannes Kallwies, Martin Leucker, Cesar Sanchez
Runtime Verification deals with the question of whether a run of a system adheres to its specification. This paper studies runtime verification in the presence of partial knowledge…
cs.LO2022
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Laura Bozzelli, Adriano Peron, Cesar Sanchez
Hyperproperties are properties of systems that relate different executions traces, with many applications from security to symmetry, consistency models of concurrency, etc. In rece…