H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 35 Citations 5,659 206 World Ranking 5931 National Ranking 152

Overview

What is she best known for?

The fields of study she is best known for:

  • Programming language
  • Operating system
  • Software

Her scientific interests lie mostly in Programming language, Theoretical computer science, Temporal logic, Model checking and Formal specification. She focuses mostly in the field of Programming language, narrowing it down to topics relating to Natural language and, in certain cases, Requirements analysis, Ambiguity, Functional requirement, Requirements engineering and Use case. Her Theoretical computer science research integrates issues from Algorithm, State and Algebraic graph theory.

As part of one scientific family, Stefania Gnesi deals mainly with the area of Model checking, narrowing it down to issues related to the Distributed computing, and often Interface and Exploit. Her studies in Formal specification integrate themes in fields like Software architecture, Formal methods, Conformance testing and Formal verification. Her Formal methods study is concerned with the larger field of Software engineering.

Her most cited work include:

  • FME 2003: Formal Methods (213 citations)
  • Leveraging Applications of Formal Methods, Verification and Validation (205 citations)
  • Application of linguistic techniques for Use Case analysis (166 citations)

What are the main themes of her work throughout her whole career to date?

Stefania Gnesi focuses on Software engineering, Model checking, Formal methods, Programming language and Theoretical computer science. Her Software engineering study deals with Software intersecting with Product and Natural language. She has included themes like Temporal logic, Process calculus, Fault tolerance, Finite-state machine and Formal verification in her Model checking study.

Stefania Gnesi works mostly in the field of Formal methods, limiting it down to concerns involving Formal specification and, occasionally, Life-critical system. Her study in Unified Modeling Language and Correctness are all subfields of Programming language. Her Theoretical computer science research is multidisciplinary, incorporating elements of Algorithm and State.

She most often published in these fields:

  • Software engineering (25.36%)
  • Model checking (21.07%)
  • Formal methods (19.64%)

What were the highlights of her more recent work (between 2016-2020)?

  • Artificial intelligence (8.93%)
  • Natural language processing (7.86%)
  • Formal methods (19.64%)

In recent papers she was focusing on the following fields of study:

Stefania Gnesi mainly investigates Artificial intelligence, Natural language processing, Formal methods, Ambiguity and Software engineering. Her Natural language processing research is multidisciplinary, incorporating perspectives in Set, Natural language requirements, Requirements engineering, Variation and Requirements analysis. Her Formal methods study also includes

  • Engineering management that intertwine with fields like Body of knowledge,
  • Key which connect with Systems Modeling Language.

Her work deals with themes such as Requirements elicitation, Natural language and Identification, which intersect with Ambiguity. Her Software engineering research incorporates themes from Software system, Software, Software development and Formal verification. Her research in Formal verification tackles topics such as State which are related to areas like Theoretical computer science.

Between 2016 and 2020, her most popular works were:

  • Natural Language Requirements Processing: A 4D Vision (27 citations)
  • Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain (27 citations)
  • Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings (26 citations)

In her most recent research, the most cited papers focused on:

  • Programming language
  • Software
  • Operating system

The scientist’s investigation covers issues in Artificial intelligence, Software, Domain, Requirements analysis and Natural language processing. Stefania Gnesi combines subjects such as Formal methods, Natural language and Interface with her study of Domain. Her Formal methods research focuses on Engineering management and how it relates to Formal verification.

Stefania Gnesi has researched Requirements analysis in several fields, including Empirical research and Ambiguity. Her study focuses on the intersection of Natural language processing and fields such as Requirements engineering with connections in the field of Terminology. Her work focuses on many connections between Spurious relationship and other disciplines, such as Service-oriented architecture, that overlap with her field of interest in Software engineering.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

FME 2003: Formal Methods

Keijiro Araki;Stefania Gnesi;Dino Mandrioli.
Lecture Notes in Computer Science (2003)

325 Citations

Leveraging Applications of Formal Methods, Verification and Validation

Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti.
Springer-Verlag GmbH (2008)

309 Citations

Application of linguistic techniques for Use Case analysis

A. Fantechi;S. Gnesi;G. Lami;A. Maccari.
international conference on requirements engineering (2002)

253 Citations

Web Service Composition Approaches: From Industrial Standards to Formal Methods

M. ter Beek;A. Bucchiarone;S. Gnesi.
international conference on internet and web applications and services (2007)

207 Citations

The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool

F. Fabbrini;M. Fusani;S. Gnesi;G. Lami.
annual software engineering workshop (2001)

180 Citations

An action-based framework for verifying logical and behavioural properties of concurrent systems

R. De Nicola;A. Fantechi;S. Gnesi;G. Ristori.
Computer Networks and Isdn Systems (1993)

166 Citations

An automatic tool for the analysis of natural language requirements.

Stefania Gnesi;Giuseppe Lami;Gianluca Trentanni.
Computer Systems: Science & Engineering (2005)

165 Citations

An Automatic Quality Evaluation for Natural Language Requirements

F. Fabbrini;M. Fusani;S. Gnesi;G. Lami.
(2001)

147 Citations

Formal test-case generation for UML statecharts

S. Gnesi;D. Latella;M. Massink.
international conference on engineering of complex computer systems (2004)

126 Citations

Assisting requirement formalization by means of natural language translation

A. Fantechi;S. Gnesi;G. Ristori;M. Carenini.
formal methods (1994)

122 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Stefania Gnesi

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 51

Bernhard Steffen

Bernhard Steffen

TU Dortmund University

Publications: 29

Patrick Heymans

Patrick Heymans

University of Namur

Publications: 27

Michael Leuschel

Michael Leuschel

Heinrich Heine University Düsseldorf

Publications: 27

Ina Schaefer

Ina Schaefer

Technische Universität Braunschweig

Publications: 26

Rocco De Nicola

Rocco De Nicola

IMT Institute for Advanced Studies Lucca

Publications: 22

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 22

Lionel C. Briand

Lionel C. Briand

University of Ottawa

Publications: 20

Tiziana Margaria

Tiziana Margaria

University of Limerick

Publications: 19

Michael Butler

Michael Butler

University of Southampton

Publications: 16

José Luiz Fiadeiro

José Luiz Fiadeiro

Royal Holloway University of London

Publications: 15

Reiner Hähnle

Reiner Hähnle

TU Darmstadt

Publications: 13

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 12

Paola Inverardi

Paola Inverardi

University of L'Aquila

Publications: 12

Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler

Publications: 12

Martin Wirsing

Martin Wirsing

Ludwig-Maximilians-Universität München

Publications: 11

Something went wrong. Please try again later.