66 citations · 568 across the 83 of their papers we have counts for
10 papers · 1 filter
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…
Monitoring Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger +1
Hyperproperties, such as non-interference and observational determinism, relate multiple system executions to each other. They are not expressible in standard temporal logics, like…
Stream Runtime Monitoring on UAS
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner +2
Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In…
Vehicle Platooning Simulations with Functional Reactive Programming
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Functional languages have provided major benefits to the verification community. Although features such as purity, a strong type system, and computational abstractions can help gui…
Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner +1
This paper provides an informal discussion of the formal aspects of software doping.
Reactive Synthesis: Towards Output-Sensitive Algorithms
Bernd Finkbeiner, Felix Klein
Reactive synthesis is a technology for the automatic construction of reactive systems from logical specifications. In these lecture notes, we study different algorithms for the rea…