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 × Cyprus
1 × Denmark
1 × France
1 × Italy
1 × Portugal
1 × Sweden
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
P.Pelliccione S.Gnesi H.Muccini J.P.Galeotti A.Cicchetti O.Runge A.Fantechi G.Trentanni M.Pistore P.Pierini A.Marconi C.A.Mezzina C.Vattani R.Bruni H.C.Melgratti F.Facchini H.Ehrig C.Ermel G.Lami A.Gehlert R.Kazhamiakin A.Metzger K.Pohl
Talks about:
verif (4) model (4) use (4) architectur (3) analysi (3) system (3) base (3) softwar (2) requir (2) dynam (2)

Person: Antonio Bucchiarone

DBLP DBLP: Bucchiarone:Antonio

Contributed to:

SAC 20132013
FASE 20102010
SAC 20102010
WICSA/ECSA 20092009
ASE 20082008
GT-VMT 20082008
GT-VC 20072008
QoSA 20062006
CBSE 20052005
RE 20052005
MoDELS 20182018

Wrote 12 papers:

SAC-2013-BucchiaroneMMP #adaptation #concept #framework
A conceptual framework for collective adaptive systems (AB, AM, CAM, MP), pp. 1935–1936.
FASE-2010-EhrigERBP #analysis #formal method #self #verification
Formal Analysis and Verification of Self-Healing Systems (HE, CE, OR, AB, PP), pp. 139–153.
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-2010-GehlertBKMPP #adaptation #verification
Exploiting assumption-based verification for the adaptation of service-based applications (AG, AB, RK, AM, MP, KP), pp. 2430–2437.
WICSA-ECSA-2009-BucchiaronePVR #modelling #self #using #verification
Self-Repairing systems modeling and verification using AGG (AB, PP, CV, OR), pp. 181–190.
ASE-2008-BucchiaroneGLTF #tool support
QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.
GT-VMT-2008-BucchiaroneG #architecture #using #verification
Dynamic Software Architectures Verification using DynAlloy (AB, JPG).
GT-VC-2007-BruniBGM08 #architecture #graph grammar #modelling #using
Modelling Dynamic Software Architectures using Typed Graph Grammars (RB, AB, SG, HCM), pp. 39–53.
QoSA-2006-BucchiaroneMP #analysis #architecture #process
A Practical Architecture-Centric Analysis Process (AB, HM, PP), pp. 127–144.
CBSE-2005-PelliccioneMBF #modelling #named #sequence #specification #testing
TeStor: Deriving Test Sequences from Model-Based Specifications (PP, HM, AB, FF), pp. 267–282.
RE-2005-BucchiaroneGP #analysis #case study #industrial #quality #requirements
Quality Analysis of NL Requirements: An Industrial Case Study (AB, SG, PP), pp. 390–394.
MoDELS-2018-BucchiaroneC #modelling
A Model-Driven Solution to Support Smart Mobility Planning (AB, AC), pp. 123–132.

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.