Paola Spoletini

128 papers A* 4A 18B 17C 11Misc 2Journal 35Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Augmenting, Not Replacing: The Role of LLMs in Human-Centric Formal RE. RE Sonora Halili, Paola Spoletini, Alicia M. Grubb
2025	J	`jnl`	Can LLMs Generate User Stories and Assess Their Quality? CoRR Giovanni Quattrocchi, Liliana Pasquale, Paola Spoletini, Luciano Baresi
2025	—	`conf`	Designing Age-Friendly Apps: Mining Functional, Usability, and Privacy Requirements from Existing Mobile Applications. REW Nancy Manasreh, Paola Spoletini, Maria Valero, Valentina Nino, Israel Sanchez-Cardona
2025	J	`jnl`	Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. Inf. Softw. Technol. Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessandro Fantechi, Alessio Ferrari
2025	J	`jnl`	Formal requirements engineering and large language models: A two-way roadmap. Inf. Softw. Technol. Alessio Ferrari, Paola Spoletini
2025	—	`ed.`	Joint Proceedings of REFSQ 2025 Workshops, Doctoral Symposium, Posters & Tools Track, and Education and Training Track co-located with 31st International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2025), Barcelona, Spain, April 7-10, 2025. REFSQ Workshops Anne Hess, Angelo Susi, Eduard C. Groen, Marcela Ruiz, Muhammad Abbas Khan, Fatma Basak Aydemir, Maya Daneva, Renata S. S. Guizzardi, Jens Gulden, Andrea Herrmann, Jennifer Horkoff, Sylwia Kopczynska, Patrick Mennig, Marc Oriol, Elda Paja, Anna Perini, Alexander Rachmann, Kurt Schneider, Laura Semini, Paola Spoletini, Andreas Vogelsang
2025	—	`conf`	Preface: Education and Training Track @REFSQ. REFSQ Workshops Fatma Basak Aydemir, Paola Spoletini
2025	J	`jnl`	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 Softw. Eng. Notes Sallam Abualhaija, Daniel Amyot, Chetan Arora, Alessio Ferrari, Davide Fucci, Paola Spoletini
2025	A	`conf`	Technology Designed for Older Adults: You Can't Spell Stakeholder without Older! RE Alicia M. Grubb, Valentina Nino, Israel Sanchez-Cardona, Paola Spoletini, Maria Valero
2025	B	`conf`	Towards Connecting Requirements with Developer Artifacts in a Local Context. REFSQ Sonora Halili, Karenna Kung, Paola Spoletini, Alicia M. Grubb
2024	A	`ed.`	32nd IEEE International Requirements Engineering Conference, RE 2024, Reykjavik, Iceland, June 24-28, 2024 RE Grischa Liebel, Irit Hadar, Paola Spoletini
2024	B	`conf`	Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024	J	`jnl`	Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024	Misc	`conf`	Assessment and Instructor Engagement: A Student-Centric Perspectivefrom Gender and Minority Viewpoints. SIGITE Milly Namukasa, Paola Spoletini, Svetlana Peltsverger
2024	B	`conf`	The Return of Formal Requirements Engineering in the Era of Large Language Models. REFSQ Paola Spoletini, Alessio Ferrari
2024	J	`jnl`	Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews. ACM Trans. Softw. Eng. Methodol. Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi
2023	B	`conf`	Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution. REFSQ Alicia M. Grubb, Paola Spoletini
2023	J	`jnl`	Editorial. Requir. Eng. Fabiano Dalpiaz, Paola Spoletini
2023	—	`ed.`	Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters & Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023. REFSQ Workshops Alessio Ferrari, Birgit Penzenstadler, Irit Hadar, Shola Oyedeji, Sallam Abualhaija, Andreas Vogelsang, Gouri Deshpande, Alexander Rachmann, Jens Gulden, Andrea Wohlgemuth, Anne Hess, Samuel Fricker, Renata S. S. Guizzardi, Jennifer Horkoff, Anna Perini, Angelo Susi, Oliver Karras, Fabiano Dalpiaz, Ana Moreira, Daniel Amyot, Paola Spoletini
2023	—	`conf`	Preface: Journal Early Feedback Track. REFSQ Workshops Paola Spoletini, Daniel Amyot
2023	—	`conf`	RE Practices When Developing IoT for Healthcare: The Case of GlucoCheck. REW Maria Valero, Paola Spoletini
2023	—	`conf`	REIT-Builder: Customizable Training for Requirements Elicitation Interviews. REFSQ Workshops Roger Ian Konlog, Paola Spoletini
2023	A*	`conf`	Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. ICSE Alessio Ferrari, Paola Spoletini
2023	J	`jnl`	Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. CoRR Alessio Ferrari, Paola Spoletini
2023	—	`conf`	Towards Quantum Requirements Engineering. REW Paola Spoletini
2022	J	`jnl`	How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis. CoRR Alessio Ferrari, Paola Spoletini, Sourav Debnath
2022	J	`jnl`	How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis. Requir. Eng. Alessio Ferrari, Paola Spoletini, Sourav Debnath
2022	B	`conf`	Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. REFSQ Himaja Cherukuri, Alessio Ferrari, Paola Spoletini
2021	A	`conf`	From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. RE Sourav Debnath, Paola Spoletini, Alessio Ferrari
2021	A*	`conf`	Privacy as first-class requirements in software development: A socio-technical approach. ASE Yizhaq Benbenisty, Irit Hadar, Gil Luria, Paola Spoletini
2021	B	`ed.`	Requirements Engineering: Foundation for Software Quality - 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings REFSQ Fabiano Dalpiaz, Paola Spoletini
2021	J	`jnl`	TOrPEDO: witnessing model correctness with topological proofs. Formal Aspects Comput. Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi, Paola Spoletini
2021	J	`jnl`	Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews. CoRR Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi
2020	B	`conf`	Designing a Virtual Client for Requirements Elicitation Interviews. REFSQ Sourav Debnath, Paola Spoletini
2020	A	`conf`	Inspectors Academy : Pedagogical Design for Requirements Inspection Training. RE Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini
2020	J	`jnl`	Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems. CoRR Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh
2020	J	`jnl`	SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal. Requir. Eng. Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi
2020	A	`conf`	The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. RE Daniela Girardi, Alessio Ferrari, Nicole Novielli, Paola Spoletini, Davide Fucci, Thaide Huichapa
2019	J	`jnl`	A verification-driven framework for iterative design of controllers. Formal Aspects Comput. Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
2019	—	`conf`	Ambiguity in Requirements Engineering: Towards a Unifying Framework. From Software Engineering to Formal Methods and Tools, and Back Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
2019	—	`ed.`	Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019. REFSQ Workshops Paola Spoletini, Patrick Mäder, Daniel M. Berry, Fabiano Dalpiaz, Maya Daneva, Alessio Ferrari, Xavier Franch, Sarah Gregory, Eduard C. Groen, Andrea Herrmann, Anne Hess, Frank Houdek, Oliver Karras, Anne Koziolek, Kim Lauenroth, Cristina Palomares, Mehrdad Sabetzadeh, Norbert Seyff, Marcus Trapp, Andreas Vogelsang, Thorsten Weyer
2019	A	`conf`	Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. RE Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi
2019	Misc	`conf`	On Including the Institutional Review Board Process in Undergraduate Information Technology Curricula. SIGITE Richard Halstead-Nussloch, Paola Spoletini
2019	—	`conf`	Preface. REFSQ Workshops Paola Spoletini, Patrick Mäder
2019	J	`jnl`	Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. IEEE Softw. 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
2019	J	`jnl`	Teaching requirements elicitation interviews: an empirical study of learning from mistakes. Requir. Eng. Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati
2018	—	`conf`	Are Requirements Engineering Courses Covering what Industry Needs? A Preliminary Analysis of the United States Situation. REET@RE Kim Hertz, Paola Spoletini
2018	C	`conf`	Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education. FIE Paola Spoletini, Reza M. Parizi
2018	J	`jnl`	BuildingRules: A Trigger-Action-Based System to Manage Complex Commercial Buildings. ACM Trans. Cyber Phys. Syst. Alessandro Antonio Nacci, Vincenzo Rana, Bharathan Balaji, Paola Spoletini, Rajesh K. Gupta, Donatella Sciuto, Yuvraj Agarwal
2018	B	`conf`	Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. REFSQ Paola Spoletini, Alessio Ferrari, Muneera Bano, Didar Zowghi, Stefania Gnesi
2018	—	`ed.`	Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, March 19, 2018. REFSQ Workshops Klaus Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari, Peter Forbrig, Xavier Franch, Marite Kirikova, Nazim H. Madhavji, Cristina Palomares, Jolita Ralyté, Mehrdad Sabetzadeh, Pete Sawyer, Dirk van der Linden, Anna Zamansky
2018	A	`conf`	Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. RE Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati
2018	C	`conf`	Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology. FIE Reza M. Parizi, Paola Spoletini, Amritraj Singh
2018	—	`ed.`	Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018 FormaliSE@ICSE Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione
2018	B	`conf`	Supporting Verification-Driven Incremental Distributed Design of Components. FASE Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
2017	J	`jnl`	Bounded variability of metric temporal logic. Ann. Math. Artif. Intell. Carlo A. Furia, Paola Spoletini
2017	—	`conf`	COVER: Change-based Goal Verifier and Reasoner. REFSQ Workshops Claudio Menghi, Paola Spoletini, Carlo Ghezzi
2017	B	`conf`	Common Mistakes of Student Analysts in Requirements Elicitation Interviews. REFSQ Beatrice Donati, Alessio Ferrari, Paola Spoletini, Stefania Gnesi
2017	—	`conf`	Empowering Requirements Elicitation for Populations with Special Needs by Using Virtual Reality. ACM Southeast Regional Conference Aman Bhimani, Paola Spoletini
2017	B	`conf`	From Model Checking to a Temporal Proof for Partial Models. SEFM Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
2017	J	`jnl`	From model checking to a temporal proof for partial models: preliminary example. CoRR Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
2017	B	`conf`	Integrating Goal Model Analysis with Iterative Design. REFSQ Claudio Menghi, Paola Spoletini, Carlo Ghezzi
2017	A	`conf`	Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. RE Alessio Ferrari, Paola Spoletini, Beatrice Donati, Didar Zowghi, Stefania Gnesi
2017	A	`conf`	Requirements Elicitation: A Look at the Future Through the Lenses of the Past. RE Paola Spoletini, Alessio Ferrari
2017	A	`conf`	Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh
2016	A	`conf`	Ambiguity Cues in Requirements Elicitation Interviews. RE Alessio Ferrari, Paola Spoletini, Stefania Gnesi
2016	J	`jnl`	Ambiguity and tacit knowledge in requirements elicitation interviews. Requir. Eng. Alessio Ferrari, Paola Spoletini, Stefania Gnesi
2016	J	`jnl`	Automating trade-off analysis of security requirements. Requir. Eng. Liliana Pasquale, Paola Spoletini, Mazeiar Salehie, Luca Cavallaro, Bashar Nuseibeh
2016	B	`conf`	Dealing with Incompleteness in Automata-Based Model Checking. FM Claudio Menghi, Paola Spoletini, Carlo Ghezzi
2016	A	`conf`	Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. RE Paola Spoletini, Casey Brock, Rahat Shahwar, Alessio Ferrari
2016	J	`jnl`	Modeling, refining and analyzing Incomplete Büchi Automata. CoRR Claudio Menghi, Paola Spoletini, Carlo Ghezzi
2015	A	`conf`	Ambiguity as a resource to disclose tacit knowledge. RE Alessio Ferrari, Paola Spoletini, Stefania Gnesi
2015	—	`conf`	BuildingRules: a trigger-action based system to manage complex commercial buildings. UbiComp/ISWC Adjunct Alessandro Antonio Nacci, Bharathan Balaji, Paola Spoletini, Rajesh K. Gupta, Donatella Sciuto, Yuvraj Agarwal
2014	—	`conf`	An Operational Semantics for XML Fuzzy Queries. IJCCI (FCTA) Alessandro Campi, Sam Guinea, Paola Spoletini
2014	C	`conf`	Bounded Variability of Metric Temporal Logic. TIME Carlo A. Furia, Paola Spoletini
2014	—	`conf`	Context transformations for goal models. MoDRE Paola Spoletini, Alessio Ferrari, Stefania Gnesi
2014	J	`jnl`	Fuzzy Time in Linear Temporal Logic. ACM Trans. Comput. Log. Achille Frigeri, Liliana Pasquale, Paola Spoletini
2014	J	`jnl`	On requirement verification for evolving Statecharts specifications. Requir. Eng. Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
2013	J	`jnl`	Bounded Variability of Metric Temporal Logic. CoRR Carlo A. Furia, Paola Spoletini
2013	A*	`conf`	Managing non-functional uncertainty via model-driven adaptivity. ICSE Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli
2013	A	`conf`	On requirements verification for model refinements. RE Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
2013	B	`conf`	Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games. REFSQ Liliana Pasquale, Paola Spoletini, Dario Pometto, Francesco Blasi, Tiziana Redaelli
2012	C	`conf`	Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. TIME Carlo A. Furia, Paola Spoletini
2012	J	`jnl`	Fuzzy Time in LTL CoRR Achille Frigeri, Liliana Pasquale, Paola Spoletini
2012	—	`conf`	LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. FACS Amir Molzam Sharifloo, Paola Spoletini
2012	—	`ch.`	Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. ArtDeco Eugenio Zimeo, Valentina Mazza, Giorgio Orsi, Elisa Quintarelli, Antonio Romano, Paola Spoletini, Giancarlo Tretola, Alessandro Amirante, Alessio Botta, Luca Cavallaro, Domenico Consoli, Ester Giallonardo, Fabrizio Maria Maggi, Gabriele Tiotto
2012	—	`ch.`	Verification and Analysis of Autonomic Systems for Networked Enterprises. ArtDeco Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti, Antonino Sabetta, Paola Spoletini
2011	—	`conf`	Evaluating the compatibility of conversational service interactions. PESOS@ICSE Sam Guinea, Paola Spoletini
2011	—	`conf`	Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. RESS Liliana Pasquale, Paola Spoletini
2011	C	`conf`	On Relaxing Metric Information in Linear Temporal Logic. TIME Carlo A. Furia, Paola Spoletini
2010	J	`jnl`	A control-theoretical methodology for the scheduling problem CoRR Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini
2010	A	`conf`	Fuzzy Goals for Requirements-Driven Adaptation. RE Luciano Baresi, Liliana Pasquale, Paola Spoletini
2010	J	`jnl`	Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
2009	J	`jnl`	A fuzzy extension of the XPath query language. J. Intell. Inf. Syst. Alessandro Campi, Ernesto Damiani, Sam Guinea, Stefania Marrara, Gabriella Pasi, Paola Spoletini
2009	J	`jnl`	Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration. IEEE Trans. Very Large Scale Integr. Syst. Simone Corbetta, Massimo Morandi, Marco Novati, Marco D. Santambrogio, Donatella Sciuto, Paola Spoletini
2009	—	`conf`	Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini
2009	J	`jnl`	On Relaxing Metric Information in Linear Temporal Logic CoRR Carlo A. Furia, Paola Spoletini
2009	—	`ed.`	Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. ICE Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto
2009	—	`ed.`	Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008 ICE@ICALP Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
2009	—	`conf`	Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS Carlo A. Furia, Paola Spoletini
2009	J	`jnl`	Towards automated verification of layered graph transformation specifications. IET Softw. Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini
2008	—	`conf`	An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. COIN@AAMAS&AAAI Paola Spoletini, Mario Verdicchio
2008	—	`ch.`	Model Checking. Wiley Encyclopedia of Computer Science and Engineering Doron A. Peled, Patrizio Pelliccione, Paola Spoletini
2008	B	`conf`	Practical Efficient Modular Linear-Time Model-Checking. ATVA Carlo A. Furia, Paola Spoletini
2008	—	`conf`	Preface. ICE@ICALP Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
2008	C	`conf`	Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC Carlo A. Furia, Paola Spoletini
2008	—	`conf`	Towards the exhaustive verification of real-time aspects in controller implementation. CACSD Carlo A. Furia, Marco Mazzucchelli, Paola Spoletini, Mara Tanelli
2007	—	`conf`	A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea
2007	—	`conf`	A Model Checking Approach to Verify BPEL4WS Workflows. SOCA Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
2007	A	`conf`	A Timed Extension of WSCoL. ICWS Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
2007	—	`conf`	An Efficient Solution for Model Checking Graph Transformation Systems. GT-VC@CONCUR Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini
2007	—	`conf`	Commitment Monitoring in a Multiagent System. CEEMAS Paola Spoletini, Mario Verdicchio
2007	C	`conf`	FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio
2007	C	`conf`	Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
2007	—	`conf`	Model Checking Temporal Metric Specifications with Trio2Promela. FSEN Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
2007	B	`conf`	Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
2007	—	`conf`	Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
2007	J	`jnl`	Validation of web service compositions. IET Softw. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
2007	J	`jnl`	XQuery layers. SIGMOD Rec. Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini
2006	C	`conf`	A Fuzzy Extension for the XPath Query Language. FQAS Alessandro Campi, Sam Guinea, Paola Spoletini
2006	A*	`conf`	A framework for XML data streams history checking and monitoring. WWW Alessandro Campi, Paola Spoletini
2006	C	`conf`	A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures. VLSI-SoC Marco Giorgetta, Marco D. Santambrogio, Donatella Sciuto, Paola Spoletini
2006	—	`conf`	History Checking of XML Data Streams. DEXA Workshops Alessandro Campi, Paola Spoletini
2006	B	`conf`	On the Use of Alloy to Analyze Graph Transformation Systems. ICGT Luciano Baresi, Paola Spoletini
2005	C	`conf`	A formal approach supporting the specification and verification of business conversation requirements. IADIS AC Alessandra Cherubini, Enzo Colombo, Chiara Francalanci, Paola Spoletini
2005	A	`conf`	Modeling and Analyzing Context-Aware Composition of Services. ICSOC Enzo Colombo, John Mylopoulos, Paola Spoletini
2005	—	`—`	Verification of temporal logic specifications via model checking. Paola Spoletini
2003	—	`conf`	Model-Checking TRIO Specifications in SPIN. FME Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini