118 citations · 345 across the 21 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 8 cited
Realizing Omega-regular Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann +1
We studied the hyperlogic HyperQPTL, which combines the concepts of trace relations and -regularity. We showed that HyperQPTL is very expressive, it can express properties like…
cs.LO2021
Efficient Monitoring of Hyperproperties using Prefix Trees
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger +1
Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other and are thus not monitorable by tools that consider comp…