49 citations
- Saarland UniversityDE8 papers
- Max Planck Institute for InformaticsDE3 papers
- Max Planck Institute for Software SystemsDE2 papers
- Monash UniversityAU2 papers
- University of StuttgartDE2 papers
- Aarno LabsUS1 paper
- California University of PennsylvaniaUS1 paper
- Duke UniversityUS1 paper
- Fraunhofer Institute for Communication, Information Processing and ErgonomicsDE1 paper
- Institute of Informatics of the Slovak Academy of SciencesSK1 paper
- KU LeuvenBE1 paper
- Max Planck SocietyDE1 paper
6 papers · 1 filter
Deciding Hyperproperties Combined with Functional Specifications
Raven Beutner, David Carral, Bernd Finkbeiner +2
We study satisfiability for HyperLTL with a quantifier prefix, known to be highly undecidable in general. HyperLTL can express system properties that relate mu…
Monitoring with Verified Guarantees
Dauer J. C., Finkbeiner B., Schirmer S
Runtime monitoring is generally considered a light-weight alternative to formal verification. In safety-critical systems, however, the monitor itself is a critical component. For e…
Model Checking Algorithms for Hyperproperties
Bernd Finkbeiner
Hyperproperties generalize trace properties by expressing relations between multiple computations. Hyperpropertes include policies from information-flow security, like observationa…
Explainable Reactive Synthesis
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Reactive synthesis transforms a specification of a reactive system, given in a temporal logic, into an implementation. The main advantage of synthesis is that it is automatic. The…
Causality & Control Flow
Robert Künnemann, Deepak Garg, Michael Backes
Causality has been the issue of philosophic debate since Hippocrates. It is used in formal verification and testing, e.g., to explain counterexamples or construct fault trees. Rece…
Verifying Security Policies in Multi-agent Workflows with Loops
Bernd Finkbeiner, Christian Müller, Helmut Seidl +1
We consider the automatic verification of information flow security policies of web-based workflows, such as conference submission systems like EasyChair. Our workflow description…