A. Fantechi

A. Fantechi

Università degli Studi di Firenze

H-index: 37

Europe-Italy

About A. Fantechi

A. Fantechi, With an exceptional h-index of 37 and a recent h-index of 19 (since 2020), a distinguished researcher at Università degli Studi di Firenze, specializes in the field of Formal Methods, Software Product Lines, Requirements Engineering, Model Checking.

His recent articles reflect a diverse array of research interests and contributions to the field:

Exploring LLMs’ Ability to Detect Variability in Requirements

Coherent modal transition systems refinement

Journal of Logical and Algebraic Methods in Programming

Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation

Decomposing the verification of interlocking systems

Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study.

Compositional verification of railway interlocking systems

Automated Compositional Verification of Interlocking Systems

A. Fantechi Information

University

Position

___

Citations(all)

4579

Citations(since 2020)

1394

Cited By

3721

hIndex(all)

37

hIndex(since 2020)

19

i10Index(all)

105

i10Index(since 2020)

38

Email

University Profile Page

Università degli Studi di Firenze

Google Scholar

View Google Scholar Profile

A. Fantechi Skills & Research Interests

Formal Methods

Software Product Lines

Requirements Engineering

Model Checking

Top articles of A. Fantechi

Title

Journal

Author(s)

Publication Date

Exploring LLMs’ Ability to Detect Variability in Requirements

Alessandro Fantechi

Stefania Gnesi

Laura Semini

2024/3/30

Coherent modal transition systems refinement

Journal of Logical and Algebraic Methods in Programming

Davide Basile

Maurice H ter Beek

Alessandro Fantechi

Stefania Gnesi

2024/2/28

Journal of Logical and Algebraic Methods in Programming

Luca Cardelli

Giuseppe Squillace

Mirco Tribastone

Max Tschaikowski

Andrea Vandin

2023

Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation

Alessandro Fantechi

Stefania Gnesi

Lucia Passaro

Laura Semini

2023/9/4

Decomposing the verification of interlocking systems

Anne E Haxthausen

Alessandro Fantechi

Gloria Gori

2023/8/17

Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study.

Alessandro Fantechi

Stefania Gnesi

Laura Semini

2023/4/17

Compositional verification of railway interlocking systems

Alessandro Fantechi

Gloria Gori

Anne E Haxthausen

Christophe Limbrée

2022/5/20

Automated Compositional Verification of Interlocking Systems

Anne E Haxthausen

Alessandro Fantechi

Gloria Gori

Óli Kárason Mikkelsen

Sofie-Amalie Petersen

2023/9/27

VIBE: looking for variability in ambiguous requirements

Journal of Systems and Software

Alessandro Fantechi

Stefania Gnesi

Laura Semini

2023/1/1

The 4SECURail Case Study on Rigorous Standard Interface Specifications

Dimitri Belli

Alessandro Fantechi

Stefania Gnesi

Laura Masullo

Franco Mazzanti

...

2023/9/17

Runtime reliability monitoring for complex fault-tolerance policies

Alessandro Fantechi

Gloria Gori

Marco Papini

2022/11/23

VaMoS'22: Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems

Paolo Arcaini

Xavier Devroey

Alessandro Fantechi

2022/2

Software rejuvenation and runtime reliability monitoring

Alessandro Fantechi

Gloria Gori

Marco Papini

2022/10/31

Proof of Completeness of Compositional Verification of Interlocking Systems

Anne Elisabeth Haxthausen

Alessandro Fantechi

2022

Future train control systems: challenges for dependability assessment

Alessandro Fantechi

Stefania Gnesi

Gloria Gori

2022/10/17

Formal methods for distributed control systems of future railways

Alessandro Fantechi

Stefania Gnesi

Anne E Haxthausen

2022/10/17

A vision of intelligent train control

Francesco Flammini

Lorenzo De Donato

Alessandro Fantechi

Valeria Vittorini

2022/5/20

Language and Communication Problems in Formalization: A Natural Language Approach

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Alessandro Fantechi

Stefania Gnesi

Laura Semini

2021

Technical Notes on the Proof of a Stutter Trace Inclusion Theorem

Anne Elisabeth Haxthausen

Alessandro Fantechi

2021

Un approccio euristico alla diagnostica predittiva dello stato di usura delle ruote basato su un dispositivo di terra a basso costo.

Ingegneria Ferroviaria

Laura CARNEVALI

Alessandro FANTECHI

Gloria GORI

Jacopo PARRI

Moreno PIERALLI

...

2021/1/1

See List of Professors in A. Fantechi University(Università degli Studi di Firenze)