Paola Spoletini

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 54

Top Venues

REFSQ

Requir. Eng.

CoRR

Publications

Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews. ACM Trans. Softw. Eng. Methodol. 33 (4) (2024)
Paola Spoletini, Alessio Ferrari
The Return of Formal Requirements Engineering in the Era of Large Language Models. REFSQ (2024)
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR (2024)
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ (2024)
Fabiano Dalpiaz, Paola Spoletini
Editorial. Requir. Eng. 28 (1) (2023)
Maria Valero, Paola Spoletini
RE Practices When Developing IoT for Healthcare: The Case of GlucoCheck. REW (2023)
Paola Spoletini, Daniel Amyot
Preface: Journal Early Feedback Track. REFSQ Workshops (2023)
Paola Spoletini
Towards Quantum Requirements Engineering. REW (2023)
Alessio Ferrari, Paola Spoletini
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. CoRR (2023)
Alicia M. Grubb, Paola Spoletini
Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution. REFSQ (2023)
Alessio Ferrari, Paola Spoletini
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. ICSE (2023)
Roger Ian Konlog, Paola Spoletini
REIT-Builder: Customizable Training for Requirements Elicitation Interviews. REFSQ Workshops (2023)
Alessio Ferrari, Paola Spoletini, Sourav Debnath
How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis. CoRR (2022)
Alessio Ferrari, Paola Spoletini, Sourav Debnath
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis. Requir. Eng. 27 (4) (2022)
Himaja Cherukuri, Alessio Ferrari, Paola Spoletini
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. REFSQ (2022)
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi, Paola Spoletini
TOrPEDO: witnessing model correctness with topological proofs. Formal Aspects Comput. 33 (6) (2021)
Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi
Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews. CoRR (2021)
Yizhaq Benbenisty, Irit Hadar, Gil Luria, Paola Spoletini
Privacy as first-class requirements in software development: A socio-technical approach. ASE (2021)
Sourav Debnath, Paola Spoletini, Alessio Ferrari
From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. RE (2021)
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini
Inspectors Academy : Pedagogical Design for Requirements Inspection Training. RE (2020)
Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems. CoRR (2020)
Daniela Girardi, Alessio Ferrari, Nicole Novielli, Paola Spoletini, Davide Fucci, Thaide Huichapa
The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. RE (2020)
Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal. Requir. Eng. 25 (4) (2020)
Sourav Debnath, Paola Spoletini
Designing a Virtual Client for Requirements Elicitation Interviews. REFSQ (2020)
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
A verification-driven framework for iterative design of controllers. Formal Aspects Comput. 31 (5) (2019)
Richard Halstead-Nussloch, Paola Spoletini
On Including the Institutional Review Board Process in Undergraduate Information Technology Curricula. SIGITE (2019)
Alexander Dekhtyar, Jane Huffman Hayes, Irit Hadar, Erin Combs, Alessio Ferrari, Sarah Gregory, Jennifer Horkoff, Meira Levy, Maleknaz Nayebi, Barbara Paech, Jared Payne, Matt Primrose, Paola Spoletini, Shell Clarke, Chuck Brophy, Daniel Amyot, Walid Maalej, Guenther Ruhe, Jane Cleland-Huang, Didar Zowghi
Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. IEEE Softw. 36 (1) (2019)
Paola Spoletini, Patrick Mäder
Preface. REFSQ Workshops (2019)
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati
Teaching requirements elicitation interviews: an empirical study of learning from mistakes. Requir. Eng. 24 (3) (2019)
Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
Ambiguity in Requirements Engineering: Towards a Unifying Framework. From Software Engineering to Formal Methods and Tools, and Back (2019)
Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi
Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. RE (2019)
Kim Hertz, Paola Spoletini
Are Requirements Engineering Courses Covering what Industry Needs? A Preliminary Analysis of the United States Situation. REET@RE (2018)
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
Supporting Verification-Driven Incremental Distributed Design of Components. FASE (2018)
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. RE (2018)
Alessandro Antonio Nacci, Vincenzo Rana, Bharathan Balaji, Paola Spoletini, Rajesh K. Gupta, Donatella Sciuto, Yuvraj Agarwal
BuildingRules: A Trigger-Action-Based System to Manage Complex Commercial Buildings. ACM Trans. Cyber Phys. Syst. 2 (2) (2018)
Paola Spoletini, Reza M. Parizi
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education. FIE (2018)
Paola Spoletini, Alessio Ferrari, Muneera Bano, Didar Zowghi, Stefania Gnesi
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. REFSQ (2018)
Reza M. Parizi, Paola Spoletini, Amritraj Singh
Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology. FIE (2018)
Paola Spoletini, Alessio Ferrari
Requirements Elicitation: A Look at the Future Through the Lenses of the Past. RE (2017)
Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE (2017)
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
From model checking to a temporal proof for partial models: preliminary example. CoRR (2017)
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
From Model Checking to a Temporal Proof for Partial Models. SEFM (2017)
Alessio Ferrari, Paola Spoletini, Beatrice Donati, Didar Zowghi, Stefania Gnesi
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. RE (2017)
Beatrice Donati, Alessio Ferrari, Paola Spoletini, Stefania Gnesi
Common Mistakes of Student Analysts in Requirements Elicitation Interviews. REFSQ (2017)
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
COVER: Change-based Goal Verifier and Reasoner. REFSQ Workshops (2017)
Carlo A. Furia, Paola Spoletini
Bounded variability of metric temporal logic. Ann. Math. Artif. Intell. 80 (3-4) (2017)
Aman Bhimani, Paola Spoletini
Empowering Requirements Elicitation for Populations with Special Needs by Using Virtual Reality. ACM Southeast Regional Conference (2017)
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Integrating Goal Model Analysis with Iterative Design. REFSQ (2017)
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Dealing with Incompleteness in Automata-Based Model Checking. FM (2016)
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Modeling, refining and analyzing Incomplete Büchi Automata. CoRR (2016)
Liliana Pasquale, Paola Spoletini, Mazeiar Salehie, Luca Cavallaro, Bashar Nuseibeh
Automating trade-off analysis of security requirements. Requir. Eng. 21 (4) (2016)
Alessio Ferrari, Paola Spoletini, Stefania Gnesi
Ambiguity and tacit knowledge in requirements elicitation interviews. Requir. Eng. 21 (3) (2016)
Paola Spoletini, Casey Brock, Rahat Shahwar, Alessio Ferrari
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. RE (2016)
Alessio Ferrari, Paola Spoletini, Stefania Gnesi
Ambiguity Cues in Requirements Elicitation Interviews. RE (2016)
Alessandro Antonio Nacci, Bharathan Balaji, Paola Spoletini, Rajesh K. Gupta, Donatella Sciuto, Yuvraj Agarwal
BuildingRules: a trigger-action based system to manage complex commercial buildings. UbiComp/ISWC Adjunct (2015)
Alessio Ferrari, Paola Spoletini, Stefania Gnesi
Ambiguity as a resource to disclose tacit knowledge. RE (2015)
Carlo A. Furia, Paola Spoletini
Bounded Variability of Metric Temporal Logic. TIME (2014)
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
On requirement verification for evolving Statecharts specifications. Requir. Eng. 19 (3) (2014)
Achille Frigeri, Liliana Pasquale, Paola Spoletini
Fuzzy Time in Linear Temporal Logic. ACM Trans. Comput. Log. 15 (4) (2014)
Alessandro Campi, Sam Guinea, Paola Spoletini
An Operational Semantics for XML Fuzzy Queries. IJCCI (FCTA) (2014)
Paola Spoletini, Alessio Ferrari, Stefania Gnesi
Context transformations for goal models. MoDRE (2014)
Liliana Pasquale, Paola Spoletini, Dario Pometto, Francesco Blasi, Tiziana Redaelli
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games. REFSQ (2013)
Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli
Managing non-functional uncertainty via model-driven adaptivity. ICSE (2013)
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
On requirements verification for model refinements. RE (2013)
Carlo A. Furia, Paola Spoletini
Bounded Variability of Metric Temporal Logic. CoRR (2013)
Achille Frigeri, Liliana Pasquale, Paola Spoletini
Fuzzy Time in LTL CoRR (2012)
Amir Molzam Sharifloo, Paola Spoletini
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. FACS (2012)
Carlo A. Furia, Paola Spoletini
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. TIME (2012)
Liliana Pasquale, Paola Spoletini
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. RESS (2011)
Carlo A. Furia, Paola Spoletini
On Relaxing Metric Information in Linear Temporal Logic. TIME (2011)
Sam Guinea, Paola Spoletini
Evaluating the compatibility of conversational service interactions. PESOS@ICSE (2011)
Luciano Baresi, Liliana Pasquale, Paola Spoletini
Fuzzy Goals for Requirements-Driven Adaptation. RE (2010)
Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. 21 (2) (2010)
Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini
A control-theoretical methodology for the scheduling problem CoRR (2010)
Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini
Towards automated verification of layered graph transformation specifications. IET Softw. 3 (4) (2009)
Alessandro Campi, Ernesto Damiani, Sam Guinea, Stefania Marrara, Gabriella Pasi, Paola Spoletini
A fuzzy extension of the XPath query language. J. Intell. Inf. Syst. 33 (3) (2009)
Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE (2009)
Simone Corbetta, Massimo Morandi, Marco Novati, Marco D. Santambrogio, Donatella Sciuto, Paola Spoletini
Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration. IEEE Trans. Very Large Scale Integr. Syst. 17 (11) (2009)
Carlo A. Furia, Paola Spoletini
Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS (2009)
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
Preface. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Carlo A. Furia, Paola Spoletini
On Relaxing Metric Information in Linear Temporal Logic CoRR (2009)
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini
An Efficient Solution for Model Checking Graph Transformation Systems. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Carlo A. Furia, Paola Spoletini
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC (2008)
Carlo A. Furia, Marco Mazzucchelli, Paola Spoletini, Mara Tanelli
Towards the exhaustive verification of real-time aspects in controller implementation. CACSD (2008)
Carlo A. Furia, Paola Spoletini
Practical Efficient Modular Linear-Time Model-Checking. ATVA (2008)
Paola Spoletini, Mario Verdicchio
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. COIN@AAMAS&AAAI (2008)
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE (2007)
Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN (2007)
Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA (2007)
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
A Model Checking Approach to Verify BPEL4WS Workflows. SOCA (2007)
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School (2007)
Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini
XQuery layers. SIGMOD Rec. 36 (1) (2007)
Paola Spoletini, Mario Verdicchio
Commitment Monitoring in a Multiagent System. CEEMAS (2007)
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
A Timed Extension of WSCoL. ICWS (2007)
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
Validation of web service compositions. IET Softw. 1 (6) (2007)
Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion (2007)
Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC (2007)
Luciano Baresi, Paola Spoletini
On the Use of Alloy to Analyze Graph Transformation Systems. ICGT (2006)
Alessandro Campi, Paola Spoletini
History Checking of XML Data Streams. DEXA Workshops (2006)
Alessandro Campi, Paola Spoletini
A framework for XML data streams history checking and monitoring. WWW (2006)

Paola Spoletini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paola Spoletini