699 citations
- Centre National de la Recherche ScientifiqueFR25 papers
- Max Planck Institute for InformaticsDE23 papers
- German Research Centre for Artificial IntelligenceDE13 papers
- Karlsruhe Institute of TechnologyDE11 papers
- Universitat Autònoma de BarcelonaES11 papers
- Helmholtz Center for Information SecurityDE10 papers
- Leipzig UniversityDE10 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
- Institute for Solid State Physics and OpticsHU9 papers
- Max Planck SocietyDE9 papers
- RWTH Aachen UniversityDE8 papers
- Universität HamburgDE8 papers
42 papers · 1 filter
Parametric Church's Thesis: Synthetic Computability without Choice
Yannick Forster
In synthetic computability, pioneered by Richman, Bridges, and Bauer, one develops computability theory without an explicit model of computation. This is enabled by assuming an axi…
Controller Synthesis for Hyperproperties
Borzoo Bonakdarpour, Bernd Finkbeiner
We investigate the problem of controller synthesis for hyperproperties specified in the temporal logic HyperLTL. Hyperproperties are system properties that relate multiple executio…
Program Repair for Hyperproperties
Borzoo Bonakdarpour, Bernd Finkbeiner
We study the repair problem for hyperproperties specified in the temporal logic HyperLTL. Hyperproperties are system properties that relate multiple computation traces. This class…
The Complexity of Monitoring Hyperproperties
Borzoo Bonakdarpour, Bernd Finkbeiner
We study the runtime verification of hyperproperties, expressed in the temporal logic HyperLTL, as a means to inspect a system with respect to security polices. Runtime monitors fo…
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
Gideon Geier, Philippe Heim, Felix Klein +1
We present Syntroids, a case study for the automatic synthesis of hardware from a temporal logic specification. Syntroids is a space shooter arcade game realized on an FPGA, where…
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…