66 citations · 111 across the 15 of their papers we have counts for
3 papers · 1 filter
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…
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…
Transaction Monitoring of Smart Contracts
Margarita Capretto, Martin Ceresa, Cesar Sanchez
Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programm…