♂ Person: Alessandro Fantechi

DBLP: Fantechi:Alessandro

Facilitated 2 volumes:

Ed

GCh

Contributed to:

2015

2013

2011

2011

2010

2010

2010

2008

2008

2008

2007

2006

2006

2004

2002

1998

1997

1995

1995

1991

1987

Wrote 22 papers:

SPLC-2015-BeekFG #adaptation #analysis #paradigm #product line

Applying the product lines paradigm to the quantitative analysis of collective adaptive systems (MHtB, AF, SG), pp. 321–326.

SPLC-2015-BeekFGM #analysis #product line #using

Using FMC for family-based analysis of software product lines (MHtB, AF, SG, FM), pp. 432–439.

SPLC-2013-Fantechi #configuration management #product line

Topologically configurable systems as product families (AF), pp. 151–156.

PLEASE-2011-AsirelliBFGM #design #product line #validation #variability

Design and validation of variability in product lines (PA, MHtB, AF, SG, FM), pp. 25–30.

SPLC-2011-AsirelliBGF #product line #variability

Formal Description of Variability in Product Families (PA, MHtB, SG, AF), pp. 130–139.

ICST-2010-GrassoFFBB #abstract interpretation #modelling #testing

Model Based Testing and Abstract Interpretation in the Railway Signaling Context (DG, AF, AF, CB, SB), pp. 103–106.

IFM-2010-AsirelliBFG #framework #logic #variability

A Logical Framework to Deal with Variability (PA, MHtB, AF, SG), pp. 43–58.

SAC-2010-BucchiaroneGFT #experience #natural language #requirements #scalability #set #using

An experience in using a tool for evaluating a large set of natural language requirements (AB, SG, AF, GT), pp. 281–286.

ASE-2008-BucchiaroneGLTF #tool support

QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.

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.

SPLC-2008-FantechiG #formal method #modelling #product line

Formal Modeling for Product Families Engineering (AF, SG), pp. 193–202.

ESEC-FSE-2007-FantechiG #behaviour #product line

A behavioural model for product families (AF, SG), pp. 521–524.

FM-2006-BacheriniFTZ #formal method

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer (SB, AF, MT, NZ), pp. 179–189.

SPL-BOOK-2006-BertolinoFGL #case study #product line #requirements #specification #testing

Product Line Use Cases: Scenario-Based Specification and Testing of Requirements (AB, AF, SG, GL), pp. 425–445.

SPLC-2004-FantechiGLN #case study #product line #verification

A Methodology for the Derivation and Verification of Use Cases for Product Lines (AF, SG, GL, EN), pp. 255–265.

RE-2002-FantechiGLM #analysis #case study

Application of Linguistic Techniques for Use Case Analysis (AF, SG, GL, AM), pp. 157–164.

FM-1998-FantechiGMPT #model checking

A Symbolic Model Checker for ACTL (AF, SG, FM, RP, ET), pp. 228–242.

CSMR-1997-FantechiNS #analysis #cobol #object-oriented

Object-Oriented Analysis of COBOL (AF, PN, ES), pp. 157–164.

SEKE-1995-BernardeschiFP #architecture #correctness #interactive #specification #user interface

Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications (CB, AF, FP), pp. 234–243.

TACAS-1995-FrancescoFGI #approximate #finite #model checking #process

Model Checking of Non-Finite State Processes by Finite Approximations (NDF, AF, SG, PI), pp. 195–215.

CAV-1991-NicolaFGR #behaviour #concurrent #framework #logic #verification

An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems (RDN, AF, SG, GR), pp. 37–47.

ESEC-1987-FantechiGIM #ada

An Executon Environment for the Formal Definiton of Ada (AF, SG, PI, UM), pp. 327–335.