The following pages link to César Sánchez (Q278751):
Displaying 32 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Visibly linear temporal logic (Q682377) (← links)
- A temporal logic for asynchronous hyperproperties (Q832224) (← links)
- Algorithms for model checking HyperLTL and HyperCTL\(^*\) (Q1702908) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Timed epistemic knowledge bases for social networks (Q2024346) (← links)
- Declarative stream runtime verification (hLola) (Q2038065) (← links)
- Bounded model checking for hyperproperties (Q2044193) (← links)
- Gray-box monitoring of hyperproperties with an application to privacy (Q2147690) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Visibly rational expressions (Q2453980) (← links)
- How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata (Q2915098) (← links)
- Visibly Rational Expressions (Q2957493) (← links)
- Visibly Linear Temporal Logic (Q3192209) (← links)
- Formal Verification of Skiplists with Arbitrary Many Levels (Q3457806) (← links)
- Regular Linear Temporal Logic (Q3525092) (← links)
- Regular Linear Temporal Logic with Past (Q3656890) (← links)
- The Reaction Algebra: A Formal Language for Event Correlation (Q5452200) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479182) (← links)
- Algebra and Coalgebra in Computer Science (Q5492832) (← links)
- Multi–stage process for chemotherapy scheduling and effective capacity determination (Q6056099) (← links)
- Symbolic runtime verification for monitoring under uncertainties and assumptions (Q6160908) (← links)
- Tableaux for realizability of safety specifications (Q6174549) (← links)
- Runtime verification of real-time event streams using the tool HStriver (Q6185821) (← links)
- Bounded model checking for asynchronous hyperproperties (Q6535338) (← links)
- Efficient loop conditions for bounded model checking hyperproperties (Q6535341) (← links)
- Boolean abstractions for realizability modulo theories (Q6535690) (← links)
- Gray-box monitoring of hyperproperties (Q6535963) (← links)
- Realizability modulo theories (Q6561346) (← links)
- Expressiveness and decidability of temporal logics for asynchronous hyperproperties (Q6587135) (← links)
- Efficient reactive synthesis using mode decomposition (Q6605360) (← links)
