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: Mazzanti:Franco
Contributed to:
2015
2015
2012
2011
2009
2008
20081998
2016Wrote 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.