Person: Stefania Gnesi

DBLP: Gnesi:Stefania

Facilitated 6 volumes:

Ed

Ed

Ed

Ed

Ed

Ed

Contributed to:

2015

2015

2014

2014

2013

2012

2012

2011

2011

2010

2010

2009

2008

2008

2008

2008

2007

2008

2006

2005

2005

2004

2003

2002

2000

1998

1998

1998

1997

1995

1991

1987

1978

Wrote 35 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-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-2015-FerrariSGD #diagrams #documentation #feature model #natural language #tool support

CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.

REFSQ-2014-FerraridSG #natural language #requirements

Measuring and Improving the Completeness of Natural Language Requirements (AF, FD, GOS, SG), pp. 23–38.

SAC-2014-CogniniCGPR #adaptation #challenge #process #research

Research challenges in business process adaptability (RC, FC, SG, AP, BR), pp. 1049–1054.

REFSQ-2013-FerrariGT #clustering #documentation #natural language #requirements #using

Using Clustering to Improve the Structure of Natural Language Requirements Documents (AF, SG, GT), pp. 34–49.

RE-2012-FerrariG #detection #using

Using collective intelligence to detect pragmatic ambiguities (AF, SG), pp. 191–200.

SAC-2012-FerrariGT #approach #clustering #requirements #specification

A clustering-based approach for discovering flaws in requirements specifications (AF, SG, GT), pp. 1043–1050.

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.

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.

SAC-2009-BeekMG #framework #named #verification

CMC-UMC: a framework for the verification of abstract service-oriented properties (MHtB, FM, SG), pp. 2111–2117.

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.

ICSE-2008-BeekGKM #verification

Formal verification of an automotive scenario in service-oriented computing (MHtB, SG, NK, FM), pp. 613–622.

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.

GT-VC-2007-BruniBGM08 #architecture #graph grammar #modelling #using

Modelling Dynamic Software Architectures using Typed Graph Grammars (RB, AB, SG, HCM), pp. 39–53.

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.

ICSE-2005-BeekMLGFS #automation #case study #protocol #verification

A case study on the automated verification of groupware protocols (MHtB, MM, DL, SG, AF, MS), pp. 596–603.

RE-2005-BucchiaroneGP #analysis #case study #industrial #quality #requirements

Quality Analysis of NL Requirements: An Industrial Case Study (AB, SG, PP), pp. 390–394.

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.

ESEC-FSE-2003-BertolinoG #case study #product line #testing

Use case-based testing of product lines (AB, SG), pp. 355–358.

RE-2002-FantechiGLM #analysis #case study

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

TACAS-2000-GnesiLLAAM #fault #specification #validation

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (SG, DL, GL, CA, AMA, PM), pp. 535–549.

CAV-1998-FerrariGMPR #mobile #process #verification

Verifying Mobile Processes in the HAL Environment (GLF, SG, UM, MP, GR), pp. 511–515.

FM-1998-FantechiGMPT #model checking

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

REFSQ-1998-FabbriniFGGR #natural language #on the #quality #requirements

On Linguistic Quality of Natural Language Requirements (FF, MF, VG, SG, SR), pp. 57–62.

TACAS-1997-FerrariFGMPR #automation #mobile #process #verification

An Automated Based Verification Environment for Mobile Processes (GLF, GF, SG, UM, MP, GR), pp. 275–289.

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.

GG-1978-CatalanoGM #algebra #framework #problem

Shortest Path Problems and Tree Grammars: An Algebraic Framework (AC, SG, UM), pp. 167–179.