1 citations · 3 across the 7 of their papers we have counts for
7 papers
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch Lafuente +2
Context and Motivation Attack-Defense Trees (ADTs) are a graphical notation used to model and assess security requirements. ADTs are widely popular, as they can facilitate communic…
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…
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…
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Maurice H. ter Beek, Alessio Ferrari
Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different stud…
Featured Team Automata
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker +1
We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified…
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
Maurice H. ter Beek, Michele Loreti
Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous beh…