2 citations · 5 across the 10 of their papers we have counts for
8 papers · 1 filter
Monitoring the Future of Smart Contracts
Margarita Capretto, Martin Ceresa, Cesar Sanchez
Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains…
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…
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach
Andoni Rodríguez, Cesar Sanchez
Reactive synthesis is the process of using temporal logic specifications in LTL to generate correct controllers, but its use has been restricted to Boolean specifications. Recently…
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…
Decentralized Stream Runtime Verification for Timed Asynchronous Networks
Luis Miguel Danielsson, César Sánchez
We study the problem of monitoring distributed systems where computers communicate using message passing and share an almost synchronized clock. This is a realistic scenario for ne…
Bounded Model Checking for Asynchronous Hyperproperties
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner +1
Many types of attacks on confidentiality stem from the nondeterministic nature of the environment that computer programs operate in (e.g., schedulers and asynchronous communication…