World's Best Scientists 2026 revealed!
Alessandro Fantechi

Alessandro Fantechi

D-Index & Metrics

Computer Science

D-Index
34
Citations
4388
World Ranking
12254
National Ranking
424

Overview

Alessandro Fantechi is affiliated with the University of Florence in Italy, focusing on areas within computer science and engineering. Their research contributions predominantly address formal methods, software engineering, and system reliability.

The scientist has produced work in multiple publication venues, including:

  • Formal Aspects of Computing
  • Zenodo (CERN European Organization for Nuclear Research)
  • Applied Sciences
  • Journal of Systems and Software
  • IEEE Transactions on Intelligent Transportation Systems

Fantechi's main fields of study encompass computer science and engineering, with a particular emphasis on subfields such as computational theory and mathematics, software, information systems, artificial intelligence, and control and systems engineering.

The main research topics covered in their publications include:

  • Formal Methods in Verification
  • Model-Driven Software Engineering Techniques
  • Petri Nets in System Modeling
  • Software Reliability and Analysis Research
  • Software Testing and Debugging Techniques
  • Reliability and Maintenance Optimization
  • Advanced Software Engineering Methodologies

Among recent papers involving Fantechi, the following stand out:

  • "VIBE: Looking for Variability In amBiguous rEquirements," 2022, Journal of Systems and Software

Other relevant recent publications coauthored by peers in related domains include:

  • "An Efficient Library for Reliability Block Diagram Evaluation," 2021, Applied Sciences
  • "Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker," 2021, Formal Aspects of Computing
  • "Compositional Verification of Railway Interlocking Systems," 2022, Formal Aspects of Computing
  • "Does Every Computer Scientist Need to Know Formal Methods?" 2024, Formal Aspects of Computing

Fantechi frequently collaborates with several coauthors including Stefania Gnesi, Gloria Gori, Anne E. Haxthausen, Maurice H. ter Beek, and Laura Semini. Collaboration patterns indicate ongoing engagements in topics related to formal verification and software reliability within international research contexts.

Best Publications

  • 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

  • GUARDS: a generic upgradable architecture for real-time dependable systems

    D. Powell;J. Arlat;L. Beus-Dukic;A. Bondavalli

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

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

  • Assisting requirement formalization by means of natural language translation

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

  • Natural language processing of patents and technical documentation

    Gaetano Cascini;Alessandro Fantechi;Emilio Spinicci

  • Formal Description of Variability in Product Families

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

  • Formal Modeling for Product Families Engineering

    A. Fantechi;S. Gnesi

  • Model Checking Interlocking Control Tables

    Alessio Ferrari;Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi

  • A state/event-based model-checking approach for the analysis of abstract system properties

    Maurice H. ter Beek;Alessandro Fantechi;Stefania Gnesi;Franco Mazzanti

  • A Formal Verification Environment for Railway Signaling System Design

    Cinzia Bernardeschi;Alessandro Fantechi;Stefania Gnesi;Salvatore Larosa

  • Testing equivalences for event structures

    Luca Aceto;Rocco De Nicola;Alessandro Fantechi

  • Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

    Alessio Ferrari;Gloria Gori;Benedetta Rosadini;Iacopo Trotta

  • Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

    Maurice H. ter Beek;Alessandro Fantechi;Alessandro Fantechi;Stefania Gnesi;Franco Mazzanti

  • Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain

    Benedetta Rosadini;Alessio Ferrari;Gloria Gori;Alessandro Fantechi

  • Some Trends in Formal Methods Applications to Railway Signaling

    Alessandro Fantechi;Wan Fokkink;Angelo Morzenti

  • A logical framework to deal with variability

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

  • Model checking fault tolerant systems

    Cinzia Bernardeschi;Alessandro Fantechi;Stefania Gnesi

  • Twenty-Five Years of Formal Methods and Railways: What Next?

    Alessandro Fantechi

  • Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living

    Tommaso Magherini;Alessandro Fantechi;Chris D. Nugent;Enrico Vicario

  • An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications

    Maurice H. Ter Beek;A. Fantechi;S. Gnesi;F. Mazzanti

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

    Alessandro Fantechi;Stefania Gnesi;R. Sacchelli

Frequent Co-Authors

Stefania Gnesi
Stefania Gnesi Institute of Information Science and Technologies
Andrea Bondavalli
Andrea Bondavalli University of Florence
Rosario Pugliese
Rosario Pugliese University of Florence
Rocco De Nicola
Rocco De Nicola IMT Institute for Advanced Studies Lucca
Paola Inverardi
Paola Inverardi University of L'Aquila
Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München
Dániel Varró
Dániel Varró Linköping University
Chris D. Nugent
Chris D. Nugent University of Ulster
Ugo Montanari
Ugo Montanari University of Pisa
Stephen Gilmore
Stephen Gilmore University of Edinburgh

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 can open up flexible and affordable options for advancing your career in technology and STEM fields. Many students seek a college with low gpa admissions requirements, which can offer a second chance for those with less traditional academic backgrounds.

If you’re passionate about environmental issues, you may want to consider an environmental science or engineering degree. These fields offer a variety of high-paying jobs with environmental science degree pathways, ranging from research and consultancy to government and industry roles.

For computer science enthusiasts aiming to fast-track their education, an accelerated cs degree can help you complete your studies in less time without sacrificing rigorous coursework.

Those interested in sustainability and design may also find value in researching the environmental engineering degree for practical, impactful careers in engineering.

Whether your goal is to switch careers, advance in your current field, or pursue a passion, these related online degrees provide diverse entry points and opportunities for growth.

Best Scientists Citing Alessandro Fantechi

Trending Scientists

Recently Published Articles