118 citations · 345 across the 21 of their papers we have counts for
23 papers
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Swen Jacobs, Guillermo A. Perez, Remco Abraham +22
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Th…
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…
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…
Verifying Hyperliveness
Norine Coenen, Bernd Finkbeiner, César Sánchez +1
HyperLTL is an extension of linear-time temporal logic for the specification of hyperproperties, i.e., temporal properties that relate multiple computation traces. HyperLTL can exp…
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger +1
We present RVHyper, a runtime verification tool for hyperproperties. Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces wit…
Constraint-Based Monitoring of Hyperproperties
Christopher Hahn, Marvin Stenger, Leander Tentrup
Verifying hyperproperties at runtime is a challenging problem as hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with ea…