Franco Mazzanti

According to our database1, Franco Mazzanti authored at least 41 papers between 1993 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 





On the expressiveness of modal transition systems with variability constraints.
Sci. Comput. Program., 2019

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

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

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System.
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.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

The KandISTI/UMC Online Open-Access Verification Framework.
ERCIM News, 2017

Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles.
ERCIM News, 2017

Verifying Properties of Systems Relying on Attribute-Based Communication.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
J. Log. Algebr. Meth. Program., 2016

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System.
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.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

Using FMC for family-based analysis of software product lines.
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.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

From Featured Transition Systems to Modal Transition Systems with Variability Constraints.
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.
Proceedings of the Software, 2015

KandISTI: A Family of Model Checkers for the Analysis of Software Designs.
ERCIM News, 2014

VMC: recent advances and challenges ahead.
Proceedings of the 18th International Software Product Lines Conference, 2014

Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

Model Checking Value-Passing Modal Specifications.
Proceedings of the Perspectives of System Informatics, 2014

VMC: A Tool for the Analysis of Variability in Software Product Lines.
ERCIM News, 2013

A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol., 2012

Demonstration of a model checker for the analysis of product variability.
Proceedings of the 16th International Software Product Line Conference, 2012

VMC: A Tool for Product Variability Analysis.
Proceedings of the FM 2012: Formal Methods, 2012

A state/event-based model-checking approach for the analysis of abstract system properties.
Sci. Comput. Program., 2011

Design and validation of variability in product lines.
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.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Tools and Verification.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

An Experience on Formal Analysis of a High-Level Graphical SOA Design.
Proceedings of the FM+AM 2010, 2010

CMC-UMC: a framework for the verification of abstract service-oriented properties.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Model-Checking Approach for Service Component Architectures.
Proceedings of the Formal Techniques for Distributed Systems, 2009

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Formal verification of an automotive scenario in service-oriented computing.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Model Checking Approach for Verifying COWS Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Formal Modelling and Verification in Service-Oriented Computing.
ERCIM News, 2007

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Formal Modelling and Verification of an Asynchronous Extension of SOAP.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006


On the Fly Verification of Network of Automata.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

A Symbolic Model Checker for ACTL.
Proceedings of the Applied Formal Methods, 1998

Experimenting with Dynamic Linking with Ada.
Softw., Pract. Exper., 1993