66 citations · 111 across the 15 of their papers we have counts for
21 papers
Boolean Abstractions for Realizability Modulo Theories (Extended version)
Andoni Rodriguez, Cesar Sanchez
In this paper, we address the problem of the (reactive) realizability of specifications of theories richer than Booleans, including arithmetic theories. Our approach transforms the…
Retroactive Parametrized Monitoring
Paloma Pedregal, Felipe Gorostiaga, Cesar Sanchez
In online monitoring, we first synthesize a monitor from a formal specification, which later runs in tandem with the system under study, incrementally receiving its progress and ev…
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…
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
Matías Brizzio, Maxime Cordy, Mike Papadakis +3
The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours.…