Franco Mazzanti

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 33

Top Topics

Transition Systems

Top Venues

Publications

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)
Davide Basile, Franco Mazzanti, Alessio Ferrari
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. FMICS (2023)
Franco Mazzanti, Dimitri Belli
Formal Modeling and Initial Analysis of the 4SECURail Case Study. MARS@ETAPS (2022)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Trans. Software Eng. 48 (11) (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27 (1) (2022)
Franco Mazzanti, Dimitri Belli
The 4SECURail Formal Methods Demonstrator. RSSRail (2022)
Dimitri Belli, Franco Mazzanti
A Case Study in Formal Analysis of System Requirements. SEFM Workshops (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. 224 (2022)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt
Static analysis and family-based model checking with VMC. SPLC (A) (2021)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Compositional verification of concurrent systems by combining bisimulations. Formal Methods Syst. Des. 58 (1-2) (2021)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt
Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) (2021)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. CoRR (2021)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. TACAS (2) (2020)
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)
Franco Mazzanti, Davide Basile
A Formal Methods Demonstrator for Railways. ERCIM News 2020 (121) (2020)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi
Comparing formal tools for system design: a judgment study. ICSE (2020)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169 (2019)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Compositional Verification of Concurrent Systems by Combining Bisimulations. FM (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)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Static analysis of featured transition systems. SPLC (A) (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)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM (2019)
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
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)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
Towards formal methods diversity in railways: an experience report with seven frameworks. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Franco Mazzanti, Alessio Ferrari
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. MARS/VPT@ETAPS (2018)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta (2018)
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd (2017)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
The KandISTI/UMC Online Open-Access Verification Framework. ERCIM News 2017 (109) (2017)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles. ERCIM News 2017 (109) (2017)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. ISoLA (2) (2016)
Franco Mazzanti
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine. Ada-Europe (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)
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, Stefania Gnesi, Franco Mazzanti
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems (2015)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM (2015)
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. SERENE (2015)
Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. FMICS (2014)
Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. NASA Formal Methods (2014)
Maurice H. ter Beek, Franco Mazzanti
VMC: recent advances and challenges ahead. SPLC Workshops (2014)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
KandISTI: A Family of Model Checkers for the Analysis of Software Designs. ERCIM News 2014 (99) (2014)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference (2014)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
VMC: A Tool for the Analysis of Variability in Software Product Lines. ERCIM News 2013 (93) (2013)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
Demonstration of a model checker for the analysis of product variability. SPLC (2) (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)
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
VMC: A Tool for Product Variability Analysis. FM (2012)
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)
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Design and validation of variability in product lines. PLEASE@ICSE (2011)
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
An Experience on Formal Analysis of a High-Level Graphical SOA Design. FM+AM (2010)
Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi
CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC (2009)
João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi
A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE (2009)
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
A Model Checking Approach for Verifying COWS Specifications. FASE (2008)
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti
Formal verification of an automotive scenario in service-oriented computing. ICSE (2008)
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ó
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA (2008)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS (2007)
Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi
Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007 (70) (2007)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso
Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS (2006)
Luis Filipe 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
AGILE: Software Architecture for Mobility. WADT (2002)
Stefania Gnesi, Franco Mazzanti
On the Fly Verification of Network of Automata. PDPTA (1999)
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
A Symbolic Model Checker for ACTL. FM-Trends (1998)
Paola Inverardi, Franco Mazzanti
Experimenting with Dynamic Linking with Ada. Softw. Pract. Exp. 23 (1) (1993)
Paola Inverardi, Franco Mazzanti, Carlo Montangero
The use of Ada in the design of distributed systems. SIGAda (1985)