19 citations · 31 across the 12 of their papers we have counts for
8 papers · 1 filter
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…
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…
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…
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…
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…