66 citations · 568 across the 83 of their papers we have counts for
7 papers · 1 filter
Real-time Visualization of Stream-based Monitoring Data
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold +1
Stream-based runtime monitors are used in safety-critical applications such as Unmanned Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of system h…
Approximate Automata for Omega-Regular Languages
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Automata over infinite words, also known as omega-automata, play a key role in the verification and synthesis of reactive systems. The spectrum of omega-automata is defined by two…
Canonical Representations of k-Safety Hyperproperties
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Hyperproperties elevate the traditional view of trace properties form sets of traces to sets of sets of traces and provide a formalism for expressing information-flow policies. For…
Bounded Synthesis of Reactive Programs
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Most algorithms for the synthesis of reactive systems focus on the construction of finite-state machines rather than actual programs. This often leads to badly structured, unreadab…
Synthesizing Skeletons for Reactive Systems
Bernd Finkbeiner, Hazem Torfah
We present an analysis technique for temporal specifications of reactive systems that identifies, on the level of individual system outputs over time, which parts of the implementa…
The Density of Linear-time Properties
Bernd Finkbeiner, Hazem Torfah
Finding models for linear-time properties is a central problem in verification and planning. We study the distribution of linear-time models by investigating the density of linear-…