The use of Ada in the design of distributed systems. - Paola Inverardi; Franco Mazzanti; Carlo Montangero (SIGAda, 1985)

Experimenting with Dynamic Linking with Ada. - Paola Inverardi; Franco Mazzanti (Softw. Pract. Exp., 1993)

A Symbolic Model Checker for ACTL. - Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti; Rosario Pugliese; Enrico Tronci (FM-Trends, 1998)

On the Fly Verification of Network of Automata. - Stefania Gnesi; Franco Mazzanti (PDPTA, 1999)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

Formal Modelling and Verification of an Asynchronous Extension of SOAP. - Maurice H. ter Beek; Stefania Gnesi; Franco Mazzanti; Corrado Moiso (ECOWS, 2006)

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 (FMICS, 2007)

Formal Modelling and Verification in Service-Oriented Computing. - Maurice H. ter Beek; Stefania Gnesi; Fabio Martinelli; Franco Mazzanti; Marinella Petrocchi (ERCIM News, 2007)

A Model Checking Approach for Verifying COWS Specifications. - Alessandro Fantechi; Stefania Gnesi; Alessandro Lapadula; Franco Mazzanti; Rosario Pugliese; Francesco Tiezzi 001 (FASE, 2008)

Formal verification of an automotive scenario in service-oriented computing. - Maurice H. ter Beek; Stefania Gnesi; Nora Koch; Franco Mazzanti (ICSE, 2008)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. - Martin Wirsing; Matthias M. Hölzl; Lucia Acciai; Federico Banti; Allan Clark; Alessandro Fantechi; Stephen Gilmore; Stefania Gnesi; László Gönczy; Nora Koch; Alessandro Lapadula; Philip Mayer; et al. (ISoLA, 2008)

A Model-Checking Approach for Service Component Architectures. - João Abreu; Franco Mazzanti; José Luiz Fiadeiro; Stefania Gnesi (FMOODS/FORTE, 2009)

CMC-UMC: a framework for the verification of abstract service-oriented properties. - Maurice H. ter Beek; Franco Mazzanti; Stefania Gnesi (SAC, 2009)

An Experience on Formal Analysis of a High-Level Graphical SOA Design. - Maurice H. ter Beek; Franco Mazzanti; Aldi Sulova (FM+AM, 2010)

Tools and Verification. - Massimo Bartoletti; Luís Caires; Ivan Lanese; Franco Mazzanti; Davide Sangiorgi; Hugo Torres Vieira; Roberto Zunino (Results of the SENSORIA Project, 2011)

An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. - Stefania Gnesi; Franco Mazzanti (Results of the SENSORIA Project, 2011)

Design and validation of variability in product lines. - Patrizia Asirelli; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti (PLEASE@ICSE, 2011)

A state/event-based model-checking approach for the analysis of abstract system properties. - Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti (Sci. Comput. Program., 2011)

VMC: A Tool for Product Variability Analysis. - Maurice H. ter Beek; Franco Mazzanti; Aldi Sulova (FM, 2012)

Demonstration of a model checker for the analysis of product variability. - Maurice H. ter Beek; Stefania Gnesi; Franco Mazzanti (SPLC (2), 2012)

A logical verification methodology for service-oriented computing. - Alessandro Fantechi; Stefania Gnesi; Alessandro Lapadula; Franco Mazzanti; Rosario Pugliese; Francesco Tiezzi 001 (ACM Trans. Softw. Eng. Methodol., 2012)

VMC: A Tool for the Analysis of Variability in Software Product Lines. - Maurice H. ter Beek; Stefania Gnesi; Franco Mazzanti (ERCIM News, 2013)

Model Checking Value-Passing Modal Specifications. - Maurice H. ter Beek; Stefania Gnesi; Franco Mazzanti (Ershov Memorial Conference, 2014)

Deadlock Avoidance in Train Scheduling: A Model Checking Approach. - Franco Mazzanti; Giorgio Oronzo Spagnolo; Simone Della Longa; Alessio Ferrari 001 (FMICS, 2014)

Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. - Franco Mazzanti; Giorgio Oronzo Spagnolo; Alessio Ferrari 001 (NASA Formal Methods, 2014)

VMC: recent advances and challenges ahead. - Maurice H. ter Beek; Franco Mazzanti (SPLC Workshops, 2014)

KandISTI: A Family of Model Checkers for the Analysis of Software Designs. - Maurice H. ter Beek; Stefania Gnesi; Franco Mazzanti (ERCIM News, 2014)

From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. - Maurice H. ter Beek; Stefania Gnesi; Franco Mazzanti (Software, Services, and Systems, 2015)

From Featured Transition Systems to Modal Transition Systems with Variability Constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (SEFM, 2015)

Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. - Davide Basile 001; Silvano Chiaradonna; Felicita Di Giandomenico; Stefania Gnesi; Franco Mazzanti (SERENE, 2015)

Using FMC for family-based analysis of software product lines. - Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti (SPLC, 2015)

An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine. - Franco Mazzanti (Ada-Europe, 2016)

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ISoLA (2), 2016)

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. - Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti (J. Log. Algebraic Methods Program., 2016)

Verifying Properties of Systems Relying on Attribute-Based Communication. - Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti (ModelEd, TestEd, TrustEd, 2017)

Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ERCIM News, 2017)

The KandISTI/UMC Online Open-Access Verification Framework. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ERCIM News, 2017)

States and Events in KandISTI - A Retrospective. - Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti (Models, Mindsets, Meta, 2018)

On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. - Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti; Andrea Piattino; Daniele Trentini; Alessio Ferrari 001 (IFM, 2018)

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. - Franco Mazzanti; Alessio Ferrari 001 (MARS/VPT@ETAPS, 2018)

Towards formal methods diversity in railways: an experience report with seven frameworks. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (Int. J. Softw. Tools Technol. Transf., 2018)

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. - Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Adopting Formal Methods in an Industrial Setting: The Railways Case. - Maurice H. ter Beek; Arne Borälv; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Christer Löfving; Franco Mazzanti (FM, 2019)

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (IFM, 2019)

Survey on Formal Methods and Tools in Railways: The ASTRail Approach. - Alessio Ferrari 001; Maurice H. ter Beek; Franco Mazzanti; Davide Basile 001; Alessandro Fantechi; Stefania Gnesi; Andrea Piattino; Daniele Trentini (RSSRail, 2019)

Static analysis of featured transition systems. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini (SPLC (A), 2019)

On the expressiveness of modal transition systems with variability constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (Sci. Comput. Program., 2019)

Comparing formal tools for system design: a judgment study. - Alessio Ferrari 001; Franco Mazzanti; Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi (ICSE, 2020)

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. - Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Laura Masullo; Franco Mazzanti; Andrea Piattino; Daniele Trentini (ISoLA (3), 2020)

Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. - Frédéric Lang; Radu Mateescu 001; Franco Mazzanti (TACAS (2), 2020)

A Formal Methods Demonstrator for Railways. - Franco Mazzanti; Davide Basile 001 (ERCIM News, 2020)

Static analysis and family-based model checking with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michael Lienhardt (SPLC (A), 2021)

Static analysis and family-based model checking of featured transition systems with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michele Valfrè; Michael Lienhardt (SPLC (B), 2021)

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. - Alessio Ferrari 001; Franco Mazzanti; Davide Basile 001; Maurice H. ter Beek (CoRR, 2021)

Compositional verification of concurrent systems by combining bisimulations. - Frédéric Lang; Radu Mateescu 001; Franco Mazzanti (Formal Methods Syst. Des., 2021)

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. - Franco Mazzanti; Alessio Ferrari 001; Davide Basile 001; Maurice H. ter Beek (Zenodo, 2021)

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. - Franco Mazzanti; Alessio Ferrari 001; Davide Basile 001; Maurice H. ter Beek (Zenodo, 2021)

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. - Franco Mazzanti; Alessio Ferrari 001; Davide Basile 001; Maurice H. ter Beek (Zenodo, 2021)

The 4SECURail Formal Methods Demonstrator. - Franco Mazzanti; Dimitri Belli (RSSRail, 2022)

A Case Study in Formal Analysis of System Requirements. - Dimitri Belli; Franco Mazzanti (SEFM Workshops, 2022)

Formal Modeling and Initial Analysis of the 4SECURail Case Study. - Franco Mazzanti; Dimitri Belli (MARS@ETAPS, 2022)

Efficient static analysis and verification of featured transition systems. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini (Empir. Softw. Eng., 2022)

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini; Giordano Scarso (Sci. Comput. Program., 2022)

Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. - Alessio Ferrari 001; Franco Mazzanti; Davide Basile 001; Maurice H. ter Beek (IEEE Trans. Software Eng., 2022)

Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. - Davide Basile 001; Franco Mazzanti; Alessio Ferrari 001 (FMICS, 2023)

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 (FMICS, 2023)