César Sánchez

Available identifiers

zbMath Open sanchez.cesarWikidataQ80331151 ScholiaQ80331151MaRDI QIDQ278751

List of research outcomes

Publication	Date of Publication	Type
Efficient reactive synthesis using mode decomposition	2024-09-13	Paper
Expressiveness and decidability of temporal logics for asynchronous hyperproperties	2024-08-13	Paper
Realizability modulo theories	2024-06-25	Paper
Gray-box monitoring of hyperproperties	2024-03-14	Paper
Verifying hyperliveness	2024-02-16	Paper
Boolean abstractions for realizability modulo theories	2024-02-01	Paper
Runtime verification of real-time event streams using the tool HStriver	2024-01-08	Paper
Bounded model checking for asynchronous hyperproperties	2023-12-13	Paper
Efficient loop conditions for bounded model checking hyperproperties	2023-12-13	Paper
Multi–stage process for chemotherapy scheduling and effective capacity determination	2023-09-29	Paper
Tableaux for realizability of safety specifications	2023-08-17	Paper
Symbolic runtime verification for monitoring under uncertainties and assumptions	2023-06-02	Paper
Gray-box monitoring of hyperproperties with an application to privacy	2022-06-20	Paper
A temporal logic for asynchronous hyperproperties	2022-03-25	Paper
Bounded model checking for hyperproperties	2021-08-04	Paper
Declarative stream runtime verification (hLola)	2021-07-08	Paper
Timed epistemic knowledge bases for social networks	2021-05-04	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Algorithms for model checking HyperLTL and HyperCTL\(^*\)	2018-03-01	Paper
Visibly linear temporal logic	2018-02-02	Paper
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems	2017-10-13	Paper
Visibly Rational Expressions	2017-01-26	Paper
Foundations of Boolean stream runtime verification	2016-05-02	Paper
Formal Verification of Skiplists with Arbitrary Many Levels	2015-12-17	Paper
Parametrized invariance for infinite state processes	2015-09-11	Paper
Visibly Linear Temporal Logic	2014-09-26	Paper
Visibly rational expressions	2014-06-12	Paper
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata	2012-09-21	Paper
Regular Linear Temporal Logic with Past	2010-01-14	Paper
Regular Linear Temporal Logic	2008-09-17	Paper
The Reaction Algebra: A Formal Language for Event Correlation	2008-03-25	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper

Research outcomes over time

This page was built for person: César Sánchez