Franco Mazzanti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
12
Active years
1998–2023
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FMICS | Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. | Davide Basile, Franco Mazzanti, Alessio Ferrari |
| 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 |
| 2022 | SEFM | A Case Study in Formal Analysis of System Requirements. | Dimitri Belli, Franco Mazzanti |
| 2021 | SPLC | Static analysis and family-based model checking with VMC. | Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt |
| 2021 | SPLC | 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 |
| 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 | TACAS | Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. | Frdric Lang, Radu Mateescu, Franco Mazzanti |
| 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 | FM | Compositional Verification of Concurrent Systems by Combining Bisimulations. | Frdric Lang, Radu Mateescu, Franco Mazzanti |
| 2019 | IFM | Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2019 | SPLC | Static analysis of featured transition systems. | Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini |
| 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 |
| 2016 | ISoLA | Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. | Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo |
| 2015 | SEFM | From Featured Transition Systems to Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2015 | SPLC | Using FMC for family-based analysis of software product lines. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2014 | FMICS | Deadlock Avoidance in Train Scheduling: A Model Checking Approach. | Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari |
| 2014 | SPLC | VMC: recent advances and challenges ahead. | Maurice H. ter Beek, Franco Mazzanti |
| 2012 | FM | VMC: A Tool for Product Variability Analysis. | Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova |
| 2012 | SPLC | Demonstration of a model checker for the analysis of product variability. | Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti |
| 2011 | ICSE | Design and validation of variability in product lines. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2009 | FORTE | A Model-Checking Approach for Service Component Architectures. | Joo Abreu, Franco Mazzanti, Jos Luiz Fiadeiro, Stefania Gnesi |
| 2009 | SAC | CMC-UMC: a framework for the verification of abstract service-oriented properties. | Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi |
| 2008 | FASE | A Model Checking Approach for Verifying COWS Specifications. | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
| 2008 | ICSE | Formal verification of an automotive scenario in service-oriented computing. | Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti |
| 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 |
| 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 |
| 1999 | PDPTA | On the Fly Verification of Network of Automata. | Stefania Gnesi, Franco Mazzanti |
| 1998 | FM | A Symbolic Model Checker for ACTL. | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |