66 citations · 568 across the 83 of their papers we have counts for
4 papers · 1 filter
What You Really Need To Know About Your Neighbor
Werner Damm, Bernd Finkbeiner, Astrid Rakow
A fundamental question in system design is to decide how much of the design of one component must be known in order to successfully design another component of the system. We study…
The First-Order Logic of Hyperproperties
Bernd Finkbeiner, Martin Zimmermann
We investigate the logical foundations of hyperproperties. Hyperproperties generalize trace properties, which are sets of traces, to sets of sets of traces. The most prominent appl…
Deciding Hyperproperties
Bernd Finkbeiner, Christopher Hahn
Hyperproperties, like observational determinism or symmetry, cannot be expressed as properties of individual computation traces, because they describe a relation between multiple c…
Bounded Cycle Synthesis
Bernd Finkbeiner, Felix Klein
We introduce a new approach for the synthesis of Mealy machines from specifications in linear-time temporal logic (LTL), where the number of cycles in the state graph of the implem…