8 citations · 29 across the 12 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.FL2024
Checking Timed Bisimilarity with Virtual Clocks
Alexander Lieb, Hendrik Göttmann, Lars Luthmann +2
Timed automata are a widely used formalism for specifying the discrete-state/continuous-time behavior of time-critical reactive systems. For the fundamental verification problem of…
cs.SE2024★ 1 cited
Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
Robert Müller, Mathis Weiß, Malte Lochau
Cardinality-based feature models permit to select multiple copies of the same feature, thus generalizing the notion of product configurations from subsets of Boolean features to mu…