Alessandro Fantechi

ORCID

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 64

Top Venues

Publications

Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024 (137) (2024)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. 138 (2024)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Exploring LLMs' Ability to Detect Variability in Requirements. REFSQ (2024)
Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. RE (2023)
Anne Elisabeth Haxthausen, Alessandro Fantechi
Compositional Verification of Railway Interlocking Systems. Formal Aspects Comput. 35 (1) (2023)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. 195 (2023)
Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi
The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS (2023)
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen
Automated Compositional Verification of Interlocking Systems. RSSRail (2023)
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori
Decomposing the Verification of Interlocking Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops (2023)
Alessandro Fantechi, Gloria Gori, Marco Papini
Runtime reliability monitoring for complex fault-tolerance policies. CoRR (2022)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) (2022)
Alessandro Fantechi, Gloria Gori, Marco Papini
Software rejuvenation and runtime reliability monitoring. ISSRE Workshops (2022)
Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini
A Vision of Intelligent Train Control. RSSRail (2022)
Alessandro Fantechi, Stefania Gnesi, Gloria Gori
Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) (2022)
Alessandro Fantechi, Gloria Gori, Marco Papini
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies. ICSRS (2022)
Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée
Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail (2022)
Davide Basile, Alessandro Fantechi, Irene Rosadi
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. FMICS (2021)
Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini
A spaCy-based tool for extracting variability from NL requirements. SPLC (B) (2021)
Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock
Editorial. Formal Aspects Comput. 33 (6) (2021)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods (2021)
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Formal Aspects Comput. 33 (6) (2021)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) (2020)
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. QUATIC (2020)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) (2020)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) (2020)
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops (2020)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi
Comparing formal tools for system design: a judgment study. ICSE (2020)
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Stochastic modeling and analysis of road-tramway intersections. Innov. Syst. Softw. Eng. 16 (2) (2020)
Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops (2019)
Alessandro Fantechi
Connected or Autonomous Trains? RSSRail (2019)
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. From Software Engineering to Formal Methods and Tools, and Back (2019)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
From Generic Requirements to Variability. REFSQ Workshops (2019)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Applying the QuARS tool to detect variability. SPLC (B) (2019)
Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM (2019)
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. RSSRail (2019)
Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini
A novel layered approach to evaluate reliability of complex systems. RTSI (2019)
Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani
From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi
Smart Services for Railways. ERCIM News 2019 (117) (2019)
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail (2019)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS (2018)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM (2018)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE (2018)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC (2018)
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Analysis of a Road/Tramway Intersection by the ORIS Tool. VECoS (2018)
Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. 23 (6) (2018)
Alessandro Fantechi, Anne E. Haxthausen
Safety Interlocking as a Distributed Mutual Exclusion Problem. FMICS (2018)
Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
Formal Methods for the Railway Sector. ERCIM News 2018 (112) (2018)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta (2018)
Federica Paganelli, Terence Ambra, Alessandro Fantechi, Dino Giuli
Formalizing REST APIs for web-based communication and SIP interworking. Telecommun. Syst. 66 (1) (2017)
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM (2017)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Optimizing Feature Interaction Detection. FMICS-AVoCS (2017)
Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo
Compositional Verification of Interlocking Systems for Large Stations. SEFM (2017)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Ambiguity defects as variation points in requirements. VaMoS (2017)
Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen
Model Checking Geographically Distributed Interlocking Systems Using UMC. PDP (2017)
Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. REFSQ (2017)
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini
Validation process for railway interlocking systems. Sci. Comput. Program. 128 (2016)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi
Formal Methods and Safety Certification: Challenges in the Railways Domain. ISoLA (2) (2016)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) (2016)
Alessandro Fantechi
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems. FMICS-AVoCS (2016)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. 85 (2) (2016)
Stefano Pepi, Alessandro Fantechi
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System. MODELSWARD (Revised Selected Papers) (2016)
Alessandro Fantechi, Stefano Pepi
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. AMARETTO@MODELSWARD (2016)
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
Compositional Verification of Multi-station Interlocking Systems. ISoLA (2) (2016)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Using FMC for family-based analysis of software product lines. SPLC (2015)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC (2015)
Mariano Di Claudio, Alessandro Fantechi, Giacomo Martelli, Simone Menabeni, Paolo Nesi
Model-based development of an automatic train operation component for communication based train control. ITSC (2014)
Andrea Bonacchi, Alessandro Fantechi
On the Validation of an Interlocking System by Model-Checking. FMICS (2014)
Andrea Bonacchi, Alessandro Fantechi
Validation of Interlocking Systems by Testing their Models. QUATIC (2014)
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi
Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) (2014)
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. SEFM Workshops (2013)
Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini
The Metrô Rio case study. Sci. Comput. Program. 78 (7) (2013)
Terence Ambra, Federica Paganelli, Alessandro Fantechi, Dino Giuli, Lorenzo Mazzi
Resource-oriented design towards the convergence of Web-centric and Telecom-centric services. FGCT (2013)
Alessandro Fantechi, Chris D. Nugent, Alessandro Pinzuti, Enrico Vicario, Tommaso Magherini
An On-line system for automated recognition of human activities. Eur. J. Law Technol. 4 (2) (2013)
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani
Model-Based Development and Formal Methods in the Railway Industry. IEEE Softw. 30 (3) (2013)
Alessandro Fantechi
Twenty-Five Years of Formal Methods and Railways: What Next? SEFM Workshops (2013)
Jonathan Michaux, Elie Najm, Alessandro Fantechi
Safe Session-Based Service Orchestration with Unreliable Communication. WS-FM (2013)
Gionni Bernardini, Federica Paganelli, Mauro Manetti, Alessandro Fantechi, Ernesto Iadanza
SYRMA: a tool for a system approach to risk management in mission critical systems. Int. J. Bus. Inf. Syst. 13 (1) (2013)
Jonathan Michaux, Elie Najm, Alessandro Fantechi
Session types for safe Web service orchestration. J. Log. Algebraic Methods Program. 82 (8) (2013)
Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. SERENE (2013)
Alessandro Fantechi
Topologically configurable systems as product families. SPLC (2013)
Tommaso Magherini, Alessandro Fantechi, Chris D. Nugent, Enrico Vicario
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. IEEE Trans. Hum. Mach. Syst. 43 (6) (2013)
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
A GUI Testability Problem: A Case Study in the Railway Signaling Domain. QUATIC (2012)
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21 (3) (2012)
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi
Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods (2012)
Alessandro Fantechi
Distributing the Challenge of Model Checking Interlocking Control Tables. ISoLA (2) (2012)
Jonathan Michaux, Elie Najm, Alessandro Fantechi
Adding Sessions to BPEL WWV (2012)
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) (2012)
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi
Formal Methods for Intelligent Transportation Systems. ISoLA (2) (2012)
Alessandro Fantechi, Stefania Gnesi
On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP (2011)
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
A Model-Checking Tool for Families of Services. FMOODS/FORTE (2011)
Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76 (2) (2011)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76 (2) (2011)
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro
Variability and Rigour in Service Computing Engineering. SEW (2011)
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
Formal Description of Variability in Product Families. SPLC (2011)
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Int. J. Embed. Real Time Commun. Syst. 2 (2) (2011)
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Design and validation of variability in product lines. PLEASE@ICSE (2011)
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
A Deontic Logical Framework for Modelling Product Families. VaMoS (2010)
Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni
An experience in using a tool for evaluating a large set of natural language requirements. SAC (2010)

Alessandro Fantechi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alessandro Fantechi