| 2025 | RE | Technology Designed for Older Adults: You Can't Spell Stakeholder without Older! | Alicia M. Grubb, Valentina Nino, Israel Sanchez-Cardona, Paola Spoletini, Maria Valero |
| 2025 | RE | Augmenting, Not Replacing: The Role of LLMs in Human-Centric Formal RE. | Sonora Halili, Paola Spoletini, Alicia M. Grubb |
| 2025 | RE | Designing Age-Friendly Apps: Mining Functional, Usability, and Privacy Requirements from Existing Mobile Applications. | Nancy Manasreh, Paola Spoletini, Maria Valero, Valentina Nino, Israel Sanchez-Cardona |
| 2025 | REFSQ | Preface: Education and Training Track @REFSQ. | Fatma Basak Aydemir, Paola Spoletini |
| 2025 | REFSQ | Towards Connecting Requirements with Developer Artifacts in a Local Context. | Sonora Halili, Karenna Kung, Paola Spoletini, Alicia M. Grubb |
| 2024 | REFSQ | 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 |
| 2024 | REFSQ | The Return of Formal Requirements Engineering in the Era of Large Language Models. | Paola Spoletini, Alessio Ferrari |
| 2024 | SIGITE | Assessment and Instructor Engagement: A Student-Centric Perspectivefrom Gender and Minority Viewpoints. | Milly Namukasa, Paola Spoletini, Svetlana Peltsverger |
| 2023 | ICSE | Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. | Alessio Ferrari, Paola Spoletini |
| 2023 | RE | Towards Quantum Requirements Engineering. | Paola Spoletini |
| 2023 | RE | RE Practices When Developing IoT for Healthcare: The Case of GlucoCheck. | Maria Valero, Paola Spoletini |
| 2023 | REFSQ | Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution. | Alicia M. Grubb, Paola Spoletini |
| 2023 | REFSQ | REIT-Builder: Customizable Training for Requirements Elicitation Interviews. | Roger Ian Konlog, Paola Spoletini |
| 2023 | REFSQ | Preface: Journal Early Feedback Track. | Paola Spoletini, Daniel Amyot |
| 2022 | REFSQ | Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. | Himaja Cherukuri, Alessio Ferrari, Paola Spoletini |
| 2021 | RE | From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. | Sourav Debnath, Paola Spoletini, Alessio Ferrari |
| 2020 | RE | Inspectors Academy : Pedagogical Design for Requirements Inspection Training. | Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini |
| 2020 | RE | The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. | Daniela Girardi, Alessio Ferrari, Nicole Novielli, Paola Spoletini, Davide Fucci, Thaide Huichapa |
| 2020 | REFSQ | Designing a Virtual Client for Requirements Elicitation Interviews. | Sourav Debnath, Paola Spoletini |
| 2019 | RE | Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. | Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi |
| 2019 | REFSQ | Preface. | Paola Spoletini, Patrick Mder |
| 2019 | SIGITE | On Including the Institutional Review Board Process in Undergraduate Information Technology Curricula. | Richard Halstead-Nussloch, Paola Spoletini |
| 2018 | FASE | Supporting Verification-Driven Incremental Distributed Design of Components. | Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi |
| 2018 | FIE | Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology. | Reza M. Parizi, Paola Spoletini, Amritraj Singh |
| 2018 | FIE | Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education. | Paola Spoletini, Reza M. Parizi |
| 2018 | RE | Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. | Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati |
| 2018 | RE | Are Requirements Engineering Courses Covering what Industry Needs? A Preliminary Analysis of the United States Situation. | Kim Hertz, Paola Spoletini |
| 2018 | REFSQ | Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. | Paola Spoletini, Alessio Ferrari, Muneera Bano, Didar Zowghi, Stefania Gnesi |
| 2017 | RE | Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. | Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh |
| 2017 | RE | Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. | Alessio Ferrari, Paola Spoletini, Beatrice Donati, Didar Zowghi, Stefania Gnesi |
| 2017 | RE | Requirements Elicitation: A Look at the Future Through the Lenses of the Past. | Paola Spoletini, Alessio Ferrari |
| 2017 | REFSQ | Common Mistakes of Student Analysts in Requirements Elicitation Interviews. | Beatrice Donati, Alessio Ferrari, Paola Spoletini, Stefania Gnesi |
| 2017 | REFSQ | Integrating Goal Model Analysis with Iterative Design. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2017 | REFSQ | COVER: Change-based Goal Verifier and Reasoner. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2017 | SEFM | From Model Checking to a Temporal Proof for Partial Models. | Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi |
| 2016 | FM | Dealing with Incompleteness in Automata-Based Model Checking. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2016 | RE | Ambiguity Cues in Requirements Elicitation Interviews. | Alessio Ferrari, Paola Spoletini, Stefania Gnesi |
| 2016 | RE | Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. | Paola Spoletini, Casey Brock, Rahat Shahwar, Alessio Ferrari |
| 2015 | RE | Ambiguity as a resource to disclose tacit knowledge. | Alessio Ferrari, Paola Spoletini, Stefania Gnesi |
| 2014 | IJCCI | An Operational Semantics for XML Fuzzy Queries. | Alessandro Campi, Sam Guinea, Paola Spoletini |
| 2014 | RE | Context transformations for goal models. | Paola Spoletini, Alessio Ferrari, Stefania Gnesi |
| 2014 | TIME | Bounded Variability of Metric Temporal Logic. | Carlo A. Furia, Paola Spoletini |
| 2013 | ICSE | Managing non-functional uncertainty via model-driven adaptivity. | Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli |
| 2013 | RE | On requirements verification for model refinements. | Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini |
| 2013 | REFSQ | Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games. | Liliana Pasquale, Paola Spoletini, Dario Pometto, Francesco Blasi, Tiziana Redaelli |
| 2012 | TIME | Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. | Carlo A. Furia, Paola Spoletini |
| 2011 | ICSE | Evaluating the compatibility of conversational service interactions. | Sam Guinea, Paola Spoletini |
| 2011 | RE | Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. | Liliana Pasquale, Paola Spoletini |
| 2011 | TIME | On Relaxing Metric Information in Linear Temporal Logic. | Carlo A. Furia, Paola Spoletini |
| 2010 | RE | Fuzzy Goals for Requirements-Driven Adaptation. | Luciano Baresi, Liliana Pasquale, Paola Spoletini |
| 2009 | FORTE | Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. | Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini |
| 2008 | ATVA | Practical Efficient Modular Linear-Time Model-Checking. | Carlo A. Furia, Paola Spoletini |
| 2008 | ICTAC | Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. | Carlo A. Furia, Paola Spoletini |
| 2007 | ATVA | Quantifying the Discord: Order Discrepancies in Message Sequence Charts. | Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini |
| 2007 | FORTE | Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
| 2007 | ICSE | Trio2Promela: A Model Checker for Temporal Metric Specifications. | Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
| 2007 | ICTAC | FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. | Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio |
| 2007 | ICWS | A Timed Extension of WSCoL. | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |
| 2006 | FQAS | A Fuzzy Extension for the XPath Query Language. | Alessandro Campi, Sam Guinea, Paola Spoletini |
| 2006 | WWW | A framework for XML data streams history checking and monitoring. | Alessandro Campi, Paola Spoletini |
| 2005 | ICSOC | Modeling and Analyzing Context-Aware Composition of Services. | Enzo Colombo, John Mylopoulos, Paola Spoletini |
| 2003 | FM | Model-Checking TRIO Specifications in SPIN. | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |