César Sánchez

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 27

Top Topics

Asynchronous Communication

Bounded Model Checking

Top Venues

J. Log. Algebraic Methods Program.

Publications

Andoni Rodríguez, César Sánchez
Realizability modulo theories. J. Log. Algebraic Methods Program. 140 (2024)
Margarita Capretto, Martín Ceresa, César Sánchez
Monitoring the Future of Smart Contracts. FASE (2024)
Andoni Rodríguez, César Sánchez
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories. AAAI (2024)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
Fast and Secure Decentralized Optimistic Rollups Using Setchain. CoRR (2024)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Improving Blockchain Scalability with the Setchain Data-Type. Distributed Ledger Technol. Res. Pract. 3 (2) (2024)
Margarita Capretto, Martín Ceresa, César Sánchez
Monitoring the Future of Smart Contracts. CoRR (2024)
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. CoRR (2024)
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez
General Anticipatory Runtime Verification. CAV (2) (2024)
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
Unifying Asynchronous Logics for Hyperproperties. CoRR (2024)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR (2023)
Andoni Rodríguez, César Sánchez
Boolean Abstractions for Realizability Modulo Theories (Extended version). CoRR (2023)
Andoni Rodríguez, César Sánchez
Boolean Abstractions for Realizability Modulo Theories. CAV (3) (2023)
Andoni Rodríguez, César Sánchez
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach. CoRR (2023)
Paloma Pedregal, Felipe Gorostiaga, César Sánchez
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. RV (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) (2023)
Montserrat Hermo, Paqui Lucio, César Sánchez
Tableaux for Realizability of Safety Specifications. FM (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Bounded Model Checking for Asynchronous Hyperproperties. CoRR (2023)
Paloma Pedregal, Felipe Gorostiaga, César Sánchez
Retroactive Parametrized Monitoring. CoRR (2023)
Matías Brizzio, César Sánchez
Efficient Reactive Synthesis Using Mode Decomposition. ICTAC (2023)
Luis Miguel Danielsson, César Sánchez
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. CoRR (2023)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) (2023)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Improving Blockchain Scalability with the Setchain Data-type. CoRR (2023)
Luis Miguel Danielsson, César Sánchez
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. IEEE Access 11 (2023)
Matías Brizzio, César Sánchez
Efficient Reactive Synthesis Using Mode Decomposition. CoRR (2023)
Hannes Kallwies, Martin Leucker, César Sánchez
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV (2023)
Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO (2023)
Felipe Gorostiaga, César Sánchez
Runtime verification of real-time event streams using the tool HStriver. Formal Methods Syst. Des. 61 (1) (2022)