18 citations · 72 across the 23 of their papers we have counts for
30 papers
-Regular Energy Problems
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
We show how to efficiently solve problems involving a quantitative measure, here called energy, as well as a qualitative acceptance condition, expressed as a Büchi or Parity object…
A Generic Approach to Quantitative Verification
Uli Fahrenberg
This thesis is concerned with quantitative verification, that is, the verification of quantitative properties of quantitative systems. These systems are found in numerous applicati…
Generating Posets with Interfaces
Olavi Äikäs, Uli Fahrenberg, Christian Johansen +1
We generate and count isomorphism classes of gluing-parallel posets with interfaces (iposets) on up to eight points, and on up to ten points with interfaces removed. In order to do…
lr-Multisemigroups and Modal Convolution Algebras
Uli Fahrenberg, Christian Johnsen, Georg Struth +1
We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales…
Domain Semirings United
Uli Fahrenberg, Christian Johansen, Georg Struth +1
Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the…
Behavioral Specification Theories: an Algebraic Taxonomy
Uli Fahrenberg, Axel Legay
We develop a taxonomy of different behavioral specification theories and expose their algebraic properties. We start by clarifying what precisely constitutes a behavioral specifica…