Stefania Gnesi | Academic Influence

Stefania Gnesi's AcademicInfluence.com Rankings

Stefania Gnesi

Computer Science

#10562

World Rank

#11101

Historical Rank

Software Engineering

#305

World Rank

#311

Historical Rank

Database

#7769

World Rank

#8080

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Stefania Gnesi's Degrees

PhD Computer Science Consorzio ICoN
Bachelors Computer Science Consorzio ICoN
Masters Computer Science Consorzio ICoN

Similar Degrees You Can Earn

Why Is Stefania Gnesi Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Stefania Gnesi is an Italian software engineer whose work focuses on formal methods, and the use of natural language and natural language processing in requirements analysis. She is a director of research at the Istituto di Scienza e Tecnologie dell'Informazione of the Italian National Research Council , where she heads the Formal Methods and Tools group.

(See a Problem?)

Stefania Gnesi's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings (2003) (213)
Applications of linguistic techniques for use case analysis (2002) (193)
An automatic tool for the analysis of natural language requirements (2005) (160)
Web Service Composition Approaches: From Industrial Standards to Formal Methods (2007) (158)
The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool (2001) (138)
An Automatic Quality Evaluation for Natural Language Requirements (2001) (136)
Assisting requirement formalization by means of natural language translation (1994) (110)
Formal Description of Variability in Product Families (2011) (107)
Formal Modeling for Product Families Engineering (2008) (105)
Formal test-case generation for UML statecharts (2004) (98)
A state/event-based model-checking approach for the analysis of abstract system properties (2011) (97)
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems (1993) (95)
Model checking UML Statechart diagrams using JACK (1999) (95)
A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods ? (2006) (94)
PLUTO: A Test Methodology for Product Families (2003) (93)
A Survey on Services Composition Languages and Models (2006) (91)
The Integration Project for the JACK Environement (1994) (90)
Use case-based testing of product lines (2003) (85)
A model-checking verification environment for mobile processes (2003) (80)
Formal Methods for Service Composition (2007) (77)
Ambiguity and tacit knowledge in requirements elicitation interviews (2016) (77)
PURE: A Dataset of Public Requirements Documents (2017) (76)
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints (2016) (72)
Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z (2012) (71)
A Formal Verification Environment for Railway Signaling System Design (1998) (71)
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications (2007) (61)
A Model Checking Approach for Verifying COWS Specifications (2008) (59)
Model checking fault tolerant systems (2002) (58)
Formal Methods for Industrial Critical Systems: A Survey of Applications (2012) (55)
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (2002) (55)
A Logical Framework to Deal with Variability (2010) (55)
A Guidelines framework for understandable BPMN models (2017) (54)
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain (2017) (52)
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems (1991) (50)
Use Case Description of Requirements for Product Lines (2002) (50)
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain (2018) (46)
Dynamic Programming as Graph Searching: An Algebraic Approach (1981) (46)
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings (2017) (46)
Natural Language Requirements Processing: A 4D Vision (2017) (46)
A logical verification methodology for service-oriented computing (2012) (45)
Measuring and Improving the Completeness of Natural Language Requirements (2014) (45)
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders (2018) (44)
Verifying Mobile Processes in the HAL Environment (1998) (44)
Achieving quality in natural language requirements (1998) (43)
A Methodology for the Derivation and Verification of Use Cases for Product Lines (2004) (41)
Graph-Based Design and Analysis of Dynamic Software Architectures (2008) (41)
Formal verification of an automotive scenario in service-oriented computing (2008) (40)
Quality analysis of NL requirements: an industrial case study (2005) (40)
Business process flexibility - a systematic literature review with a software systems perspective (2018) (40)
Modelling Dynamic Software Architectures using Typed Graph Grammars (2008) (40)
A New Quality Model for Natural Language Requirements Specifications (2006) (38)
On the fly model checking of communicating UML State Machines (2003) (37)
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements (2006) (36)
Using collective intelligence to detect pragmatic ambiguities (2012) (36)
Model-Based Development and Formal Methods in the Railway Industry (2013) (35)
An automatic SPIN validation of a safety critical railway control system (2000) (33)
A Model-Checking Tool for Families of Services (2011) (31)
An Automated Based Verification Environment for Mobile Processes (1997) (30)
Pragmatic ambiguity detection in natural language requirements (2014) (30)
AGILE: Software Architecture for Mobility (2002) (30)
Elicitation of Use Cases for Product Lines (2003) (29)
A behavioural model for product families (2007) (29)
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems (2011) (28)
JACK: Just Another Concurrency Kit. The intergration Projekt (1994) (28)
Ambiguity as a resource to disclose tacit knowledge (2015) (27)
A Model-Checking Approach for Service Component Architectures (2009) (26)
A MODEL CHECKING VERIFICATION ENVIRONMENT FOR UML STATECHARTS (2005) (25)
Statistical model checking of an energy-saving cyber-physical system in the railway domain (2017) (25)
Adopting Formal Methods in an Industrial Setting: The Railways Case (2019) (25)
A Symbolic Model Checker for ACTL (1998) (24)
CMC-UMC: a framework for the verification of abstract service-oriented properties (2009) (24)
A Compositional Framework to Derive Product Line Behavioural Descriptions (2012) (24)
Deontic Logics for Modeling Behavioural Variability (2009) (23)
Formal methods for transport systems (2018) (23)
Using Clustering to Improve the Structure of Natural Language Requirements Documents (2013) (22)
An experience in using machine learning for short-term predictions in smart transportation systems (2017) (22)
Formal verification (2001) (22)
Towards an executable algebra for product lines (2012) (22)
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems (2016) (21)
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (2008) (21)
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI (2015) (21)
A Deontic Logical Framework for Modelling Product Families (2010) (21)
A stochastic extension of a behavioural subset of UML statechart diagrams (2000) (20)
My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (2014) (20)
Detecting policy conflicts by model checking UML state machines (2009) (20)
Design and validation of variability in product lines (2011) (19)
Survey on Formal Methods and Tools in Railways: The ASTRail Approach (2019) (19)
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking (2005) (19)
Model checking for action-based logics (1994) (19)
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews (2017) (18)
Research challenges in business process adaptability (2014) (18)
THE ROLE OF FORMAL METHODS IN DEVELOPING A DIS-TRIBUITED RAILWAY INTERLOCKING SYSTEM (2004) (18)
Specifying variability in service contracts (2017) (18)
Formal methods for railway control systems (2014) (18)
Formal Methods and Safety Certification: Challenges in the Railways Domain (2016) (17)
An Architecture-Centric Approach for Producing Quality Systems (2005) (17)
Formal Modelling and Verification of an Asynchronous Extension of SOAP (2006) (17)
A behavioural model for product families (2007) (17)
On the Adoption of Model Checking in Safety-Related Software Industry (2011) (16)
Ambiguity Cues in Requirements Elicitation Interviews (2016) (16)
Design for Verifiability: The OCS Case Study (2012) (16)
A case study on the automated verification of groupware protocols (2005) (16)
Identification of Cross-Domain Ambiguity with Language Models (2018) (16)
An experience in using a tool for evaluating a large set of natural language requirements (2010) (16)
On the Fly Verification of Network of Automata (1999) (16)
Verifying hardware components within JACK (1995) (15)
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems (2014) (15)
Towards Automatic Decision Support for Bike-Sharing System Design (2015) (15)
On Linguistic Quality of Natural Language Requirements (1998) (15)
On the expressiveness of modal transition systems with variability constraints (2019) (14)
Witness and Counterexample Automata for ACTL (2004) (14)
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples (2004) (14)
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report (2018) (13)
From Featured Transition Systems to Modal Transition Systems with Variability Constraints (2015) (13)
Compositional logic semantics and LOTOS (1990) (13)
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process (2017) (13)
Model Checking Publish/Subscribe Notification for thinkteam® (2005) (13)
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System (1995) (13)
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews (2018) (13)
Proving Safety Properties for Embedded Control Systems (1996) (12)
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata (2017) (12)
Lessons Learnt from the Adoption of Formal Model-Based Development (2012) (12)
Demonstration of a model checker for the analysis of product variability (2012) (12)
On testing UML statecharts (2006) (12)
Two standards means problems: a case study on formal protocol descriptions (1989) (12)
The Testing and Test Control Notation TTCN-3 and its Use (2012) (11)
Model Checking Groupware Protocols (2004) (11)
Using FMC for family-based analysis of software product lines (2015) (11)
Model Checking of Non-Finite State Processes by Finite Approximations (1995) (11)
Ambiguity defects as variation points in requirements (2017) (11)
QuARS Express - A Tool Demonstration (2008) (11)
FMCAT: Supporting Dynamic Service-based Product Lines (2017) (10)
An Expressive Temporal Logic for Basic LOTOS (1989) (10)
How Expressive Are LOTOS Behaviour Expressions? (1990) (10)
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (2000) (10)
Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach (2007) (10)
Formal Methods for Intelligent Transportation Systems (2012) (10)
Common Mistakes of Student Analysts in Requirements Elicitation Interviews (2017) (10)
Towards a Dataset for Natural Language Requirements Processing (2017) (10)
A Model Checking Algorithm for π-Calculus Agents (2000) (10)
Improving the quality of business process descriptions of public administrations: Resources and research challenges (2017) (10)
Formal validation of fault-tolerance mechanisms inside GUARDS (2001) (10)
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP (2018) (10)
SaRDIn - A Safe Reconfigurable Distributed Interlocking (2016) (9)
Formal description and validation for an integrity policy supporting multiple levels of criticality (1999) (9)
Product Lines for Service Oriented Applications - PL for SOA (2011) (9)
Model-Based Evaluation of Energy Saving Systems (2017) (9)
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach (2016) (8)
Model Checking Value-Passing Modal Specifications (2014) (8)
Formal Methods for the Railway Sector (2018) (8)
Product line models of large cyber-physical systems: the case of ERTMS/ETCS (2018) (8)
Spider: a Security Model Checker (2003) (8)
Formal methods and automated verification of critical systems (2018) (8)
Formal Validation of the GUARDS Inter-Consistency Mechanism (1999) (8)
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (2014) (8)
Collaborative requirements elicitation in a european research project (2016) (8)
Formal Specification and Verification of Complex Systems (2003) (8)
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning (2013) (8)
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (2015) (8)
An Approach to Ambiguity Analysis in Safety-Related Standards (2010) (7)
Controller synthesis of service contracts with variability (2020) (7)
Formal Validation of Fault-tolerance Mechanisms (1998) (7)
A clustering-based approach for discovering flaws in requirements specifications (2012) (7)
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems (2015) (7)
An Exercise in Protocol Verification (1995) (7)
Evaluation of Natural Language Requirements in the MODCONTROL Project (2008) (6)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II (2022) (6)
Dynamic Software Architecture Development: Towards an Automated Process (2009) (6)
Security Analysis of Parlay/OSA Framework (2004) (6)
Practical Aspects of Active Automata Learning (2012) (6)
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers (2020) (6)
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System (2015) (6)
An Experience on Applying Process Mining Techniques to the Tuscan Port Community System (2016) (6)
The Sensoria Approach Applied to the Finance Case Study (2011) (6)
Using a Machine Learning Approach to Implement and Evaluate Product Line Features (2015) (6)
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability (2004) (5)
Modelling Transition Systems within an Action Based Logic (1995) (5)
Variability-Based Design of Services for Smart Transportation Systems (2016) (5)
On Quantitative Assessment of Reliability and Energy Consumption Indicators in Railway Systems (2018) (5)
A spaCy-based tool for extracting variability from NL requirements (2021) (5)
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis (2009) (5)
An action / state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications ? (2007) (5)
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain (2017) (5)
Modelling and analysis with featured modal contract automata (2018) (5)
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC (2020) (4)
VMC: A Tool for the Analysis of Variability in Software Product Lines (2013) (4)
Requirements elicitation and refinement in collaborative research projects (2018) (4)
2.4.2 QuARS: Automated Natural Language Analysis of Requirements and Specifications (2005) (4)
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents (2020) (4)
QuARS: A NLP Tool for Requirements Analysis (2019) (4)
States and Events in KandISTI - A Retrospective (2018) (4)
A Formal Specification and Validation of a Safety Critical Railway Control System (2000) (4)
A Refinement Approach to Analyse Critical Cyber-Physical Systems (2017) (4)
Proceedings of the 17th International Software Product Line Conference (2013) (4)
Critical Systems: Formal Methods and Automated Verification (2016) (3)
An Executon Environment for the Formal Definiton of Ada (1987) (3)
Introduction to the Sensoria Case Studies (2011) (3)
FM 2016: Formal Methods (2016) (3)
Model Driven Development and Code Generation: An Automotive Case Study (2007) (3)
A Formal Security Analysis of an OSA/Parlay Authentication Interface (2005) (3)
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation (1996) (3)
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences (1988) (3)
Symbolic Model Checking for Avionics (2012) (3)
Compositionality and Bisimulation: A Negative Result (1991) (3)
A Relation-based Approach to Use Case Analysis (2003) (3)
Automated verification of fault tolerance mechanisms (1998) (3)
Automated Service Selection Using Natural Language Processing (2015) (3)
Finite Approximations for Model Checking Non-finite-state Processes (2001) (3)
Quality Evaluation based on Architecture Analysis (1998) (3)
Automatic clustering of non-functional requirements (2004) (2)
Experimenting with diversity in the model driven development of a railway signaling system (2007) (2)
Controller Synthesis of Contract-based Service Product Lines Extended Version (2017) (2)
Research on NLP for RE at CNR-ISTI: a Report (2018) (2)
Are Standards an Ambiguity-Free Reference for Product Validation? (2017) (2)
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming (2017) (2)
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) (2010) (2)
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements (2020) (2)
Assisting the design of a groupware system - Model checking usability aspects of thinkteam (2009) (2)
Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions (2016) (2)
Product Line Architectures for SOA (2011) (2)
Automated Testing of Safety Requirements with the Support of a Deductive Database (1996) (2)
A comparison of NLP Tools for RE to extract Variation Points (2020) (2)
Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (2012) (2)
From Generic Requirements to Variability (2019) (2)
Assisting the design of a groupware system (2009) (2)
Modeling Web Applications by the Multiple Levels of Integrity Policy (2006) (2)
Applying the QuARS Tool to Detect Variability (2019) (2)
Modelling and Validating an Import/Export Shipping Process (2016) (2)
Formal Modelling and Verification in Service-Oriented Computing (2007) (2)
Towards Model Checking a Spi-Calculus Dialect (2002) (2)
Optimizing Feature Interaction Detection (2017) (2)
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 (1998) (1)
A Synchronous Language at Work: The Story of Lustre (2012) (1)
A "Brutus" model checking of a spi-calculus dialect (Extended Abstract) (2000) (1)
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems (2012) (1)
Adoption of SysML by a Railway Signaling Manufacturer (2011) (1)
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems (2016) (1)
Model driven development of railway systems using diversity (2008) (1)
Editorial (1998) (1)
Checking Business Process Modeling Guidelines in Apromore (2017) (1)
Verication On The Web Of Mobile Systems (2018) (1)
KandISTI: A Family of Model Checkers for the Analysis of Software Designs (2014) (1)
Behaviour Interactions Among Product-Line Features (2019) (1)
A Graph-based Design Framework for Global Computing Systems (2009) (1)
The industrialization of formal methods (2006) (1)
Context transformations for goal models (2014) (1)
Proceedings of the 9th international conference on Integrated Formal Methods (2012) (1)
Applying Formal Methods to Telecommunication Services with Active Networks (2012) (1)
An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in ® (2012) (1)
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (2013) (1)
Formal Verification of Safety Requirements on Complex Systems (1996) (1)
Refinement of Behavioural Models for Variability Description (2016) (1)
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 (2003) (1)
Shortest Path Problems and Tree Grammars: An Algebraic Framework (1978) (1)
A BRUTUS Logic for a Spi-Calculus Dialect (2000) (1)
Variability and Rigour in Service Computing Engineering (2011) (1)
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints (2019) (1)
The HAL-online Tool (2011) (1)
Editorial (2019) (1)
Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering - Volume 8411 (2014) (1)
Experimenting with Diversity in the Formal Development of Railway Signalling Systems (2008) (1)
Product Line Use Cases (2004) (1)
Special section on the 17th International Software Product Line Conference (2015) (1)
Foreword (2000) (1)
A note on n similar process (1997) (1)
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL (2019) (1)
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 (2001) (1)
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering: Preface (2015) (0)
Formal Methods for Distributed Computing in Future Railway Systems (2020) (0)
Assisting the Design of an Industrial Groupware System by Model Checking (2008) (0)
An industrial application for the JACK environment (1997) (0)
Formal Verification of the MUD case study (2005) (0)
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (2014) (0)
Special section on the 17th International Software Product Line Conference (2015) (0)
Statecharts Composition to Model Topologically Distributed Applications (2006) (0)
QuARS Express : A Tool for Evaluating Natural Language Requirements (2008) (0)
Temporal Logic Veriication of Lotos Speciications Using Abstract Interpretation (1994) (0)
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015 (2015) (0)
Specification and Implementation of Demonstrators for the Case Studies (2011) (0)
Requirements of an Integrated Formal Method for Intelligent Swarms (2012) (0)
Early Analysis of Natural Language Requirements (2004) (0)
Automation of Test Case Assessment in SPLs — Experiences and Open Questions (2016) (0)
D3.b: Challenging Analysis Scenarios and Language Primitives (2007) (0)
Implementation of Coordination Primitives in a Mobile Architecture (1999) (0)
Formal methods for transport systems (2018) (0)
D8.8 Sensoria Results Applied to the Case Studies (0)
Formal Description and Validation of an Interaction policy in an Object-Oriented Framework (1999) (0)
Smart Services for Railways (2019) (0)
Families of software systems: a model checking approach (2013) (0)
TR-QC3-2013 Model Checking Value-Passing Modal Specifications Revision : 1 ; Nov 15 , 2013 (0)
An Expressive Logic for Basic Process Algebra (1993) (0)
Formal methods for railway control systems (2014) (0)
Edinburgh Research Explorer Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (2018) (0)
PRINCIPLES FOR A TEMPORAL SEMANTICS OF LOTOS (2010) (0)
Formal Methods: Applying {Logics in, Theoretical} Computer Science (2012) (0)
Formal Specication and Verication of Complex Systems (2003) (0)
The Integration Project for the Jack Environement the Integration Project for the Jack Environment (1994) (0)
A Denotational Semantics for Full LOTOS (2010) (0)
Applications of Formal Methods, Modeling, and Testing Strategies for Safe Software Development (2018) (0)
CERTSOFT06 First International Workshop on Software Certification (2006) (0)
1st FME workshop on formal methods in software engineering (FormaliSE 2013) (2013) (0)
Modelling Asynchronous Applications in a Mobile Environment (2007) (0)
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities (2021) (0)
Fundamental Approaches to Software Engineering (2014) (0)
Proceedings of the 18th International Software Product Line Conference - Volume 1 (2014) (0)
Experimenting diversity in the formal development of railway signaling systems (2008) (0)
Correction to: Requirements Engineering: Foundation for Software Quality (2020) (0)
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling (1994) (0)
Executing the formal definition of Ada (1991) (0)
Proceedings - Software Engineering and Formal Methods, SEFM 2010: Preface (2010) (0)
A Deductive Database Support to the Specification of Concurrent Systems (1996) (0)
Ambiguity and tacit knowledge in requirements elicitation interviews (2016) (0)
Message from the Workshop Chairs (2020) (0)
A proof assistant for the action-based temporal logic ACTL (2009) (0)
Automatic Veriication of the Inter-consistency Fault Tolerance Mechanism (2007) (0)
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section (2008) (0)
Achieving Fault Tolerance by a Formally Validated Interaction Policy (2006) (0)
Future Train Control Systems: Challenges for Dependability Assessment (2022) (0)
WCS : a Witness and Counterexample Server (2011) (0)
VIBE: Looking for Variability In amBiguous rEquirements (2022) (0)
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015) (2015) (0)
Language and Communication Problems in Formalization: A Natural Language Approach (2021) (0)
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain (2018) (0)
CERTSOFT 06 First International Workshop on Software Certification A satellite event of FM 2006 (2006) (0)
Formal methods and automated verification of critical systems (2018) (0)
Business process flexibility - a systematic literature review with a software systems perspective (2016) (0)
Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering (2017) (0)
EVALUATION OF NATURAL LANGUAGE REQUIREMENTS IN AN INDUSTRIAL CASE STUDY (2007) (0)
Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2 (2014) (0)
Formal Methods for Distributed Control Systems of Future Railways (2022) (0)
COMPARING FORMAL SPECIFICATIONS USING TEMPORAL LOGICS: A CASE STUDY ON LOTOS AND ESTELLE PROTOCOL DESCRIPTIONS (2010) (0)
EVALUATION OF NATURAL LANGUAGE REQUIREMENTS IN AN INDUSTRIAL CASE STUDY (2007) (0)
Editorial (2019) (0)
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews (2023) (0)
Automated Service Selection using Knowledge Graphs (2016) (0)
A Logic Approach to Guarded and Unguarded Recursion (2010) (0)
FME representatives (OC and PC) (2012) (0)
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017) (2017) (0)

This paper list is powered by the following services:

Other Resources About Stefania Gnesi

en.wikipedia.org

What Schools Are Affiliated With Stefania Gnesi?

Stefania Gnesi is affiliated with the following schools: