Search Results for author: Leander Tentrup

Found 3 papers, 1 papers with code

Realizing Omega-regular Hyperproperties

no code implementations18 Jan 2021 Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup

We furthermore studied the realizability problem of HyperQPTL.

Logic in Computer Science

Efficient Monitoring of Hyperproperties using Prefix Trees

no code implementations18 Jan 2021 Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other and are thus not monitorable by tools that consider computations in isolation.

Logic in Computer Science

Constraint-Based Monitoring of Hyperproperties

4 code implementations31 May 2019 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 each other.

Logic in Computer Science

Cannot find the paper you are looking for? You can Submit a new open access paper.