19 citations · 31 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
Proceedings of the First Workshop on Trends in Configurable Systems Analysis
Maurice H. ter Beek, Clemens Dubslaff
The analysis of configurable systems, i.e., systems those behaviors depend on parameters or support various features, is challenging due to the exponential blowup arising in the nu…
cs.FL2023★ 1 cited
Research Challenges in Orchestration Synthesis
Davide Basile, Maurice H. ter Beek
Contract automata allow to formally define the behaviour of service contracts in terms of service offers and requests, some of which are moreover optional and some of which are nec…