19 citations · 31 across the 12 of their papers we have counts for
12 papers
Human-AI Collaboration in Requirements Engineering: Evidence of the Negative Effect of LLMs on Requirements Inspection
Giovanna Broccia, Julian Frattini, Chetan Arora +4
Background. Requirements inspection (RI) is a well-established practice for detecting potential defects in requirements artifacts early in the software lifecycle. Recent advances i…
Overview and Roadmap of Team Automata
Maurice H. ter Beek, Rolf Hennicker, José Proença
Team Automata is a formalism for interacting component-based systems proposed in 1997, whereby multiple sending and receiving actions from concurrent automata can synchronise. Duri…
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…
Formal Methods in Railways: a Systematic Mapping Study
Alessio Ferrari, Maurice H. ter Beek
Formal methods are mathematically-based techniques for the rigorous development of software-intensive systems. The railway signaling domain is a field in which formal methods have…
A framework for quantitative modeling and analysis of highly (re)configurable systems
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optiona…
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, Alberto Lluch Lafuente
These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2…
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects. For this p…
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, António Ravara
These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2…
Product Lines for Service Oriented Applications - PL for SOA
Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima
PL for SOA proposes, formally, a software engineering methodology, development techniques and support tools for the provision of service product lines. We propose rigorous modeling…