Franco Mazzanti

According to our database, Franco Mazzanti authored at least 66 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect.

Davide Basile, Franco Mazzanti, Alessio Ferrari

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design.

Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek

IEEE Trans. Software 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

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

Formal Modeling and Initial Analysis of the 4SECURail Case Study.

Franco Mazzanti, Dimitri Belli

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

A Case Study in Formal Analysis of System Requirements.

Dimitri Belli, Franco Mazzanti

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

The 4SECURail Formal Methods Demonstrator.

Franco Mazzanti, Dimitri Belli

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.

Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek

Dataset, November, 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.

Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek

Dataset, April, 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.

Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek

Dataset, April, 2021

Compositional verification of concurrent systems by combining bisimulations.

Frédéric Lang, Radu Mateescu, Franco Mazzanti

Formal Methods Syst. Des., 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.

Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek

CoRR, 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

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Static analysis and family-based model checking with VMC.

Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

2020

A Formal Methods Demonstrator for Railways.

Franco Mazzanti, Davide Basile

ERCIM News, 2020

Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities.

Frédéric Lang, Radu Mateescu, Franco Mazzanti

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Comparing formal tools for system design: a judgment study.

Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

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

Static analysis of featured transition systems.

Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.

Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 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

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Adopting Formal Methods in an Industrial Setting: The Railways Case.

Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems.

Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Towards formal methods diversity in railways: an experience report with seven frameworks.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

Int. J. Softw. Tools Technol. Transf., 2018

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System.

Franco Mazzanti, Alessio Ferrari

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

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

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

States and Events in KandISTI - A Retrospective.

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Proceedings of the Models, Mindsets, 2018

2017

The KandISTI/UMC Online Open-Access Verification Framework.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

ERCIM News, 2017

Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

ERCIM News, 2017

Verifying Properties of Systems Relying on Attribute-Based Communication.

Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti

Proceedings of the ModelEd, TestEd, TrustEd, 2017

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

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine.

Franco Mazzanti

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Using FMC for family-based analysis of software product lines.

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Proceedings of the 19th International Conference on Software Product Line, 2015

Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.

Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti

Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

From Featured Transition Systems to Modal Transition Systems with Variability Constraints.

Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI.

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti

Proceedings of the Software, 2015

2014

KandISTI: A Family of Model Checkers for the Analysis of Software Designs.

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti

ERCIM News, 2014

VMC: recent advances and challenges ahead.

Maurice H. ter Beek, Franco Mazzanti

Proceedings of the 18th International Software Product Lines Conference, 2014

Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.

Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Deadlock Avoidance in Train Scheduling: A Model Checking Approach.

Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

Model Checking Value-Passing Modal Specifications.

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti

Proceedings of the Perspectives of System Informatics, 2014

2013

VMC: A Tool for the Analysis of Variability in Software Product Lines.

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti

ERCIM News, 2013

2012

A logical verification methodology for service-oriented computing.

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

ACM Trans. Softw. Eng. Methodol., 2012

Demonstration of a model checker for the analysis of product variability.

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti

Proceedings of the 16th International Software Product Line Conference, 2012

VMC: A Tool for Product Variability Analysis.

Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova

Proceedings of the FM 2012: Formal Methods, 2012

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

Design and validation of variability in product lines.

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011

An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems.

Stefania Gnesi, Franco Mazzanti

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Tools and Verification.

Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

An Experience on Formal Analysis of a High-Level Graphical SOA Design.

Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova

Proceedings of the FM+AM 2010, 2010

2009

CMC-UMC: a framework for the verification of abstract service-oriented properties.

Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Model-Checking Approach for Service Component Architectures.

João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi

Proceedings of the Formal Techniques for Distributed Systems, 2009

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, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró

Proceedings of the Leveraging Applications of Formal Methods, 2008

Formal verification of an automotive scenario in service-oriented computing.

Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Model Checking Approach for Verifying COWS Specifications.

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

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Formal Modelling and Verification in Service-Oriented Computing.

Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi

ERCIM News, 2007

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

Formal Modelling and Verification of an Asynchronous Extension of SOAP.

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2002

AGILE: Software Architecture for Mobility.

Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

1999

On the Fly Verification of Network of Automata.

Stefania Gnesi, Franco Mazzanti

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

A Symbolic Model Checker for ACTL.

Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci

Proceedings of the Applied Formal Methods, 1998

1993

Experimenting with Dynamic Linking with Ada.

Paola Inverardi, Franco Mazzanti

Softw. Pract. Exp., 1993

1985

The use of Ada in the design of distributed systems.

Paola Inverardi, Franco Mazzanti, Carlo Montangero

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985