◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

P. Spoletini

4 papers hereh-index 242k citations113 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author4

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • cs.SE3
  • cs.LO1

identity via Semantic Scholar / OpenAlex

activity
20172025
most citedFrom model checking to a temporal proof for partial models: preliminary example

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing cs.SEShow all

3 papers · 1 filter

cs.SE2025

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…

cs.SE2024

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…

cs.SE2020

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…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.