Laura Semini

56 papers A 3B 2C 5Misc 3Journal 8Unranked 26
YearRankTypeTitle / Venue / Authors
2025 A conf
Combining Established and Emerging Techniques to Detect Inconsistencies in Requirements.
RE
Alessandro Fantechi, Stefania Gnesi, Laura Semini
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 B conf
Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs.
REFSQ
Xavier Franch, Stefania Gnesi, Federico Paccosi, Carme Quer, Laura Semini
2025 — conf
Preface: REFSQ 2025 Posters and Tools Track.
REFSQ Workshops
Sylwia Kopczynska, Laura Semini
2025 — ed.
Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A, SPLC-A 2025, A Coruña, Spain, September 1-5, 2025
SPLC (A)
Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner, José Ángel Galindo Duarte, Tao Yue, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez, Jessie Galasso-Carbonnel, José Miguel Horcas, Kevin Feichtinger
2025 — ed.
Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume B, SPLC-B 2025, A CoruñaSpain, September 1-5, 2025
SPLC (B)
Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner, José Ángel Galindo Duarte, Tao Yue, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez, Jessie Galasso-Carbonnel, José Miguel Horcas, Kevin Feichtinger
2024 B conf
Exploring LLMs' Ability to Detect Variability in Requirements.
REFSQ
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2024 Misc ed.
Quality of Information and Communications Technology - 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings
QUATIC
Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini
2023 A conf
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation.
RE
Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini
2023 — ed.
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023
SPLC (A)
Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki
2023 — conf
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study.
REFSQ Workshops
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2023 J jnl
VIBE: Looking for Variability In amBiguous rEquirements.
J. Syst. Softw.
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2022 — ed.
SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume A
SPLC (A)
Alexander Felfernig, Lidia Fuentes, Jane Cleland-Huang, Wesley K. G. Assunção, Andreas A. Falkner, Maider Azanza, Miguel Á. Rodríguez Luaces, Megha Bhushan, Laura Semini, Xavier Devroey, Cláudia Maria Lima Werner, Christoph Seidl, Viet-Man Le, José Miguel Horcas
2021 — ed.
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021
FormaliSE@ICSE
Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini
2021 — conf
A spaCy-based tool for extracting variability from NL requirements.
SPLC (B)
Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini
2021 — conf
Language and Communication Problems in Formalization: A Natural Language Approach.
Logic, Computation and Rigorous Methods
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020 — conf
A comparison of NLP Tools for RE to extract Variation Points.
REFSQ Workshops
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020 Misc conf
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements.
QUATIC
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020 — ch.
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents.
Integrating Research and Practice in Software Engineering
Eleonora Arganese, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2019 — conf
Applying the QuARS tool to detect variability.
SPLC (B)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2019 — conf
From Generic Requirements to Variability.
REFSQ Workshops
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2019 — ed.
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
2019 — conf
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back.
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
2018 — conf
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report.
VaMoS
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
2018 A conf
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP.
RE
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
2017 — conf
Ambiguity defects as variation points in requirements.
VaMoS
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2017 J jnl
An experience in using machine learning for short-term predictions in smart transportation systems.
J. Log. Algebraic Methods Program.
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini
2017 — conf
Optimizing Feature Interaction Detection.
FMICS-AVoCS
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2016 J jnl
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems.
ERCIM News
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini
2016 — conf
Variability-Based Design of Services for Smart Transportation Systems.
ISoLA (2)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2015 — conf
Using a Machine Learning Approach to Implement and Evaluate Product Line Features.
WWV
Davide Bacciu, Stefania Gnesi, Laura Semini
2011 — conf
Managing Adaptivity in Parallel Systems.
FMCO
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini
2011 — conf
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.
Euro-Par Workshops (1)
Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini
2011 — ch.
Model-Driven Development of Adaptable Service-Oriented Business Processes.
Results of the SENSORIA Project
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
2009 — conf
Detecting policy conflicts by model checking UML state machines.
ICFI
Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini
2008 J jnl
Logic-based Conflict Detection for Distributed Policies.
Fundam. Informaticae
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
2007 — conf
Barbed Model-Driven Software Development: A Case Study.
TTSS
Carlo Montangero, Laura Semini
2007 — conf
Logic-Based Detection of Conflicts in AppelPolicies.
FSEN
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
2007 — conf
StPowla: SOA, Policies and Workflows.
ICSOC Workshops
Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
2006 C conf
A Logical View of Choreography.
COORDINATION
Carlo Montangero, Laura Semini
2006 — conf
Achieving Fault Tolerance by a Formally Validated Interaction Policy.
RODIN Book
Alessandro Fantechi, Stefania Gnesi, Laura Semini
2005 — conf
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
2005 — conf
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
2004 C conf
Logic Based Coordination for Event-Driven Self-healing Distributed Systems.
COORDINATION
Carlo Montangero, Laura Semini, Simone Semprini
2003 J jnl
Distributed States Temporal Logic
CoRR
Carlo Montangero, Laura Semini
2002 J jnl
Mark, a Reasoning Kit for Mobility.
Autom. Softw. Eng.
Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
2002 C conf
istributed States Logic.
TIME
Carlo Montangero, Laura Semini
2000 C conf
Mobile Agents Coordination in Mob
COORDINATION
Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
1999 J jnl
A Refinement Calculus for Tuple Spaces.
Sci. Comput. Program.
Laura Semini, Carlo Montangero
1999 C conf
Composing Specifications for Coordination.
COORDINATION
Carlo Montangero, Laura Semini
1999 Misc conf
Implementation of Coordination Primitives in a Mobile Architecture.
PDPTA
Stefania Gnesi, Laura Semini
1996 J jnl
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming.
Comput. Lang.
Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
1996 — conf
Refining by architectural styles or architecting by refinements.
ISAW/Viewpoints@FSE
Carlo Montangero, Laura Semini
1994 — conf
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces.
ICLP Workshop: Process-Based Parallel Logic Programming
Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
1994 — conf
Everything buT Assignment.
GULP-PRODE (2)
Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
1993 — conf
Fairness in Logic Languages based on Shared Dataspace.
ICLP Workshop on Blackboard-Based Logic Programming
Mauro Gaspari, Laura Semini