Alessandro Fantechi - Publications, H-index & Citations

Back

Alessandro Fantechi

university of florence

33H-index

238Paper Count

3.6KCitation Count

Published Papers 15

Publication Date

Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025

IF0

2026-01-01

PREAI

Haxthausen, Anne E.; Fantechi, Alessandro; Gori, Gloria

Save

Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025

IF0

2026-01-01

PREAI

Carnevali, Laura; Fantechi, Alessandro; Gori, Gloria; Vreshtazi, Denis; Borselli, Alessandro; Cefaloni, Aria Rosaria; Rota, Lucio

Save

Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025

IF0

2026-01-01

PREAI

Carnevali, Laura; Di Giandomenico, Felicita; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria

Save

Fusion2: Achieving SIL4 Onboard Positioning for Autonomous Trams

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025

IF0

2026-01-01

PREAI

Mando, Gianluca; Rucheri, Luigi; Fantechi, Alessandro; Gori, Gloria

Save

Efficient Reliability Block Diagram Evaluation Through Improved Algorithms and Parallel Computing

APPLIED SCIENCES-BASEL

IF2.5

2025-10-24

PREAI

Gori, Gloria; Papini, Marco; Fantechi, Alessandro

Save

Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2025-02-01

PREAI

Broccia, Giovanna; ter Beek, Maurice H.; Lafuente, Alberto Lluch; Spoletini, Paola; Fantechi, Alessandro; Ferrari, Alessio

Save

VIBE: Looking for Variability In amBiguous rEquirements?

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2023-01-01

PREAI

Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura

Save

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

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2018-02-20

PREAI

Ferrari, Alessio; Gori, Gloria; Rosadini, Benedetta; Trotta, Iacopo; Bacherini, Stefano; Fantechi, Alessandro; Gnesi, Stefania

Save

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

IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS

IF4.4

2013-11-01

PREAI

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

Save

Model-Based Development and Formal Methods in the Railway Industry

IEEE SOFTWARE

IF3

2013-05-01

PREAI

Ferrari, Alessio; Fantechi, Alessandro; Gnesi, Stefania; Magnani, Gianluca

Save

A Logical Verification Methodology for Service-Oriented Computing

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2012-07-03

OAAI

Fantechi, Alessandro; Gnesi, Stefania; Lapadula, Alessandro; Mazzanti, Franco; Pugliese, Rosario; Tiezzi, Francesco

Save

Formal validation of fault-tolerance mechanisms inside GUARDS

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2001-03-01

PREAI

Bernardeschi, C; Fantechi, A; Gnesi, S

Save

GUARDS:: A generic upgradable architecture for real-time dependable systems

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

IF6

1999-06-01

PREAI

Powell, D; Arlat, J; Beus-Dukic, L; Bondavalli, A; Coppola, P; Fantechi, A; Jenn, E; Rabéjac, C; Wellings, A

Save

An industrial application for the JACK environment

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

1997-12-01

PREAI

Bernardeschi, C; Fantechi, A; Gnesi, S

Save

2 STANDARDS MEANS PROBLEMS - A CASE-STUDY ON FORMAL PROTOCOL DESCRIPTIONS

COMPUTER STANDARDS & INTERFACES

IF3.1

1989-01-01

PREAI

FANTECHI, A; GNESI, S; LANEVE, C

Save

Research Directions