1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Monitoring Hyperproperties over Observed and Constructed Traces
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
We study the problem of monitoring at runtime whether a system fulfills a specification defined by a hyperproperty, such as linearizability or variants of non-interference. For thi…
cs.PL2023★ 1 cited
Monitoring Hyperproperties With Prefix Transducers
Marek Chalupa, Thomas A. Henzinger
Hyperproperties are properties that relate multiple execution traces. Previous work on monitoring hyperproperties focused on synchronous hyperproperties, usually specified in Hyper…