List of works - Stefania Gnesi

A Guidelines framework for understandable BPMN models

scientific article published in January 2018

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

Business process flexibility - a systematic literature review with a software systems perspective

scientific article published on 22 July 2016

CMC-UMC

scientific article published in 2009

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

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

scientific article published in 2018

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

Graph-Based Design and Analysis of Dynamic Software Architectures

article by Roberto Bruni et al published 2008 in Lecture Notes in Computer Science

Improving the quality of business process descriptions of public administrations

Model Checking Value-Passing Modal Specifications