World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
44
Citations
7447
World Ranking
7613
National Ranking
195

Overview

Stefania Gnesi is affiliated with the Institute of Information Science and Technologies in Italy. Their research primarily spans the field of Computer Science, with a specialization in several subfields including Computational Theory and Mathematics, Information Systems, Software, Artificial Intelligence, and Hardware and Architecture.

The main topics of Stefania Gnesi's research include:

  • Formal Methods in Verification
  • Petri Nets in System Modeling
  • Model-Driven Software Engineering Techniques
  • Software Engineering Techniques and Practices
  • Advanced Software Engineering Methodologies
  • Software Engineering Research
  • Service-Oriented Architecture and Web Services

Recent papers authored or co-authored by Stefania Gnesi include:

  • VIBE: Looking for Variability In amBiguous rEquirements, 2022, Journal of Systems and Software
  • Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review, 2025, IEEE Transactions on Intelligent Transportation Systems
  • Coherent modal transition systems refinement, 2024, Journal of Logical and Algebraic Methods in Programming
  • The 4SECURail approach to formalizing standard interfaces between signalling systems components, 2022, Zenodo (CERN European Organization for Nuclear Research)

Stefania Gnesi has collaborated frequently with several co-authors, including:

  • Alessandro Fantechi
  • Laura Semini
  • Maurice H. ter Beek
  • Davide Basile
  • Franco Mazzanti

The primary publication venues for Stefania Gnesi's work are:

  • Zenodo (CERN European Organization for Nuclear Research)
  • Journal of Systems and Software
  • IEEE Transactions on Intelligent Transportation Systems
  • Journal of Logical and Algebraic Methods in Programming

In addition to journal articles, Stefania Gnesi has contributed to book publications through Springer Science+Business Media, notably the title Requirements Engineering: Foundation for Software Quality, published in 2020.

Best Publications

  • FME 2003: Formal Methods

    Keijiro Araki;Stefania Gnesi;Dino Mandrioli

  • Leveraging Applications of Formal Methods, Verification and Validation

    Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti

  • Application of linguistic techniques for Use Case analysis

    A. Fantechi;S. Gnesi;G. Lami;A. Maccari

  • Web Service Composition Approaches: From Industrial Standards to Formal Methods

    M. ter Beek;A. Bucchiarone;S. Gnesi

  • 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

  • An automatic tool for the analysis of natural language requirements.

    Stefania Gnesi;Giuseppe Lami;Gianluca Trentanni

  • PLUTO: A test methodology for product families

    Antonia Bertolino;Stefania Gnesi

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

    R. De Nicola;A. Fantechi;S. Gnesi;G. Ristori

  • An Automatic Quality Evaluation for Natural Language Requirements

    F. Fabbrini;M. Fusani;S. Gnesi;G. Lami

  • PURE: A Dataset of Public Requirements Documents

    Alessio Ferrari;Giorgio Oronzo Spagnolo;Stefania Gnesi

  • Assisting requirement formalization by means of natural language translation

    A. Fantechi;S. Gnesi;G. Ristori;M. Carenini

  • Formal test-case generation for UML statecharts

    S. Gnesi;D. Latella;M. Massink

  • Formal Description of Variability in Product Families

    Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi

  • A Survey on Services Composition Languages and Models

    Antonio Bucchiarone;Stefania Gnesi

  • Formal Modeling for Product Families Engineering

    A. Fantechi;S. Gnesi

  • A Guidelines framework for understandable BPMN models

    Flavio Corradini;Alessio Ferrari;Fabrizio Fornari;Stefania Gnesi

  • Use case-based testing of product lines

    Antonia Bertolino;Stefania Gnesi

  • Model checking UML Statechart diagrams using JACK

    S. Gnesi;D. Latella;M. Massink

  • The Integration Project for the JACK Environment.

    Amar Bouali;Stefania Gnesi;Salvatore Larosa

  • Ambiguity and tacit knowledge in requirements elicitation interviews

    Alessio Ferrari;Paola Spoletini;Stefania Gnesi

  • Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.

    Alessandro Fantechi;Stefania Gnesi;R. Sacchelli

Frequent Co-Authors

Alessandro Fantechi
Alessandro Fantechi University of Florence
Ugo Montanari
Ugo Montanari University of Pisa
Rosario Pugliese
Rosario Pugliese University of Florence
Nora Koch
Nora Koch Ludwig-Maximilians-Universität München
Antonia Bertolino
Antonia Bertolino National Research Council (CNR)
José Luiz Fiadeiro
José Luiz Fiadeiro University of Dundee
John Derrick
John Derrick University of Sheffield
Paola Inverardi
Paola Inverardi University of L'Aquila
Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München
Marco Pistore
Marco Pistore Fondazione Bruno Kessler

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees opens up flexible opportunities for those interested in Computer Science or related fields. Many students begin with online associate degrees, which can be completed quickly and provide foundational skills for entry-level jobs or further study.

For those looking to accelerate their education, accelerated doctoral programs in education online offer a fast track to advanced credentials in academic or leadership roles. These programs can significantly reduce the time to graduation compared to traditional pathways.

Affordability is a key concern for many. Numerous institutions offer the cheapest doctorate degree online options, allowing you to pursue advanced expertise without incurring massive debt. Similarly, those interested in a business-oriented tech career may explore the cheapest online business degree programs to build versatile skills.

By considering these diverse online degree paths, you can tailor your education to fit your budget, timeline, and career aspirations — all while building essential skills for the fast-evolving tech landscape.

Best Scientists Citing Stefania Gnesi

Trending Scientists

Recently Published Articles