BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Hungary
1 × United Kingdom
2 × Germany
3 × USA
Collaborated with:
S.Gnesi M.H.t.Beek A.Fantechi R.Pugliese A.Sulova N.Koch F.Damiani L.Paolini P.Asirelli E.Tronci A.Lapadula F.Tiezzi
Talks about:
variabl (3) product (3) model (3) transit (2) analysi (2) system (2) servic (2) orient (2) verif (2) check (2)

Person: Franco Mazzanti

DBLP DBLP: Mazzanti:Franco

Contributed to:

SEFM 20152015
SPLC 20152015
FM 20122012
PLEASE 20112011
SAC 20092009
FASE 20082008
ICSE 20082008
FM-Trends 19981998
Ada-Europe 20162016

Wrote 9 papers:

SEFM-2015-BeekDGMP #constraints #variability
From Featured Transition Systems to Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 344–359.
SPLC-2015-BeekFGM #analysis #product line #using
Using FMC for family-based analysis of software product lines (MHtB, AF, SG, FM), pp. 432–439.
FM-2012-BeekMS #analysis #named #variability
VMC: A Tool for Product Variability Analysis (MHtB, FM, AS), pp. 450–454.
PLEASE-2011-AsirelliBFGM #design #product line #validation #variability
Design and validation of variability in product lines (PA, MHtB, AF, SG, FM), pp. 25–30.
SAC-2009-BeekMG #framework #named #verification
CMC-UMC: a framework for the verification of abstract service-oriented properties (MHtB, FM, SG), pp. 2111–2117.
FASE-2008-FantechiGLMPT #approach #model checking #specification #verification
A Model Checking Approach for Verifying COWS Specifications (AF, SG, AL, FM, RP, FT), pp. 230–245.
ICSE-2008-BeekGKM #verification
Formal verification of an automotive scenario in service-oriented computing (MHtB, SG, NK, FM), pp. 613–622.
FM-1998-FantechiGMPT #model checking
A Symbolic Model Checker for ACTL (AF, SG, FM, RP, ET), pp. 228–242.
AdaEurope-2016-Mazzanti #ada #experience #manycore #model checking #parallel #programming
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine (FM), pp. 94–109.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.