Search filters

List of works by Franco Mazzanti

A Model Checking Approach for Verifying COWS Specifications

article

A Model-Checking Approach for Service Component Architectures

scientific article published in 2009

A logical verification methodology for service-oriented computing

article

A state/event-based model-checking approach for the analysis of abstract system properties

scientific article published in February 2011

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

scientific article published in 2011

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications

scientific article published in 2008

CMC-UMC

scientific article published in 2009

Deadlock Avoidance in Train Scheduling: A Model Checking Approach

scientific article published in 2014

Demonstration of a model checker for the analysis of product variability

scientific article published in 2012

Design and validation of variability in product lines

scientific article published in 2011

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

scientific article published in 2014

Formal Modelling and Verification of an Asynchronous Extension of SOAP

scientific article published in 2006

Formal verification of an automotive scenario in service-oriented computing

scientific article published in 2008

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

scientific article published in 2015

Model Checking Value-Passing Modal Specifications

scientific article published in 2015

Tools and Verification

scientific article published in 2011

VMC: A Tool for Product Variability Analysis

scientific article by F. Mazzanti and M. H. ter Beek, published in 2012

VMC: recent advances and challenges ahead

scientific article by F. Mazzanti and M. H. ter Beek, published in 2014