Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Quantitative Monitoring of Signal First-Order Logic
Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç +1
Runtime monitoring checks, during execution, whether a partial signal produced by a hybrid system satisfies its specification. Signal First-Order Logic (SFO) offers expressive real…
cs.LO2025
Flavors of Quantifiers in Hyperlogics
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
Hypertrace logic is a sorted first-order logic with separate sorts for time and execution traces. Its formulas specify hyperproperties, which are properties relating multiple trace…
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…