2 papers
cs.LO2025
Monitoring Hyperproperties over Observed and Constructed Traces
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
Hyperproperties specify system requirements that relate multiple executions. Reasoning about such properties naturally involves executions that play different roles: some correspon…
cs.LO2021
Flavours of Sequential Information Flow
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger +2
Information-flow policies prescribe which information is available to a given user or subsystem. We study the problem of specifying such properties in reactive systems, which may r…