Zobrazeno 1 - 10
of 202
pro vyhledávání: '"TER BEEK, MAURICE H."'
Autor:
Broccia, Giovanna, ter Beek, Maurice H., Lafuente, Alberto Lluch, Spoletini, Paola, Ferrari, Alessio
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 communication between different stakeholders involved in system security evalu
Externí odkaz:
http://arxiv.org/abs/2404.06386
Publikováno v:
EPTCS 392, 2023
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 number of configuration options. This volume contains the post-proceedin
Externí odkaz:
http://arxiv.org/abs/2310.18720
Autor:
Päßler, Juliane, ter Beek, Maurice H., Damiani, Ferruccio, Tarifa, S. Lizeth Tapia, Johnsen, Einar Broch
Publikováno v:
iFM 2023, Lecture Notes in Computer Science, vol 14300, pp. 343-363
Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties in, e.g., their environment and their internal state. Self-adaptive systems are often modelled as two-layered systems with a managed subsystem handling the d
Externí odkaz:
http://arxiv.org/abs/2308.14663
Autor:
Basile, Davide, ter Beek, Maurice H.
Publikováno v:
EPTCS 383, 2023, pp. 73-90
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 necessary. A composition of contracts is said to be in agreement if all s
Externí odkaz:
http://arxiv.org/abs/2308.10651
Autor:
ter Beek, Maurice H., Ferrari, Alessio
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 study strategies (laboratory experiments with software and human subjects,
Externí odkaz:
http://arxiv.org/abs/2208.05266