| 2025 | RE | Combining Established and Emerging Techniques to Detect Inconsistencies in Requirements. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2025 | REFSQ | Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs. | Xavier Franch, Stefania Gnesi, Federico Paccosi, Carme Quer, Laura Semini |
| 2025 | REFSQ | Preface: REFSQ 2025 Posters and Tools Track. | Sylwia Kopczynska, Laura Semini |
| 2024 | REFSQ | Exploring LLMs' Ability to Detect Variability in Requirements. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2023 | RE | Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. | Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini |
| 2023 | REFSQ | Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2021 | SPLC | A spaCy-based tool for extracting variability from NL requirements. | Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini |
| 2020 | QUATIC | An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. | Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2020 | REFSQ | A comparison of NLP Tools for RE to extract Variation Points. | Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2019 | REFSQ | From Generic Requirements to Variability. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2019 | SPLC | Applying the QuARS tool to detect variability. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2018 | RE | Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini |
| 2017 | FMICS | Optimizing Feature Interaction Detection. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2016 | ISoLA | Variability-Based Design of Services for Smart Transportation Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2011 | EuroPar | Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. | Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini |
| 2007 | ICSOC | StPowla: SOA, Policies and Workflows. | Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini |
| 2006 | Coordination | A Logical View of Choreography. | Carlo Montangero, Laura Semini |
| 2004 | Coordination | Logic Based Coordination for Event-Driven Self-healing Distributed Systems. | Carlo Montangero, Laura Semini, Simone Semprini |
| 2002 | TIME | istributed States Logic. | Carlo Montangero, Laura Semini |
| 2000 | Coordination | Mobile Agents Coordination in Mob | Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini |
| 1999 | Coordination | Composing Specifications for Coordination. | Carlo Montangero, Laura Semini |
| 1999 | PDPTA | Implementation of Coordination Primitives in a Mobile Architecture. | Stefania Gnesi, Laura Semini |
| 1994 | ICLP | A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces. | Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini |
| 1993 | ICLP | Fairness in Logic Languages based on Shared Dataspace. | Mauro Gaspari, Laura Semini |