Laura Semini

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 18

Top Topics

Natural Language

Transportation Systems

Top Venues

REFSQ Workshops

Publications

Alessandro Fantechi, Stefania Gnesi, Laura Semini
Exploring LLMs' Ability to Detect Variability in Requirements. REFSQ (2024)
Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. RE (2023)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. 195 (2023)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops (2023)
Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini
A spaCy-based tool for extracting variability from NL requirements. SPLC (B) (2021)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods (2021)
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. QUATIC (2020)
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops (2020)
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
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 (2019)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
From Generic Requirements to Variability. REFSQ Workshops (2019)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Applying the QuARS tool to detect variability. SPLC (B) (2019)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS (2018)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE (2018)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Optimizing Feature Interaction Detection. FMICS-AVoCS (2017)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Ambiguity defects as variation points in requirements. VaMoS (2017)
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini
An experience in using machine learning for short-term predictions in smart transportation systems. J. Log. Algebraic Methods Program. 87 (2017)
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems. ERCIM News 2016 (105) (2016)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) (2016)
Davide Bacciu, Stefania Gnesi, Laura Semini
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. WWV (2015)
Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. Euro-Par Workshops (1) (2011)
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini
Managing Adaptivity in Parallel Systems. FMCO (2011)
Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini
Detecting policy conflicts by model checking UML state machines. ICFI (2009)
Carlo Montangero, Laura Semini
Barbed Model-Driven Software Development: A Case Study. Electron. Notes Theor. Comput. Sci. 207 (2008)
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
Logic-based Conflict Detection for Distributed Policies. Fundam. Informaticae 89 (4) (2008)
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
Logic-Based Detection of Conflicts in AppelPolicies. FSEN (2007)
Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
StPowla: SOA, Policies and Workflows. ICSOC Workshops (2007)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book (2006)
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
Modeling Web Applications by the Multiple Levels of Integrity Policy. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Carlo Montangero, Laura Semini
A Logical View of Choreography. COORDINATION (2006)
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV (2005)
Carlo Montangero, Laura Semini, Simone Semprini
Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION (2004)
Carlo Montangero, Laura Semini
Distributed States Temporal Logic CoRR (2003)
Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9 (2) (2002)
Carlo Montangero, Laura Semini
istributed States Logic. TIME (2002)
Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
. COORDINATION (2000)
Laura Semini, Carlo Montangero
A Refinement Calculus for Tuple Spaces. Sci. Comput. Program. 34 (2) (1999)
Carlo Montangero, Laura Semini
Composing Specifications for Coordination. COORDINATION (1999)
Stefania Gnesi, Laura Semini
Implementation of Coordination Primitives in a Mobile Architecture. PDPTA (1999)
Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming. Comput. Lang. 22 (2/3) (1996)
Carlo Montangero, Laura Semini
Refining by architectural styles or architecting by refinements. ISAW/Viewpoints@FSE (1996)
Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
Everything buT Assignment. GULP-PRODE (2) (1994)
Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Mauro Gaspari, Laura Semini
Fairness in Logic Languages based on Shared Dataspace. ICLP Workshop on Blackboard-Based Logic Programming (1993)