Model-Checking TRIO Specifications in SPIN. - Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro; Paola Spoletini (FME, 2003)

A formal approach supporting the specification and verification of business conversation requirements. - Alessandra Cherubini; Enzo Colombo; Chiara Francalanci; Paola Spoletini (IADIS AC, 2005)

Modeling and Analyzing Context-Aware Composition of Services. - Enzo Colombo; John Mylopoulos; Paola Spoletini (ICSOC, 2005)

Verification of temporal logic specifications via model checking. - Paola Spoletini (2005)

History Checking of XML Data Streams. - Alessandro Campi; Paola Spoletini (DEXA Workshops, 2006)

A Fuzzy Extension for the XPath Query Language. - Alessandro Campi; Sam Guinea; Paola Spoletini (FQAS, 2006)

On the Use of Alloy to Analyze Graph Transformation Systems. - Luciano Baresi; Paola Spoletini (ICGT, 2006)

A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures. - Marco Giorgetta; Marco D. Santambrogio; Donatella Sciuto; Paola Spoletini (VLSI-SoC, 2006)

A framework for XML data streams history checking and monitoring. - Alessandro Campi; Paola Spoletini (WWW, 2006)

Commitment Monitoring in a Multiagent System. - Paola Spoletini; Mario Verdicchio (CEEMAS, 2007)

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. - Fei He 001; Luciano Baresi; Carlo Ghezzi; Paola Spoletini (FORTE, 2007)

Model Checking Temporal Metric Specifications with Trio2Promela. - Domenico Bianculli; Paola Spoletini; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro (FSEN, 2007)

Trio2Promela: A Model Checker for Temporal Metric Specifications. - Domenico Bianculli; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro; Paola Spoletini (ICSE Companion, 2007)

FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. - Andrea Matta; Matteo Rossi 001; Paola Spoletini; Dino Mandrioli; Quirico Semeraro; Tullio Tolio (ICTAC, 2007)

A Timed Extension of WSCoL. - Luciano Baresi; Domenico Bianculli; Carlo Ghezzi; Sam Guinea; Paola Spoletini (ICWS, 2007)

A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. - Domenico Bianculli; Carlo Ghezzi; Paola Spoletini; Luciano Baresi; Sam Guinea (Lipari Summer School, 2007)

A Model Checking Approach to Verify BPEL4WS Workflows. - Domenico Bianculli; Carlo Ghezzi; Paola Spoletini (SOCA, 2007)

An Efficient Solution for Model Checking Graph Transformation Systems. - Luciano Baresi; Vahid Rafe; Adel Torkaman Rahmani; Paola Spoletini (GT-VC@CONCUR, 2007)

Validation of web service compositions. - Luciano Baresi; Domenico Bianculli; Carlo Ghezzi; Sam Guinea; Paola Spoletini (IET Softw., 2007)

XQuery layers. - Daniele Braga; Alessandro Campi; Stefano Ceri; Paola Spoletini (SIGMOD Rec., 2007)

An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. - Paola Spoletini; Mario Verdicchio (COIN@AAMAS&AAAI, 2008)

Practical Efficient Modular Linear-Time Model-Checking. - Carlo A. Furia; Paola Spoletini (ATVA, 2008)

Towards the exhaustive verification of real-time aspects in controller implementation. - Carlo A. Furia; Marco Mazzucchelli; Paola Spoletini; Mara Tanelli (CACSD, 2008)

Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. - Carlo A. Furia; Paola Spoletini (ICTAC, 2008)

Preface. - Filippo Bonchi; Davide Grohmann; Paola Spoletini; Angelo Troina; Emilio Tuosto (ICE@ICALP, 2008)

Model Checking. - Doron A. Peled; Patrizio Pelliccione; Paola Spoletini (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. - Luciano Baresi; Domenico Bianculli; Sam Guinea; Paola Spoletini (FMOODS/FORTE, 2009)

Towards Relaxing Metric Information in Linear Temporal Logic. - Carlo A. Furia; Paola Spoletini (ICTCS, 2009)

Towards automated verification of layered graph transformation specifications. - Vahid Rafe; Adel Torkaman Rahmani; Luciano Baresi; Paola Spoletini (IET Softw., 2009)

A fuzzy extension of the XPath query language. - Alessandro Campi; Ernesto Damiani; Sam Guinea; Stefania Marrara; Gabriella Pasi; Paola Spoletini (J. Intell. Inf. Syst., 2009)

Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration. - Simone Corbetta; Massimo Morandi; Marco Novati; Marco D. Santambrogio; Donatella Sciuto; Paola Spoletini (IEEE Trans. Very Large Scale Integr. Syst., 2009)

Fuzzy Goals for Requirements-Driven Adaptation. - Luciano Baresi; Liliana Pasquale; Paola Spoletini (RE, 2010)

A control-theoretical methodology for the scheduling problem - Carlo A. Furia; Alberto Leva; Martina Maggio; Paola Spoletini (CoRR, 2010)

Quantifying the Discord: Order Discrepancies in Message Sequence Charts. - Edith Elkind; Blaise Genest; Doron A. Peled; Paola Spoletini (Int. J. Found. Comput. Sci., 2010)

Evaluating the compatibility of conversational service interactions. - Sam Guinea; Paola Spoletini (PESOS@ICSE, 2011)

Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. - Liliana Pasquale; Paola Spoletini (RESS, 2011)

On Relaxing Metric Information in Linear Temporal Logic. - Carlo A. Furia; Paola Spoletini (TIME, 2011)

LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. - Amir Molzam Sharifloo; Paola Spoletini (FACS, 2012)

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. - Carlo A. Furia; Paola Spoletini (TIME, 2012)

Fuzzy Time in LTL - Achille Frigeri; Liliana Pasquale; Paola Spoletini (CoRR, 2012)

Verification and Analysis of Autonomic Systems for Networked Enterprises. - Antonia Bertolino; Guglielmo De Angelis; Felicita Di Giandomenico; Eda Marchetti; Antonino Sabetta; Paola Spoletini (ArtDeco, 2012)

Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. - Eugenio Zimeo; Valentina Mazza; Giorgio Orsi 001; Elisa Quintarelli; Antonio Romano; Paola Spoletini; Giancarlo Tretola; Alessandro Amirante; Alessio Botta; Luca Cavallaro; Domenico Consoli; Ester Giallonardo; et al. (ArtDeco, 2012)

Managing non-functional uncertainty via model-driven adaptivity. - Carlo Ghezzi; Leandro Sales Pinto; Paola Spoletini; Giordano Tamburrelli (ICSE, 2013)

On requirements verification for model refinements. - Carlo Ghezzi; Claudio Menghi; Amir Molzam Sharifloo; Paola Spoletini (RE, 2013)

Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games. - Liliana Pasquale; Paola Spoletini; Dario Pometto; Francesco Blasi; Tiziana Redaelli (REFSQ, 2013)

An Operational Semantics for XML Fuzzy Queries. - Alessandro Campi; Sam Guinea; Paola Spoletini (IJCCI (FCTA), 2014)

Context transformations for goal models. - Paola Spoletini; Alessio Ferrari 001; Stefania Gnesi (MoDRE, 2014)

On requirement verification for evolving Statecharts specifications. - Carlo Ghezzi; Claudio Menghi; Amir Molzam Sharifloo; Paola Spoletini (Requir. Eng., 2014)

Fuzzy Time in Linear Temporal Logic. - Achille Frigeri; Liliana Pasquale; Paola Spoletini (ACM Trans. Comput. Log., 2014)

BuildingRules: a trigger-action based system to manage complex commercial buildings. - Alessandro Antonio Nacci; Bharathan Balaji; Paola Spoletini; Rajesh K. Gupta 001; Donatella Sciuto; Yuvraj Agarwal (UbiComp/ISWC Adjunct, 2015)

Ambiguity as a resource to disclose tacit knowledge. - Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi (RE, 2015)

Dealing with Incompleteness in Automata-Based Model Checking. - Claudio Menghi; Paola Spoletini; Carlo Ghezzi (FM, 2016)

Ambiguity Cues in Requirements Elicitation Interviews. - Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi (RE, 2016)

Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. - Paola Spoletini; Casey Brock; Rahat Shahwar; Alessio Ferrari 001 (RE, 2016)

Modeling, refining and analyzing Incomplete Büchi Automata. - Claudio Menghi; Paola Spoletini; Carlo Ghezzi (CoRR, 2016)

Ambiguity and tacit knowledge in requirements elicitation interviews. - Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi (Requir. Eng., 2016)

Automating trade-off analysis of security requirements. - Liliana Pasquale; Paola Spoletini; Mazeiar Salehie; Luca Cavallaro; Bashar Nuseibeh (Requir. Eng., 2016)

Empowering Requirements Elicitation for Populations with Special Needs by Using Virtual Reality. - Aman Bhimani; Paola Spoletini (ACM Southeast Regional Conference, 2017)

Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. - Yehia Elrakaiby; Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi; Bashar Nuseibeh (RE, 2017)

Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. - Alessio Ferrari 001; Paola Spoletini; Beatrice Donati; Didar Zowghi; Stefania Gnesi (RE, 2017)

Requirements Elicitation: A Look at the Future Through the Lenses of the Past. - Paola Spoletini; Alessio Ferrari 001 (RE, 2017)

Common Mistakes of Student Analysts in Requirements Elicitation Interviews. - Beatrice Donati; Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi (REFSQ, 2017)

Integrating Goal Model Analysis with Iterative Design. - Claudio Menghi; Paola Spoletini; Carlo Ghezzi (REFSQ, 2017)

COVER: Change-based Goal Verifier and Reasoner. - Claudio Menghi; Paola Spoletini; Carlo Ghezzi (REFSQ Workshops, 2017)

From Model Checking to a Temporal Proof for Partial Models. - Anna Bernasconi 002; Claudio Menghi; Paola Spoletini; Lenore D. Zuck; Carlo Ghezzi (SEFM, 2017)

Bounded variability of metric temporal logic. - Carlo A. Furia; Paola Spoletini (Ann. Math. Artif. Intell., 2017)

From model checking to a temporal proof for partial models: preliminary example. - Anna Bernasconi 002; Claudio Menghi; Paola Spoletini; Lenore D. Zuck; Carlo Ghezzi (CoRR, 2017)

Supporting Verification-Driven Incremental Distributed Design of Components. - Claudio Menghi; Paola Spoletini; Marsha Chechik; Carlo Ghezzi (FASE, 2018)

Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology. - Reza M. Parizi; Paola Spoletini; Amritraj Singh (FIE, 2018)

Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education. - Paola Spoletini; Reza M. Parizi (FIE, 2018)

Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. - Muneera Bano; Didar Zowghi; Alessio Ferrari 001; Paola Spoletini; Beatrice Donati (RE, 2018)

Are Requirements Engineering Courses Covering what Industry Needs? A Preliminary Analysis of the United States Situation. - Kim Hertz; Paola Spoletini (REET@RE, 2018)

Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. - Paola Spoletini; Alessio Ferrari 001; Muneera Bano; Didar Zowghi; Stefania Gnesi (REFSQ, 2018)

BuildingRules: A Trigger-Action-Based System to Manage Complex Commercial Buildings. - Alessandro Antonio Nacci; Vincenzo Rana; Bharathan Balaji; Paola Spoletini; Rajesh K. Gupta 001; Donatella Sciuto; Yuvraj Agarwal (ACM Trans. Cyber Phys. Syst., 2018)

Ambiguity in Requirements Engineering: Towards a Unifying Framework. - Vincenzo Gervasi; Alessio Ferrari 001; Didar Zowghi; Paola Spoletini (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. - Alessio Ferrari 001; Paola Spoletini; Muneera Bano; Didar Zowghi (RE, 2019)

Preface. - Paola Spoletini; Patrick Mäder (REFSQ Workshops, 2019)

On Including the Institutional Review Board Process in Undergraduate Information Technology Curricula. - Richard Halstead-Nussloch; Paola Spoletini (SIGITE, 2019)

A verification-driven framework for iterative design of controllers. - Claudio Menghi; Paola Spoletini; Marsha Chechik; Carlo Ghezzi (Formal Aspects Comput., 2019)

Teaching requirements elicitation interviews: an empirical study of learning from mistakes. - Muneera Bano; Didar Zowghi; Alessio Ferrari 001; Paola Spoletini; Beatrice Donati (Requir. Eng., 2019)

Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. - Alexander Dekhtyar; Jane Huffman Hayes; Irit Hadar; Erin Combs; Alessio Ferrari 001; Sarah Gregory; Jennifer Horkoff; Meira Levy; Maleknaz Nayebi; Barbara Paech; Jared Payne; Matt Primrose; et al. (IEEE Softw., 2019)

Inspectors Academy : Pedagogical Design for Requirements Inspection Training. - Muneera Bano; Didar Zowghi; Alessio Ferrari 001; Paola Spoletini (RE, 2020)

The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. - Daniela Girardi; Alessio Ferrari 001; Nicole Novielli; Paola Spoletini; Davide Fucci; Thaide Huichapa (RE, 2020)

Designing a Virtual Client for Requirements Elicitation Interviews. - Sourav Debnath; Paola Spoletini (REFSQ, 2020)

Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems. - Yehia Elrakaiby; Paola Spoletini; Bashar Nuseibeh (CoRR, 2020)

SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal. - Alessio Ferrari 001; Paola Spoletini; Muneera Bano; Didar Zowghi (Requir. Eng., 2020)

Privacy as first-class requirements in software development: A socio-technical approach. - Yizhaq Benbenisty; Irit Hadar; Gil Luria; Paola Spoletini (ASE, 2021)

From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. - Sourav Debnath; Paola Spoletini; Alessio Ferrari 001 (RE, 2021)

Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews. - Alessio Ferrari 001; Thaide Huichapa; Paola Spoletini; Nicole Novielli; Davide Fucci; Daniela Girardi (CoRR, 2021)

TOrPEDO: witnessing model correctness with topological proofs. - Claudio Menghi; Alessandro Maria Rizzi; Anna Bernasconi 002; Paola Spoletini (Formal Aspects Comput., 2021)

Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. - Himaja Cherukuri; Alessio Ferrari 001; Paola Spoletini (REFSQ, 2022)

How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis. - Alessio Ferrari 001; Paola Spoletini; Sourav Debnath (Requir. Eng., 2022)

Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. - Alessio Ferrari 001; Paola Spoletini (ICSE, 2023)

Towards Quantum Requirements Engineering. - Paola Spoletini (REW, 2023)

RE Practices When Developing IoT for Healthcare: The Case of GlucoCheck. - Maria Valero; Paola Spoletini (REW, 2023)

Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution. - Alicia M. Grubb; Paola Spoletini (REFSQ, 2023)

REIT-Builder: Customizable Training for Requirements Elicitation Interviews. - Roger Ian Konlog; Paola Spoletini (REFSQ Workshops, 2023)

Preface: Journal Early Feedback Track. - Paola Spoletini; Daniel Amyot (REFSQ Workshops, 2023)

Editorial. - Fabiano Dalpiaz; Paola Spoletini (Requir. Eng., 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (REFSQ, 2024)

The Return of Formal Requirements Engineering in the Era of Large Language Models. - Paola Spoletini; Alessio Ferrari 001 (REFSQ, 2024)

Assessment and Instructor Engagement: A Student-Centric Perspectivefrom Gender and Minority Viewpoints. - Milly Namukasa; Paola Spoletini; Svetlana Peltsverger (SIGITE, 2024)

Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews. - Alessio Ferrari 001; Thaide Huichapa; Paola Spoletini; Nicole Novielli; Davide Fucci; Daniela Girardi (ACM Trans. Softw. Eng. Methodol., 2024)

Preface: Education and Training Track @REFSQ. - Fatma Basak Aydemir; Paola Spoletini (REFSQ Workshops, 2025)

Towards Connecting Requirements with Developer Artifacts in a Local Context. - Sonora Halili; Karenna Kung; Paola Spoletini; Alicia M. Grubb (REFSQ, 2025)

Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessandro Fantechi; Alessio Ferrari 001 (Inf. Softw. Technol., 2025)

Formal requirements engineering and large language models: A two-way roadmap. - Alessio Ferrari 001; Paola Spoletini (Inf. Softw. Technol., 2025)

Can LLMs Generate User Stories and Assess Their Quality? - Giovanni Quattrocchi; Liliana Pasquale; Paola Spoletini; Luciano Baresi (CoRR, 2025)