6 citations · 15 across the 12 of their papers we have counts for
13 papers
Can LLMs Generate User Stories and Assess Their Quality?
Giovanni Quattrocchi, Liliana Pasquale, Paola Spoletini +1
Requirements elicitation is still one of the most challenging activities of the requirements engineering process due to the difficulty requirements analysts face in understanding a…
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…
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation
Alessio Ferrari, Paola Spoletini
App store-inspired elicitation is the practice of exploring competitors' apps, to get inspiration for requirements. This activity is common among developers, but little insight is…
How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis
Alessio Ferrari, Paola Spoletini, Sourav Debnath
Requirements are elicited from the customer and other stakeholders through an iterative process of interviews, prototyping, and other interactive sessions. Then, requirements can b…
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews
Alessio Ferrari, Thaide Huichapa, Paola Spoletini +3
Capturing users' engagement is crucial for gathering feedback about the features of a software product. In a market-driven context, current approaches to collect and analyze users'…
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems
Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh
Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and…
From model checking to a temporal proof for partial models: preliminary example
A. Bernasconi, C. Menghi, P. Spoletini +2
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed fo…
Modeling, refining and analyzing Incomplete Büchi Automata
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Software development is an iterative process which includes a set of development steps that transform the initial high level specification of the system into its final, fully speci…
Bounded Variability of Metric Temporal Logic
Carlo A. Furia, Paola Spoletini
Previous work has shown that reasoning with real-time temporal logics is often simpler when restricted to models with bounded variability---where no more than v events may occur ev…
Fuzzy Time in LTL
Achille Frigeri, Liliana Pasquale, Paola Spoletini
In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are…
A control-theoretical methodology for the scheduling problem
Carlo A. Furia, Alberto Leva, Martina Maggio +1
This paper presents a novel methodology to develop scheduling algorithms. The scheduling problem is phrased as a control problem, and control-theoretical techniques are used to des…
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions
Filippo Bonchi, Davide Grohmann, Paola Spoletini +1
This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a sa…
On Relaxing Metric Information in Linear Temporal Logic
Carlo A. Furia, Paola Spoletini
Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric L…