PPaperPicks

César Sánchez

8 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×2CCS ×1ESORICS ×1FM ×1

Frequent coauthors

Andoni Rodríguez
×6
Margarita Capretto
×2
Martín Ceresa
×2
Davide Corsi
×2
Matías Brizzio
×1
Renzo Degiovanni
×1
Antonio Fernández Anta
×1
Pedro Moreno-Sanchez
×1
Irfansha Shaik
×1
Roy Fox
×1
Guy Amir
×1
Guy Katz
×1

Papers

  1. AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications
    KR 2026 ·
    Matías Brizzio
    ,
    Andoni Rodríguez
    , César Sánchez,
    Renzo Degiovanni
  2. Maximum Realizability for LTL Modulo Theories
    FM 2026 ·
    Andoni Rodríguez
    , César Sánchez
  3. SafeTap: Trustworthy Neurosymbolic Language to Quadrupedal Locomotion via Shield Synthesis Modulo Bitvectors
    KR 2026 ·
    Andoni Rodríguez
    , César Sánchez
  4. A Secure Sequencer and Data Availability Committee for Rollups
    CCS 2025 ·
    Margarita Capretto
    ,
    Martín Ceresa
    ,
    Antonio Fernández Anta
    ,
    Pedro Moreno-Sanchez
    , César Sánchez
  5. Explanations for Unrealizability of Infinite-State Safety Shields
    KR 2025 ·
    Andoni Rodríguez
    ,
    Irfansha Shaik
    ,
    Davide Corsi
    ,
    Roy Fox
    , César Sánchez
  6. Shield Synthesis for LTL Modulo Theories
    AAAI 2025 ·
    Andoni Rodríguez
    ,
    Guy Amir
    ,
    Davide Corsi
    , César Sánchez,
    Guy Katz
  7. Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories
    AAAI 2024 ·
    Andoni Rodríguez
    , César Sánchez
  8. Offchain Runtime Verification (for The Tezos Blockchain)
    ESORICS 2024 ·
    Margarita Capretto
    ,
    Martín Ceresa
    ,
    Felipe Gorostiaga
    ,
    Fernando Macías
    ,
    Paloma Pedregal
    , César Sánchez