| 2025 | FMICS | Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles. | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni, Lucio Rota |
| 2025 | RE | Combining Established and Emerging Techniques to Detect Inconsistencies in Requirements. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2024 | ISoLA | An Integrated Perspective on the Evaluation of Complex Railway Systems. | Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori |
| 2024 | ISoLA | Can AI Help with the Formalization of Railway Cybersecurity Requirements? | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi |
| 2024 | ISoLA | Formal Methods for Distributed Computing in Future Railway Systems. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2024 | ISoLA | Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. | Christophe Limbre, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi |
| 2024 | REFSQ | Exploring LLMs' Ability to Detect Variability in Requirements. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2023 | FMICS | The 4SECURail Case Study on Rigorous Standard Interface Specifications. | Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi |
| 2023 | RE | Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. | Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini |
| 2023 | REFSQ | Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2022 | ISoLA | Future Train Control Systems: Challenges for Dependability Assessment. | Alessandro Fantechi, Stefania Gnesi, Gloria Gori |
| 2022 | ISoLA | Formal Methods for Distributed Control Systems of Future Railways. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2022 | ISSRE | Software rejuvenation and runtime reliability monitoring. | Alessandro Fantechi, Gloria Gori, Marco Papini |
| 2021 | FMICS | Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. | Davide Basile, Alessandro Fantechi, Irene Rosadi |
| 2021 | SPLC | A spaCy-based tool for extracting variability from NL requirements. | Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini |
| 2020 | ICSE | Comparing formal tools for system design: a judgment study. | Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi |
| 2020 | ISoLA | Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini |
| 2020 | ISoLA | 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Mbius and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2020 | ISoLA | Formal Methods for Distributed Computing in Future Railway Systems. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2020 | QUATIC | An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. | Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2020 | REFSQ | A comparison of NLP Tools for RE to extract Variation Points. | Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2019 | FM | Adopting Formal Methods in an Industrial Setting: The Railways Case. | Maurice H. ter Beek, Arne Borlv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Lfving, Franco Mazzanti |
| 2019 | REFSQ | From Generic Requirements to Variability. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2019 | SAFECOMP | The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. | Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mand, Nicola Nostro, Luigi Rucher |
| 2019 | SPLC | Applying the QuARS tool to detect variability. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2018 | FMICS | Safety Interlocking as a Distributed Mutual Exclusion Problem. | Alessandro Fantechi, Anne E. Haxthausen |
| 2018 | IFM | On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari |
| 2018 | RE | Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini |
| 2018 | SPLC | Product line models of large cyber-physical systems: the case of ERTMS/ETCS. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2018 | VECoS | Analysis of a Road/Tramway Intersection by the ORIS Tool. | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario |
| 2017 | FMICS | Optimizing Feature Interaction Detection. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2017 | PDP | Model Checking Geographically Distributed Interlocking Systems Using UMC. | Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen |
| 2017 | REFSQ | Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. | Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini |
| 2017 | SEFM | Compositional Verification of Interlocking Systems for Large Stations. | Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo |
| 2016 | FMICS | Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems. | Alessandro Fantechi |
| 2016 | ISoLA | Variability-Based Design of Services for Smart Transportation Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2016 | ISoLA | Formal Methods and Safety Certification: Challenges in the Railways Domain. | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi |
| 2016 | ISoLA | Compositional Verification of Multi-station Interlocking Systems. | Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen |
| 2016 | MODELSWARD | Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. | Alessandro Fantechi, Stefano Pepi |
| 2016 | MODELSWARD | Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System. | Stefano Pepi, Alessandro Fantechi |
| 2015 | SPLC | Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2015 | SPLC | Using FMC for family-based analysis of software product lines. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2014 | FMICS | On the Validation of an Interlocking System by Model-Checking. | Andrea Bonacchi, Alessandro Fantechi |
| 2014 | ISoLA | Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2014 | QUATIC | Validation of Interlocking Systems by Testing their Models. | Andrea Bonacchi, Alessandro Fantechi |
| 2013 | SEFM | Validation of Railway Interlocking Systems by Formal Verification, A Case Study. | Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani |
| 2013 | SEFM | Twenty-Five Years of Formal Methods and Railways: What Next? | Alessandro Fantechi |
| 2013 | SPLC | Topologically configurable systems as product families. | Alessandro Fantechi |
| 2012 | ISoLA | A Compositional Framework to Derive Product Line Behavioural Descriptions. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2012 | ISoLA | Distributing the Challenge of Model Checking Interlocking Control Tables. | Alessandro Fantechi |
| 2012 | ISoLA | Formal Methods for Intelligent Transportation Systems. | Alessandro Fantechi, Francesco Flammini, Stefania Gnesi |
| 2012 | QUATIC | A GUI Testability Problem: A Case Study in the Railway Signaling Domain. | Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani |
| 2011 | FORTE | A Model-Checking Tool for Families of Services. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2011 | ICSE | Design and validation of variability in product lines. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2011 | SAFECOMP | On the Adoption of Model Checking in Safety-Related Software Industry. | Alessandro Fantechi, Stefania Gnesi |
| 2011 | SEW | Variability and Rigour in Service Computing Engineering. | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Jos Luiz Fiadeiro |
| 2011 | SPLC | Formal Description of Variability in Product Families. | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
| 2010 | FMICS | The Metr Rio ATP Case Study. | Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini |
| 2010 | ICST | Model Based Testing and Abstract Interpretation in the Railway Signaling Context. | Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini |
| 2010 | IFM | A Logical Framework to Deal with Variability. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2010 | SAC | An experience in using a tool for evaluating a large set of natural language requirements. | Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni |
| 2009 | FMICS | Formal Development for Railway Signaling Using Commercial Tools. | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccol Zingoni |
| 2008 | Coordination | Session Types for Orchestration Charts. | Alessandro Fantechi, Elie Najm |
| 2008 | FASE | A Model Checking Approach for Verifying COWS Specifications. | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
| 2008 | FMICS | Panel Discussion on Formal Methods in Commercial Software Development Tools. | Alessandro Fantechi, Alessio Ferrari |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2008 | SPLC | Formal Modeling for Product Families Engineering. | Alessandro Fantechi, Stefania Gnesi |
| 2007 | FMICS | An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2006 | FM | A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. | Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccol Zingoni |
| 2005 | FMICS | Instantiating generic charts for railway interlocking systems. | Michele Banci, Alessandro Fantechi |
| 2004 | DAS | Natural Language Processing of Patents and Technical Documentation. | Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci |
| 2004 | FORTE | Witness and Counterexample Automata for ACTL. | Robert Meolic, Alessandro Fantechi, Stefania Gnesi |
| 2004 | SPLC | A Methodology for the Derivation and Verification of Use Cases for Product Lines. | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti |
| 2003 | FORTE | Behavioural Contracts for a Sound Assembly of Components. | Cyril Carrez, Alessandro Fantechi, Elie Najm |
| 2002 | RE | Application of Linguistic Techniques for Use Case Analysis. | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari |
| 1999 | SAFECOMP | Formal Validation of the GUARDS Inter-Consistency Mechanism. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1998 | FM | A Symbolic Model Checker for ACTL. | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
| 1998 | ISORC | Validating the Design of Dependable Systems. | Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi |
| 1996 | CONCUR | Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. | Alessandro Fantechi, Stefania Gnesi, Diego Latella |
| 1996 | EDCC | Proving Safety Properties for Embedded Control Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi |
| 1996 | SAFECOMP | Formal Verification of Safety Requirements on Complex Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1995 | SEKE | Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. | Cinzia Bernardeschi, Alessandro Fantechi, Fabio Patern |
| 1995 | SAFECOMP | An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. | A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli |
| 1995 | TACAS | Model Checking of Non-Finite State Processes by Finite Approximations. | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
| 1994 | EDCC | Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. | Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini |
| 1994 | FORTE | Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. | Alessandro Fantechi, Stefania Gnesi, R. Sacchelli |
| 1993 | MFCS | An Expressive Logic for Basic Process Algebra. | Alessandro Fantechi, Stefania Gnesi, V. Perticaroli |
| 1991 | CAV | An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. | Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
| 1990 | FORTE | How Expressive Are LOTOS Behaviour Expressions? | Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini |
| 1989 | FORTE | An Expressive Temporal Logic for Basic LOTOS. | Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve |