| 2026 | FM | Maximum Realizability for LTL Modulo Theories. | Andoni Rodrguez, Csar Snchez |
| 2026 | KR | AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications. | Matas Brizzio, Andoni Rodrguez, Csar Snchez, Renzo Degiovanni |
| 2026 | KR | SafeTap: Trustworthy Neurosymbolic Language to Quadrupedal Locomotion via Shield Synthesis Modulo Bitvectors. | Andoni Rodrguez, Csar Snchez |
| 2025 | AAAI | Shield Synthesis for LTL Modulo Theories. | Andoni Rodrguez, Guy Amir, Davide Corsi, Csar Snchez, Guy Katz |
| 2025 | ATVA | Efficient Dynamic Shielding for Parametric Safety Specifications. | Davide Corsi, Kaushik Mallik, Andoni Rodrguez, Csar Snchez |
| 2025 | CAV | Counter Example Guided Reactive Synthesis for LTL Modulo Theories | Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez |
| 2025 | CCS | A Secure Sequencer and Data Availability Committee for Rollups. | Margarita Capretto, Martn Ceresa, Antonio Fernndez Anta, Pedro Moreno-Sanchez, Csar Snchez |
| 2025 | FOSSACS | Temporal Hyperproperties for Population Protocols. | Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, Csar Snchez |
| 2025 | KR | Explanations for Unrealizability of Infinite-State Safety Shields. | Andoni Rodrguez, Irfansha Shaik, Davide Corsi, Roy Fox, Csar Snchez |
| 2025 | MODELS | Modal Abstractions for Smart Contract Validation. | Javier Godoy, Margarita Capretto, Martn Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, Csar Snchez, Sebastin Uchitel |
| 2025 | PADL | MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs. | Felipe Gorostiaga, Martn Ceresa, Csar Snchez |
| 2025 | SSS | Invited Paper: Setchain Algorithms for Blockchain Scalability. | Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martn Ceresa, Antonio Fernndez Anta, Csar Snchez |
| 2024 | AAAI | Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories. | Andoni Rodrguez, Csar Snchez |
| 2024 | ATVA | Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. | Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez |
| 2024 | CAV | General Anticipatory Runtime Verification. | Raik Hipler, Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2024 | ESORICS | Offchain Runtime Verification (for The Tezos Blockchain). | Margarita Capretto, Martn Ceresa, Felipe Gorostiaga, Fernando Macas, Paloma Pedregal, Csar Snchez |
| 2024 | FASE | Monitoring the Future of Smart Contracts. | Margarita Capretto, Martn Ceresa, Csar Snchez |
| 2023 | CAV | Boolean Abstractions for Realizability Modulo Theories. | Andoni Rodrguez, Csar Snchez |
| 2023 | FM | Tableaux for Realizability of Safety Specifications. | Montserrat Hermo, Paqui Lucio, Csar Snchez |
| 2023 | GECCO | Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. | Matas Brizzio, Maxime Cordy, Mike Papadakis, Csar Snchez, Nazareno Aguirre, Renzo Degiovanni |
| 2023 | ICTAC | Efficient Reactive Synthesis Using Mode Decomposition. | Matas Brizzio, Csar Snchez |
| 2023 | RV | General Anticipatory Monitoring for Temporal Logics on Finite Traces. | Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2023 | RV | A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. | Paloma Pedregal, Felipe Gorostiaga, Csar Snchez |
| 2023 | TACAS | Bounded Model Checking for Asynchronous Hyperproperties. | Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2023 | TACAS | Efficient Loop Conditions for Bounded Model Checking Hyperproperties. | Tzu-Han Hsu, Csar Snchez, Sarai Sheinvald, Borzoo Bonakdarpour |
| 2022 | ATVA | Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2022 | CAV | Multi: A Formal Playground for Multi-Smart Contract Interaction. | Martn Ceresa, Csar Snchez |
| 2022 | CONCUR | Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. | Laura Bozzelli, Adriano Peron, Csar Snchez |
| 2022 | ISoLA | Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. | Felipe Gorostiaga, Sebastin Zudaire, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2022 | RV | Transaction Monitoring of Smart Contracts. | Margarita Capretto, Martn Ceresa, Csar Snchez |
| 2022 | RV | Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez, Torben Scheffel |
| 2021 | CAV | A Temporal Logic for Asynchronous Hyperproperties. | Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2021 | FM | HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. | Felipe Gorostiaga, Csar Snchez |
| 2021 | ICRA | Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. | Sebastin Zudaire, Felipe Gorostiaga, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2021 | ISSTA | Synchronous and asynchronous stream runtime verification. | Csar Snchez |
| 2021 | LICS | Asynchronous Extensions of HyperLTL. | Laura Bozzelli, Adriano Peron, Csar Snchez |
| 2021 | RV | Nested Monitors: Monitors as Expressions to Build Monitors. | Felipe Gorostiaga, Csar Snchez |
| 2021 | TACAS | HLola: a Very Functional Tool for Extensible Stream Runtime Verification. | Felipe Gorostiaga, Csar Snchez |
| 2021 | TACAS | Bounded Model Checking for Hyperproperties. | Tzu-Han Hsu, Csar Snchez, Borzoo Bonakdarpour |
| 2020 | APLAS | Declarative Stream Runtime Verification (hLola). | Martn Ceresa, Felipe Gorostiaga, Csar Snchez |
| 2020 | ISoLA | Reliable Smart Contracts. | Gordon J. Pace, Csar Snchez, Gerardo Schneider |
| 2020 | RV | Unifying the Time-Event Spectrum for Stream Runtime Verification. | Felipe Gorostiaga, Luis Miguel Danielsson, Csar Snchez |
| 2019 | CAV | Verifying Hyperliveness. | Norine Coenen, Bernd Finkbeiner, Csar Snchez, Leander Tentrup |
| 2019 | FM | Gray-Box Monitoring of Hyperproperties. | Sandro Stucki, Csar Snchez, Gerardo Schneider, Borzoo Bonakdarpour |
| 2019 | RV | Decentralized Stream Runtime Verification. | Luis Miguel Danielsson, Csar Snchez |
| 2019 | RV | Runtime Verification for Timed Event Streams with Partial Information. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2018 | FM | Timed Epistemic Knowledge Bases for Social Networks. | Ral Pardo, Csar Snchez, Gerardo Schneider |
| 2018 | ICWS | Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. | Pablo Chico de Guzmn, Felipe Gorostiaga, Csar Snchez |
| 2018 | ISoLA | Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. | Borzoo Bonakdarpour, Csar Snchez, Gerardo Schneider |
| 2018 | ISoLA | Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. | Csar Snchez, Gerardo Schneider, Martin Leucker |
| 2018 | SAC | TeSSLa: runtime verification of non-synchronized real-time streams. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Alexander Schramm |
| 2018 | WISE | i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. | Pablo Chico de Guzmn, Felipe Gorostiaga, Csar Snchez |
| 2018 | RV | COST Action IC1402 Runtime Verification Beyond Monitoring. | Christian Colombo, Ylis Falcone, Martin Leucker, Giles Reger, Csar Snchez, Gerardo Schneider, Volker Stolz |
| 2018 | RV | Striver: Stream Runtime Verification for Real-Time Event-Streams. | Felipe Gorostiaga, Csar Snchez |
| 2018 | RV | Online and Offline Stream Runtime Verification of Synchronous Systems. | Csar Snchez |
| 2016 | TIME | Specification of Evolving Privacy Policies for Online Social Networks. | Ral Pardo, Ivana Kellyerova, Csar Snchez, Gerardo Schneider |
| 2015 | CAV | Algorithms for Model Checking HyperLTL and HyperCTL ^*. | Bernd Finkbeiner, Markus N. Rabe, Csar Snchez |
| 2014 | ATVA | Formal Verification of Skiplists with Arbitrary Many Levels. | Alejandro Snchez, Csar Snchez |
| 2014 | CADE | Visibly Linear Temporal Logic. | Laura Bozzelli, Csar Snchez |
| 2014 | CAV | LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. | Alejandro Snchez, Csar Snchez |
| 2014 | RV | Foundations of Boolean Stream Runtime Verification. | Laura Bozzelli, Csar Snchez |
| 2014 | TIME | Parametrized Verification Diagrams. | Alejandro Snchez, Csar Snchez |
| 2012 | ICTAC | How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. | Csar Snchez, Julin Samborski-Forlese |
| 2012 | SAS | Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). | Alejandro Snchez, Sriram Sankaranarayanan, Csar Snchez, Bor-Yuh Evan Chang |
| 2012 | TIME | Efficient Regular Linear Temporal Logic Using Dualization and Stratification. | Csar Snchez, Julin Samborski-Forlese |
| 2011 | IJCCI | EEG Noise Cancellation based on Neural Network. | J. Mateo, A. M. Torres, C. Soria, Mara A. Garca, Csar Snchez |
| 2010 | FASE | Analyzing the Impact of Change in Multi-threaded Programs. | Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, Csar Snchez |
| 2010 | ICFEM | Decision Procedures for the Temporal Verification of Concurrent Lists. | Alejandro Snchez, Csar Snchez |
| 2010 | TIME | Regular Linear-Time Temporal Logic. | Martin Leucker, Csar Snchez |
| 2010 | VMCAI | Regular Linear Temporal Logic with Past. | Csar Snchez, Martin Leucker |
| 2008 | EATIS | A flexible web oriented telehealth platform using a RIM-HL7 based model. | Csar Snchez, Edwin Triana, Eduardo Romero |
| 2007 | FASE | A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. | Csar Snchez, Henny B. Sipma, Zohar Manna |
| 2007 | ICTAC | Regular Linear Temporal Logic. | Martin Leucker, Csar Snchez |
| 2007 | IWINAC | A Learning Based Widrow-Hoff Delta Algorithm for Noise Reduction in Biomedical Signals. | Jorge Mateo Sotos, Csar Snchez, Carlos Vay, Raquel Cervign Abad, Jos Joaqun Rieta |
| 2006 | EMSOFT | Efficient distributed deadlock avoidance with liveness guarantees. | Csar Snchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill |
| 2006 | EMSOFT | Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. | Venkita Subramonian, Christopher D. Gill, Csar Snchez, Henny B. Sipma |
| 2006 | OPODIS | Distributed Priority Inheritance for Real-Time and Embedded Systems. | Csar Snchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna |
| 2005 | CALCO | Final Semantics for Event-Pattern Reactive Programs. | Csar Snchez, Henny B. Sipma, Matteo Slanina, Zohar Manna |
| 2005 | FORTE | Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. | Csar Snchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna |
| 2005 | FORTE | Expressive Completeness of an Event-Pattern Reactive Programming Language. | Csar Snchez, Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2005 | TIME | LOLA: Runtime Monitoring of Synchronous Systems. | Ben D'Angelo, Sriram Sankaranarayanan, Csar Snchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna |
| 2003 | EMSOFT | Event Correlation: Language and Semantics. | Csar Snchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna |
| 2003 | ICASSP | Atrial fibrillation analysis based on ICA including statistical and temporal source information. | Francisco Castells, Jorge Igual, Jos Joaqun Rieta, Csar Snchez, Jos Millet |