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: Bucchiarone:Antonio
Contributed to:
2013
20102010
2009
2008
2008
2008
2006
2005
2005
2018Wrote 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.