Stefania Gnesi
Orcid: 0000-0002-0139-0421Affiliations:
- National Research Council, Italy
According to our database1,
Stefania Gnesi
authored at least 234 papers
between 1978 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isti.cnr.it
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Proceedings of the Combined Power of Research, Education, and Dissemination, 2025
2024
J. Log. Algebraic Methods Program., 2024
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 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
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
2021
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 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
Sci. Comput. Program., 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
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
2019
Sci. Comput. Program., 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
J. Softw. Evol. Process., 2018
Business process flexibility - a systematic literature review with a software systems perspective.
Inf. Syst. Frontiers, 2018
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.
Empir. Softw. Eng., 2018
Improving the quality of business process descriptions of public administrations: Resources and research challenges.
Bus. Process. Manag. J., 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 Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2018
Proceedings of the Joint Proceedings of REFSQ-2018 Workshops, 2018
Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, 2018
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Models, Mindsets, 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 Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Statistical model checking of an energy-saving cyber-physical system in the railway domain.
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017
2016
Requir. Eng., 2016
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems.
J. Rail Transp. Plan. Manag., 2016
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
J. Log. Algebraic Methods Program., 2016
ERCIM News, 2016
An Experience on Applying Process Mining Techniques to the Tuscan Port Community System.
Proceedings of the Software Quality. The Future of Systems- and Software Development, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions.
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 3: KMIS, Porto - Portugal, November 9, 2016
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems.
Proceedings of the 19th International Conference on Software Product Line, 2015
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
From Featured Transition Systems to Modal Transition Systems with Variability Constraints.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the Software, 2015
Proceedings of the Requirements Engineering in the Big Data Era, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
ERCIM News, 2014
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News, 2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Perspectives of System Informatics, 2014
My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data.
Proceedings of the Privacy Technologies and Policy - Second Annual Privacy Forum, 2014
2013
Proceedings of the Engineering Dependable Software Systems, 2013
IEEE Softw., 2013
ERCIM News, 2013
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013
Using Clustering to Improve the Structure of Natural Language Requirements Documents.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
ACM Trans. Softw. Eng. Methodol., 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
2011
A state/event-based model-checking approach for the analysis of abstract system properties.
Sci. Comput. Program., 2011
Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011
Proceedings of the Software Product Lines - 15th International Conference, 2011
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
An experience in using a tool for evaluating a large set of natural language requirements.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the Quality of Information and Communications Technology, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research).
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010
2009
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
2008
Experimenting with Diversity in the Formal Development of Railway Signalling Systems.
ERCIM News, 2008
ERCIM News, 2008
ERCIM News, 2008
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008
Model driven development of railway systems using diversity.
Comput. Syst. Sci. Eng., 2008
Proceedings of the Software Product Lines, 12th International Conference, 2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Architecting Dependable Systems VI, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section.
Proceedings of the Concurrency, 2008
Proceedings of the Concurrency, 2008
2007
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Experimenting with diversity in the model driven development of a railway signaling system.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007
Proceedings of the SDL 2007: Design for Dependable Systems, 2007
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2006
Trans. SDPS, 2006
Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006
2005
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005
An automatic tool for the analysis of natural language requirements.
Comput. Syst. Sci. Eng., 2005
Proceedings of the Quality of Software Architectures and Software Quality, 2005
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005
2004
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Verication On The Web Of Mobile Systems.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004
Proceedings of the Software Product Lines, Third International Conference, 2004
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004
Automatic clustering of non-functional requirements.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
Proceedings of the Cooperative Systems Design, 2004
2003
ACM Trans. Softw. Eng. Methodol., 2003
Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers.
Sci. Comput. Program., 2003
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking.
Proceedings of the International Workshop on Software Verification and Validation, 2003
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability.
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003
2002
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking.
J. Log. Algebraic Methods Program., 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002
2001
Reliab. Eng. Syst. Saf., 2001
Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers.
Formal Methods Syst. Des., 2001
Comput. J., 2001
2000
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
1999
Proceedings of the Computer Safety, 1999
Implementation of Coordination Primitives in a Mobile Architecture.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
On the Fly Verification of Network of Automata.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
1998
Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected Papers.
Formal Methods Syst. Des., 1998
Formal Methods Syst. Des., 1998
On Linguistic Quality of Natural Language Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1997
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
1996
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996
Proceedings of the 15th International Conference on Computer Safety, 1996
Proceedings of the Dependable Computing, 1996
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.
Proceedings of the CONCUR '96, 1996
1995
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.
Proceedings of the 14th International Conference on Computer Safety, 1995
Proceedings of the Correct Hardware Design and Verification Methods, 1995
1994
Formal Methods Syst. Des., 1994
JACK: Just Another Concurrency Kit. The intergration Projekt.
Bull. EATCS, 1994
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.
Proceedings of the Formal Description Techniques VII, 1994
1993
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Comput. Networks ISDN Syst., 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
1991
1990
Compositional logic semantics and LOTOS.
Proceedings of the Protocol Specification, 1990
How Expressive Are LOTOS Behaviour Expressions?
Proceedings of the Formal Description Techniques, 1990
1989
An Expressive Temporal Logic for Basic LOTOS.
Proceedings of the Formal Description Techniques, 1989
1988
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
Proceedings of the ESEC '87, 1987
1981
1978
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978