César Sánchez

164 papers A* 7A 6B 30C 14Misc 4Journal 67Unranked 34
YearRankTypeTitle / Venue / Authors
2026 — conf
Bounding Byzantine Impact in Open CRDT Systems.
PaPoC@EuroSys
Carlos Baquero, Francisco Maia, Abel Dantas, Antonio Fernández Anta, Davide Frey, César Sánchez, Timothé Albouy
2026 J jnl
Symbolic runtime verification for monitoring under uncertainties and assumptions.
Inf. Softw. Technol.
Raik Hipler, Hannes Kallwies, Martin Leucker, Marco Montali, César Sánchez, Sarah Winkler
2025 — conf
(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces.
SPIN
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2025 J jnl
A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus.
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
2025 J jnl
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version).
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
2025 A* conf
A Secure Sequencer and Data Availability Committee for Rollups.
CCS
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
2025 — conf
Counter Example Guided Reactive Synthesis for LTL Modulo Theories
CAV (4)
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2025 B conf
Efficient Dynamic Shielding for Parametric Safety Specifications.
ATVA
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez
2025 J jnl
Efficient Dynamic Shielding for Parametric Safety Specifications.
CoRR
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez
2025 A* conf
Explanations for Unrealizability of Infinite-State Safety Shields.
KR
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez
2025 J jnl
Explanations for Unrealizability of Infinite-State Safety Shields.
CoRR
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez
2025 J jnl
General monitorability of totally ordered verdict domains.
Innov. Syst. Softw. Eng.
Felipe Gorostiaga, César Sánchez
2025 C conf
Invited Paper: Setchain Algorithms for Blockchain Scalability.
SSS
Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez
2025 C conf
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs.
PADL
Felipe Gorostiaga, Martín Ceresa, César Sánchez
2025 A conf
Modal Abstractions for Smart Contract Validation.
MODELS
Javier Godoy, Margarita Capretto, Martín Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez, Sebastián Uchitel
2025 — conf
Mode-Based Reactive Synthesis.
NFM
Matías Brizzio, Felipe Gorostiaga, César Sánchez, Renzo Degiovanni
2025 — conf
Realizable Continuous-Space Shields for Safe Reinforcement Learning.
L4DC
Kyungmin Kim, Davide Corsi, Andoni Rodríguez, JB Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox
2025 — conf
Setchain Algorithms for Blockchain Scalability (Extended Abstract).
IPDPS (Workshops)
Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez
2025 J jnl
Setchain Algorithms for Blockchain Scalability.
CoRR
Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez
2025 A* conf
Shield Synthesis for LTL Modulo Theories.
AAAI
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2025 B conf
Temporal Hyperproperties for Population Protocols.
FoSSaCS
Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez
2025 — conf
Towards a Mechanization of Fraud Proof Games in Lean.
FMBC
Martín Ceresa, César Sánchez
2024 A* conf
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories.
AAAI
Andoni Rodríguez, César Sánchez
2024 J jnl
Fast and Secure Decentralized Optimistic Rollups Using Setchain.
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
2024 — conf
General Anticipatory Runtime Verification.
CAV (2)
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez
2024 J jnl
Improving Blockchain Scalability with the Setchain Data-Type.
Distributed Ledger Technol. Res. Pract.
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
2024 B conf
Monitoring the Future of Smart Contracts.
FASE
Margarita Capretto, Martín Ceresa, César Sánchez
2024 J jnl
Monitoring the Future of Smart Contracts.
CoRR
Margarita Capretto, Martín Ceresa, César Sánchez
2024 — conf
Offchain Runtime Verification (for The Tezos Blockchain).
ESORICS Workshops (1)
Margarita Capretto, Martín Ceresa, Felipe Gorostiaga, Fernando Macías, Paloma Pedregal, César Sánchez
2024 — conf
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.
ATVA (2)
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2024 J jnl
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.
CoRR
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2024 J jnl
Realizability modulo theories.
J. Log. Algebraic Methods Program.
Andoni Rodríguez, César Sánchez
2024 J jnl
Realizable Continuous-Space Shields for Safe Reinforcement Learning.
CoRR
Kyungmin Kim, Davide Corsi, Andoni Rodríguez, JB Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox
2024 J jnl
Shield Synthesis for LTL Modulo Theories.
CoRR
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2024 J jnl
Temporal Hyperproperties for Population Protocols.
CoRR
Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez
2024 — conf
Unifying Asynchronous Logics for Hyperproperties.
FSTTCS
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2024 J jnl
Unifying Asynchronous Logics for Hyperproperties.
CoRR
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
RLJ
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
CoRR
Davide Corsi, Guy Amir, Andoni Rodríguez, César Sánchez, Guy Katz, Roy Fox
2023 B conf
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization.
RV
Paloma Pedregal, Felipe Gorostiaga, César Sánchez
2023 A conf
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
GECCO
Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
2023 J jnl
Boolean Abstractions for Realizability Modulo Theories (Extended version).
CoRR
Andoni Rodríguez, César Sánchez
2023 — conf
Boolean Abstractions for Realizability Modulo Theories.
CAV (3)
Andoni Rodríguez, César Sánchez
2023 — conf
Bounded Model Checking for Asynchronous Hyperproperties.
TACAS (1)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2023 J jnl
Bounded Model Checking for Asynchronous Hyperproperties.
CoRR
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2023 J jnl
Decentralized Stream Runtime Verification for Timed Asynchronous Networks.
IEEE Access
Luis Miguel Danielsson, César Sánchez
2023 J jnl
Decentralized Stream Runtime Verification for Timed Asynchronous Networks.
CoRR
Luis Miguel Danielsson, César Sánchez
2023 — conf
Efficient Loop Conditions for Bounded Model Checking Hyperproperties.
TACAS (1)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
2023 J jnl
Efficient Loop Conditions for Bounded Model Checking Hyperproperties.
CoRR
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
2023 C conf
Efficient Reactive Synthesis Using Mode Decomposition.
ICTAC
Matías Brizzio, César Sánchez
2023 J jnl
Efficient Reactive Synthesis Using Mode Decomposition.
CoRR
Matías Brizzio, César Sánchez
2023 J jnl
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach.
CoRR
Andoni Rodríguez, César Sánchez
2023 B conf
General Anticipatory Monitoring for Temporal Logics on Finite Traces.
RV
Hannes Kallwies, Martin Leucker, César Sánchez
2023 J jnl
Improving Blockchain Scalability with the Setchain Data-type.
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
2023 J jnl
Retroactive Parametrized Monitoring.
CoRR
Paloma Pedregal, Felipe Gorostiaga, César Sánchez
2023 B conf
Tableaux for Realizability of Safety Specifications.
FM
Montserrat Hermo, Paqui Lucio, César Sánchez
2022 J jnl
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications.
CoRR
Montserrat Hermo, Paqui Lucio, César Sánchez
2022 B conf
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.
RV
Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel
2022 — conf
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.
ISoLA (1)
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
2022 B conf
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.
CONCUR
Laura Bozzelli, Adriano Peron, César Sánchez
2022 J jnl
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.
CoRR
Laura Bozzelli, Adriano Peron, César Sánchez
2022 — conf
Monitorability of Expressive Verdicts.
NFM
Felipe Gorostiaga, César Sánchez
2022 — conf
Multi: A Formal Playground for Multi-Smart Contract Interaction.
FMBC@CAV
Martín Ceresa, César Sánchez
2022 J jnl
Multi: a Formal Playground for Multi-Smart Contract Interaction.
CoRR
Martín Ceresa, César Sánchez
2022 J jnl
Runtime verification of real-time event streams using the tool HStriver.
Formal Methods Syst. Des.
Felipe Gorostiaga, César Sánchez
2022 — conf
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.
Blockchain
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
2022 J jnl
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
2022 B conf
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions.
ATVA
Hannes Kallwies, Martin Leucker, César Sánchez
2022 J jnl
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions.
CoRR
Hannes Kallwies, Martin Leucker, César Sánchez
2022 B conf
Transaction Monitoring of Smart Contracts.
RV
Margarita Capretto, Martín Ceresa, César Sánchez
2022 J jnl
Transaction Monitoring of Smart Contracts.
CoRR
Margarita Capretto, Martín Ceresa, César Sánchez
2021 — conf
A Temporal Logic for Asynchronous Hyperproperties.
CAV (1)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2021 J jnl
A Temporal Logic for Asynchronous Hyperproperties.
CoRR
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2021 A* conf
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.
ICRA
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
2021 A* conf
Asynchronous Extensions of HyperLTL.
LICS
Laura Bozzelli, Adriano Peron, César Sánchez
2021 J jnl
Asynchronous Extensions of HyperLTL.
CoRR
Laura Bozzelli, Adriano Peron, César Sánchez
2021 — conf
Bounded Model Checking for Hyperproperties.
TACAS (1)
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
2021 J jnl
Gray-box monitoring of hyperproperties with an application to privacy.
Formal Methods Syst. Des.
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2021 — conf
HLola: a Very Functional Tool for Extensible Stream Runtime Verification.
TACAS (2)
Felipe Gorostiaga, César Sánchez
2021 B conf
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams.
FM
Felipe Gorostiaga, César Sánchez
2021 J jnl
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties.
CoRR
Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
2021 — conf
Madrid Quantum Communication Infrastructure: a testbed for assessing QKD technologies into real production networks.
OFC
Diego R. López, Juan Pedro Brito, Antonio Pastor, Vicente Martín, César Sánchez, David Rincón, Víctor López
2021 B conf
Nested Monitors: Monitors as Expressions to Build Monitors.
RV
Felipe Gorostiaga, César Sánchez
2021 J jnl
Stream runtime verification of real-time event streams with the Striver language.
Int. J. Softw. Tools Technol. Transf.
Felipe Gorostiaga, César Sánchez
2021 — conf
Synchronous and asynchronous stream runtime verification.
VORTEX@ISSTA
César Sánchez
2020 J jnl
Bounded Model Checking for Hyperproperties.
CoRR
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
2020 B conf
Declarative Stream Runtime Verification (hLola).
APLAS
Martín Ceresa, Felipe Gorostiaga, César Sánchez
2020 J jnl
Declarative Stream Runtime Verification (hLola).
CoRR
Martín Ceresa, Felipe Gorostiaga, César Sánchez
2020 — conf
Model Checking Timed Hyperproperties in Discrete-Time Systems.
NFM
Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez
2020 — conf
Reliable Smart Contracts.
ISoLA (3)
Gordon J. Pace, César Sánchez, Gerardo Schneider
2020 J jnl
Runtime verification of real-time event streams under non-synchronized arrival.
Softw. Qual. J.
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
2020 B conf
Unifying the Time-Event Spectrum for Stream Runtime Verification.
RV
Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez
2020 J jnl
Verifying Hyperliveness.
CoRR
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
2019 J jnl
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 J jnl
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
2019 J jnl
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 B conf
Decentralized Stream Runtime Verification.
RV
Luis Miguel Danielsson, César Sánchez
2019 B conf
Gray-Box Monitoring of Hyperproperties.
FM
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2019 J jnl
Gray-box Monitoring of Hyperproperties (Extended Version).
CoRR
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2019 J jnl
Runtime Verification For Timed Event Streams With Partial Information.
CoRR
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
2019 B conf
Runtime Verification for Timed Event Streams with Partial Information.
RV
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
2019 — conf
Verifying Hyperliveness.
CAV (1)
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
2018 J jnl
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2018 B conf
COST Action IC1402 Runtime Verification Beyond Monitoring.
RV
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
2018 J jnl
Introduction to the special issue on runtime verification.
Formal Methods Syst. Des.
Yliès Falcone, César Sánchez
2018 — conf
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.
ISoLA (2)
Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider
2018 B conf
Online and Offline Stream Runtime Verification of Synchronous Systems.
RV
César Sánchez
2018 A conf
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.
ICWS
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2018 — conf
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.
ISoLA (4)
César Sánchez, Gerardo Schneider, Martin Leucker
2018 — ch.
Runtime Verification for Decentralised and Distributed Systems.
Lectures on Runtime Verification
Adrian Francalanza, Jorge A. Pérez, César Sánchez
2018 B conf
Striver: Stream Runtime Verification for Real-Time Event-Streams.
RV
Felipe Gorostiaga, César Sánchez
2018 Misc conf
TeSSLa: runtime verification of non-synchronized real-time streams.
SAC
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
2018 B conf
Timed Epistemic Knowledge Bases for Social Networks.
FM
Raúl Pardo, César Sánchez, Gerardo Schneider
2018 J jnl
Visibly Linear Temporal Logic.
J. Autom. Reason.
Laura Bozzelli, César Sánchez
2018 — conf
i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines.
WISE (1)
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2018 J jnl
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.
CoRR
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2017 J jnl
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems.
Ann. Math. Artif. Intell.
Alejandro Sánchez, César Sánchez
2017 J jnl
Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
CoRR
Raúl Pardo, César Sánchez, Gerardo Schneider
2016 J jnl
Foundations of Boolean stream runtime verification.
Theor. Comput. Sci.
Laura Bozzelli, César Sánchez
2016 B ed.
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
RV
Yliès Falcone, César Sánchez
2016 J jnl
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
Acta Informatica
Bernd Finkbeiner, César Sánchez
2016 J jnl
Special issue on temporal representation and reasoning (TIME'13).
Acta Informatica
César Sánchez, K. Brent Venable, Esteban Zimányi
2016 C conf
Specification of Evolving Privacy Policies for Online Social Networks.
TIME
Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider
2015 — conf
Algorithms for Model Checking HyperLTL and HyperCTL ^*.
CAV (1)
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
2015 J jnl
Parametrized invariance for infinite state processes.
Acta Informatica
Alejandro Sánchez, César Sánchez
2014 B conf
Formal Verification of Skiplists with Arbitrary Many Levels.
ATVA
Alejandro Sánchez, César Sánchez
2014 B conf
Foundations of Boolean Stream Runtime Verification.
RV
Laura Bozzelli, César Sánchez
2014 A* conf
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes.
CAV
Alejandro Sánchez, César Sánchez
2014 C conf
Parametrized Verification Diagrams.
TIME
Alejandro Sánchez, César Sánchez
2014 — conf
Temporal Logics for Hyperproperties.
POST
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
2014 J jnl
Temporal Logics for Hyperproperties.
CoRR
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
2014 A conf
Visibly Linear Temporal Logic.
IJCAR
Laura Bozzelli, César Sánchez
2014 J jnl
Visibly rational expressions.
Acta Informatica
Laura Bozzelli, César Sánchez
2013 C ed.
2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013
TIME
César Sánchez, K. Brent Venable, Esteban Zimányi
2013 J jnl
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height
CoRR
César Sánchez, Alejandro Sánchez
2013 J jnl
A Temporal Logic for Hyperproperties.
CoRR
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
2013 J jnl
Abstracting Runtime Heaps for Program Understanding.
IEEE Trans. Software Eng.
Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
2013 J jnl
Fusing statecharts and java.
ACM Trans. Embed. Comput. Syst.
Maria-Cristina V. Marinescu, César Sánchez
2013 J jnl
Parametrized Invariance for Infinite State Processe.
CoRR
Alejandro Sánchez, César Sánchez
2012 J jnl
Abstracting Runtime Heaps for Program Understanding
CoRR
Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
2012 C conf
Efficient Regular Linear Temporal Logic Using Dualization and Stratification.
TIME
César Sánchez, Julián Samborski-Forlese
2012 C conf
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata.
ICTAC
César Sánchez, Julián Samborski-Forlese
2012 B conf
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
SAS
Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
2012 J jnl
Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments.
Sensors
Marina Zapater, César Sánchez, José L. Ayala, José Manuel Moya, José L. Risco-Martín
2012 — conf
Visibly Rational Expressions.
FSTTCS
Laura Bozzelli, César Sánchez
2011 — conf
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes.
NASA Formal Methods
Alejandro Sánchez, César Sánchez
2010 B conf
Analyzing the Impact of Change in Multi-threaded Programs.
FASE
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
2010 C conf
Decision Procedures for the Temporal Verification of Concurrent Lists.
ICFEM
Alejandro Sánchez, César Sánchez
2010 B conf
Regular Linear Temporal Logic with Past.
VMCAI
César Sánchez, Martin Leucker
2010 C conf
Regular Linear-Time Temporal Logic.
TIME
Martin Leucker, César Sánchez
2008 — conf
The Reaction Algebra: A Formal Language for Event Correlation.
Pillars of Computer Science
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
2007 B conf
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.
FASE
César Sánchez, Henny B. Sipma, Zohar Manna
2007 — —
Deadlock avoidance for distributed real-time and embedded systems.
César Sánchez
2007 A conf
Generating Efficient Distributed Deadlock Avoidance Controllers.
IPDPS
César Sánchez, Henny B. Sipma, Zohar Manna
2007 C conf
Regular Linear Temporal Logic.
ICTAC
Martin Leucker, César Sánchez
2006 B conf
Distributed Priority Inheritance for Real-Time and Embedded Systems.
OPODIS
César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna
2006 Misc conf
Efficient distributed deadlock avoidance with liveness guarantees.
EMSOFT
César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill
2006 A conf
On efficient distributed deadlock avoidance for real-time and embedded systems.
IPDPS
César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill
2006 Misc conf
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems.
EMSOFT
Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma
2005 C conf
Expressive Completeness of an Event-Pattern Reactive Programming Language.
FORTE
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
2005 B conf
Final Semantics for Event-Pattern Reactive Programs.
CALCO
César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
2005 C conf
LOLA: Runtime Monitoring of Synchronous Systems.
TIME
Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
2005 C conf
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.
FORTE
César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna
2003 Misc conf
Event Correlation: Language and Semantics.
EMSOFT
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna