Laura Semini
Orcid: 0000-0001-8774-2346Affiliations:
- University of Pisa, Italy
According to our database1,
Laura Semini
authored at least 44 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024
2023
Proceedings of the Joint Proceedings of REFSQ-2023 Workshops, 2023
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation.
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023
2021
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
2020
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents.
Proceedings of the Integrating Research and Practice in Software Engineering, 2020
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements.
Proceedings of the Quality of Information and Communications Technology, 2020
2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
2017
An experience in using machine learning for short-term predictions in smart transportation systems.
J. Log. Algebraic Methods Program., 2017
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
2016
ERCIM News, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
2015
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015
2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2009
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
2008
2007
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007
Proceedings of the Service-Oriented Computing, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
2006
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
2005
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005
2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
2003
2002
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002
2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
1999
Implementation of Coordination Primitives in a Mobile Architecture.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
1996
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming.
Comput. Lang., 1996
Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996
1994
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces.
Proceedings of the ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, 1994
Everything buT Assignment.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Fairness in Logic Languages based on Shared Dataspace.
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993