César Sánchez

Available identifiers

zbMath Open sanchez.cesarWikidataQ80331151 ScholiaQ80331151MaRDI QIDQ278751

List of research outcomes

Publication	Date of Publication	Type
Verifying hyperliveness	2024-02-16	Paper
Runtime verification of real-time event streams using the tool HStriver	2024-01-08	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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