Paola Spoletini
Orcid: 0000-0001-7922-4936
According to our database1,
Paola Spoletini
authored at least 108 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews.
ACM Trans. Softw. Eng. Methodol., May, 2024
Assessment and Instructor Engagement: A Student-Centric Perspectivefrom Gender and Minority Viewpoints.
Proceedings of the 25th Annual Conference on Information Technology Education, 2024
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024
2023
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.
Dataset, November, 2023
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.
Dataset, November, 2023
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.
Dataset, November, 2023
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.
Dataset, November, 2023
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.
Dataset, June, 2023
Proceedings of the Joint Proceedings of REFSQ-2023 Workshops, 2023
Proceedings of the Joint Proceedings of REFSQ-2023 Workshops, 2023
Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
2022
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis.
Requir. Eng., 2022
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022
2021
Formal Aspects Comput., 2021
Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews.
CoRR, 2021
From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation.
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021
Privacy as first-class requirements in software development: A socio-technical approach.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
2020
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal.
Requir. Eng., 2020
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems.
CoRR, 2020
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020
The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
2019
IEEE Softw., 2019
Teaching requirements elicitation interviews: an empirical study of learning from mistakes.
Requir. Eng., 2019
Formal Aspects Comput., 2019
On Including the Institutional Review Board Process in Undergraduate Information Technology Curricula.
Proceedings of the 20th Annual SIG Conference on Information Technology Education, 2019
Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
ACM Trans. Cyber Phys. Syst., 2018
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2018
Are Requirements Engineering Courses Covering what Industry Needs? A Preliminary Analysis of the United States Situation.
Proceedings of the 8th IEEE International Workshop on Requirements Engineering Education and Training, 2018
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education.
Proceedings of the IEEE Frontiers in Education Conference, 2018
Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology.
Proceedings of the IEEE Frontiers in Education Conference, 2018
Proceedings of the Fundamental Approaches to Software Engineering, 2018
2017
CoRR, 2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Empowering Requirements Elicitation for Populations with Special Needs by Using Virtual Reality.
Proceedings of the 2017 ACM Southeast Regional Conference, 2017
2016
Requir. Eng., 2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Proceedings of the FM 2016: Formal Methods, 2016
2015
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015
Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015
2014
Requir. Eng., 2014
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014
Proceedings of the FCTA 2014 - Proceedings of the International Conference on Fuzzy Computation Theory and Applications, part of IJCCI 2014, Rome, Italy, 22, 2014
2013
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results.
Proceedings of the Requirements Engineering for Systems, 2011
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011
2010
Int. J. Found. Comput. Sci., 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
2009
IEEE Trans. Very Large Scale Integr. Syst., 2009
IET Softw., 2009
Towards Relaxing Metric Information in Linear Temporal Logic.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
Towards the exhaustive verification of real-time aspects in controller implementation.
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
Proceedings of the Coordination, 2008
2007
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
Proceedings of the Multi-Agent Systems and Applications V, 2007
2006
Proceedings of the 15th international conference on World Wide Web, 2006
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures.
Proceedings of the IFIP VLSI-SoC 2006, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Flexible Query Answering Systems, 7th International Conference, 2006
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006
2005
Proceedings of the Service-Oriented Computing, 2005
A formal approach supporting the specification and verification of business conversation requirements.
Proceedings of the AC 2005, 2005
2003
Proceedings of the FME 2003: Formal Methods, 2003