default search action
Laura Semini
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c35]Alessandro Fantechi
, Stefania Gnesi
Exploring LLMs' Ability to Detect Variability in Requirements. REFSQ 2024: 178-188 - [e5]Antonia Bertolino
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. Communications in Computer and Information Science 2178, Springer 2024, ISBN 978-3-031-70244-0 [contents] - 2023
- [j6]Alessandro Fantechi
VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. 195: 111540 (2023) - [c34]Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini:
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. RE 2023: 335-340 - [c33]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops 2023 - [e4]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:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - 2022
- [e3]Alexander Felfernig, Lidia Fuentes, Jane Cleland-Huang, Wesley K. G. Assunção, Andreas A. Falkner, Maider Azanza
SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume A. ACM 2022, ISBN 978-1-4503-9443-7 [contents] - 2021
- [c32]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods 2021: 121-134 - [c31]Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini:
A spaCy-based tool for extracting variability from NL requirements. SPLC (B) 2021: 32-35 - [e2]Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini:
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. IEEE 2021, ISBN 978-1-6654-3913-8 [contents] - 2020
- [c30]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: 488-498 - [c29]Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops 2020 - [p2]Eleonora Arganese, Alessandro Fantechi, Stefania Gnesi, Laura Semini
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. Integrating Research and Practice in Software Engineering 2020: 125-143
2010 – 2019
- 2019
- [c28]Maurice H. ter Beek
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: 1-11 - [c27]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
From Generic Requirements to Variability. REFSQ Workshops 2019 - [c26]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Applying the QuARS tool to detect variability. SPLC (B) 2019: 62:1-62:4 - [e1]Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer 2019, ISBN 978-3-030-30984-8 [contents] - 2018
- [c25]Alessandro Fantechi, Alessio Ferrari
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE 2018: 418-423 - [c24]Alessandro Fantechi, Alessio Ferrari
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS 2018: 43-50 - 2017
- [j5]Davide Bacciu, Antonio Carta
An experience in using machine learning for short-term predictions in smart transportation systems. J. Log. Algebraic Methods Program. 87: 52-66 (2017) - [c23]Alessandro Fantechi, Stefania Gnesi, Laura Semini
Optimizing Feature Interaction Detection. FMICS-AVoCS 2017: 201-216 - [c22]Alessandro Fantechi, Stefania Gnesi, Laura Semini
Ambiguity defects as variation points in requirements. VaMoS 2017: 13-19 - 2016
- [c21]Maurice H. ter Beek
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) 2016: 465-481 - [i2]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) - 2015
- [c20]Davide Bacciu, Stefania Gnesi, Laura Semini
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. WWV 2015: 75-83 - 2011
- [c19]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: 128-138 - [c18]Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini:
Managing Adaptivity in Parallel Systems. FMCO 2011: 199-217 - [p1]Carlo Montangero, Stephan Reiff-Marganiec
Model-Driven Development of Adaptable Service-Oriented Business Processes. Results of the SENSORIA Project 2011: 115-132
2000 – 2009
- 2009
- [c17]Maurice H. ter Beek
Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74 - 2008
- [j4]Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini:
Logic-based Conflict Detection for Distributed Policies. Fundam. Informaticae 89(4): 511-538 (2008) - 2007
- [c16]Carlo Montangero, Stephan Reiff-Marganiec
Logic-Based Detection of Conflicts in AppelPolicies. FSEN 2007: 257-271 - [c15]Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec
StPowla: SOA, Policies and Workflows. ICSOC Workshops 2007: 351-362 - [c14]Carlo Montangero, Laura Semini
Barbed Model-Driven Software Development: A Case Study. TTSS 2007: 171-186 - 2006
- [c13]Carlo Montangero, Laura Semini
A Logical View of Choreography. COORDINATION 2006: 179-193 - [c12]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152 - 2005
- [c11]Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV 2005: 161-175 - [c10]Gianluca Amato
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV 2005: 167-185 - 2004
- [c9]Carlo Montangero, Laura Semini, Simone Semprini:
Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION 2004: 248-263 - 2003
- [i1]Carlo Montangero, Laura Semini:
Distributed States Temporal Logic. CoRR cs.LO/0304046 (2003) - 2002
- [j3]Gian-Luigi Ferrari
Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9(2): 137-150 (2002) - [c8]Carlo Montangero, Laura Semini
istributed States Logic. TIME 2002: 55-57 - 2000
- [c7]Gian-Luigi Ferrari
Mobile Agents Coordination in Mobadtl. COORDINATION 2000: 232-248
1990 – 1999
- 1999
- [j2]Laura Semini
A Refinement Calculus for Tuple Spaces. Sci. Comput. Program. 34(2): 79-140 (1999) - [c6]Carlo Montangero, Laura Semini:
Composing Specifications for Coordination. COORDINATION 1999: 118-133 - [c5]Stefania Gnesi, Laura Semini:
Implementation of Coordination Primitives in a Mobile Architecture. PDPTA 1999: 1012-1018 - 1996
- [j1]Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini:
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming. Comput. Lang. 22(2/3): 79-93 (1996) - [c4]Carlo Montangero, Laura Semini:
Refining by architectural styles or architecting by refinements. ISAW/Viewpoints@FSE 1996: 76-79 - 1994
- [c3]Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini:
Everything buT Assignment. GULP-PRODE (2) 1994: 132-146 - [c2]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: 64-69 - 1993
- [c1]Mauro Gaspari, Laura Semini:
Fairness in Logic Languages based on Shared Dataspace. ICLP Workshop on Blackboard-Based Logic Programming 1993
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: