Paola Spoletini

Kennesaw State University — United States

Computer Science · Physical Sciences

22h-index1.8kcitations148works1.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Software Engineering Methodologies(42), Formal Methods in Verification(37), Software Engineering Techniques and Practices(35), Software Engineering Research(31), Model-Driven Software Engineering Techniques(19)

Publications148 total

Developing a Human-Centered App for Aging Populations
DigitalCommons - Kennesaw State University (Kennesaw State University)·2025
Summary of the 2nd International Workshop on Multi-disciplinary, Open, and IntegRatEd Requirements Engineering (MO2RE) co-located with the 47th IEEE/ACM ICSE 2025
ACM SIGSOFT Software Engineering Notes·2025
Designing Age-Friendly Apps: Mining Functional, Usability, and Privacy Requirements from Existing Mobile Applications
2025
Technology Designed for Older Adults: You Can’t Spell Stakeholder without Older!
2025
Augmenting, Not Replacing: The Role of LLMs in Human-Centric Formal RE
2025
Can LLMs Generate User Stories and Assess Their Quality?
ArXiv.org·2025Open Access
Editorial: Special issue on IEEE RE 2024
Requirements Engineering·2025
(To Appear) The LTL Whisperer: Prompting AI to Explain Temporal Logic: Supplemental Information
2025Open Access
Formal requirements engineering and large language models: A two-way roadmap
Information and Software Technology·2025· 15 citedOpen Access
Towards Connecting Requirements with Developer Artifacts in a Local Context: Supplemental Material
2025Open Access
Towards Connecting Requirements with Developer Artifacts in a Local Context
Lecture notes in computer science·2025
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication
Information and Software Technology·2024· 1 citedOpen Access
Assessment and Instructor Engagement: A Student-Centric Perspectivefrom Gender and Minority Viewpoints
2024
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
arXiv (Cornell University)·2024Open Access
The Return of Formal Requirements Engineering in the Era of Large Language Models
Lecture notes in computer science·2024· 3 cited
EmoGame: Unraveling Emotional Correlations in Teen Video Gamers for Health Monitoring Insights - Biomedical Analysis of the Emotional Impact of Fortnite and Minecraft
2024Open Access
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
Lecture notes in computer science·2024· 2 citedOpen Access
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews
ACM Transactions on Software Engineering and Methodology·2023· 6 citedOpen Access
RE Practices When Developing IoT for Healthcare: The Case of GlucoCheck
2023· 1 cited
Towards Quantum Requirements Engineering
2023· 4 cited
page 1 of 8Next →

Frequent Co-authors

Alessio Ferrari(17), Carlo Ghezzi(13), Luciano Baresi(10), Stefania Gnesi(7), Didar Zowghi(7), Claudio Menghi(7), Domenico Bianculli(5), Sam Guinea(5), Muneera Bano(5), Liliana Pasquale(4), Beatrice Donati(4), Donatella Sciuto(3), Amir Molzam Sharifloo(3), Vahid Rafe(2), Adel Torkaman Rahmani(2), Bashar Nuseibeh(2), Angelo Morzenti(2), Matteo Pradella(2), Pierluigi San Pietro(2), Alessandro Antonio Nacci(2)