Franco Mazzanti

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