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 × Australia
1 × Austria
1 × Belgium
1 × Croatia
1 × Denmark
1 × Estonia
1 × Finland
1 × India
1 × Poland
1 × Portugal
1 × South Africa
1 × Spain
1 × Sweden
2 × Canada
2 × Ireland
2 × Italy
7 × USA
Collaborated with:
P.Pelliccione I.Malavolta P.Inverardi V.S.Rekha A.Bertolino ∅ Mohammad Sharaf I.Crnkovic D.D.Ruscio A.Pierantonio A.Bucchiarone R.Hilliard A.Polini F.Mancinelli Mahyar Tourchi Moghaddam D.A.Tamburri A.Romanovsky M.S.Dias D.J.Richardson A.Baroni E.Woods P.Zhang X.Li F.Ricci F.Facchini F.Corradini Moamin Abughazala M.Abusair P.Lago L.Beus-Dukic S.Punnekkat H.v.Vliet K.E.Harper R.Heinrich J.Bosch N.Plouzeau O.Zimmermann L.Baresi V.Cortellessa
Talks about:
architectur (22) softwar (7) model (7) test (7) framework (6) system (6) descript (4) decis (4) base (4) interoper (3)

♂ Person: Henry Muccini

DBLP DBLP: Muccini:Henry

Facilitated 12 volumes:

MoDELS 2015PrCo
ASE 2014PrCo
ASE 2014PubCh
CBSE 2014PrCo
MoDELS 2014PrCo
CBSE 2013PrCo
CBSE 2010PrCo
CBSE 2009PrCo
CBSE 2008PrCo
CBSE 2007PrCo
MoDELS 2016PrCo

Contributed to:

ECSA 20152015
ECSA 20142014
WICSA 20142014
FASE 20122012
WICSA/ECSA 20122012
ASE 20112011
ASE 20102010
ECSA 20102010
ICSE 20102010
CBSE 20092009
ASE 20082008
WICSA 20082008
CBSE 20072007
CSEE&T 20072007
WICSA 20072007
QoSA 20062006
CBSE 20052005
ESEC/FSE 20052005
WICSA 20052005
FASE 20042004
FASE 20032003
SAC 20032003
SFM 20032003
ASE 20012001
ICSE 20012001
ICSE 20002000
CBSE 20162016
ECSA 20172017
ICSA 20172017
ECSA 20182018

Wrote 33 papers:

ECSA-2015-MucciniTR #architecture #on the #social
On the Social Dimensions of Architectural Decisions (HM, DAT, VSR), pp. 137–145.
ECSA-2014-RekhaM #architecture
Suitability of Software Architecture Decision Making Methods for Group Decisions (VSR, HM), pp. 17–32.
WICSA-2014-BaroniMMW #architecture #modelling #semantics #wiki
Architecture Description Leveraging Model Driven Engineering and Semantic Wikis (AB, HM, IM, EW), pp. 251–254.
WICSA-2014-RekhaM #architecture #case study
A Study on Group Decision-Making in Software Architecture (VSR, HM), pp. 185–194.
FASE-2012-RuscioMMPP #architecture #modelling
Model-Driven Techniques to Enhance Architectural Languages Interoperability (DDR, IM, HM, PP, AP), pp. 26–42.
WICSA-ECSA-2012-HilliardMMP #architecture #composition #framework #on the #reuse #using
On the Composition and Reuse of Viewpoints across Architecture Frameworks (RH, IM, HM, PP), pp. 131–140.
ASE-2011-ZhangMPL #monitoring #predict #runtime
Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
ASE-2010-HilliardMMP #architecture #framework #megamodelling
Realizing architecture frameworks through megamodelling techniques (RH, IM, HM, PP), pp. 305–308.
ECSA-2010-RuscioMMPP #architecture #framework #named
ByADL: An MDE Framework for Building Extensible Architecture Description Languages (DDR, IM, HM, PP, AP), pp. 527–531.
ICSE-2010-RuscioMMPP #generative
Developing next generation ADLs through MDE techniques (DDR, IM, HM, PP, AP), pp. 85–94.
CBSE-2009-CrnkovicMM #component #framework #modelling
A Model-Driven Engineering Framework for Component Models Interoperability (IC, IM, HM), pp. 36–53.
ASE-2008-MalavoltaMP #architecture #framework #named #tool support
DUALLY: A framework for Architectural Languages and Tools Interoperability (IM, HM, PP), pp. 483–484.
WICSA-2008-MucciniP #analysis #architecture #functional #simulation
Simulating Software Architectures for Functional Analysis (HM, PP), pp. 289–292.
CBSE-2007-MucciniPRB #architecture #component #monitoring
Monitoring Architectural Properties in Dynamic Component-Based Systems (HM, AP, FR, AB), pp. 124–139.
CSEET-2007-LagoMBCPV #re-engineering #towards
Towards a European Master Programme on Global Software Engineering (PL, HM, LBD, IC, SP, HvV), pp. 184–194.
WICSA-2007-Muccini #architecture #testing #what
What Makes Software Architecture-Based Testing Distinguishable (HM), p. 29.
WICSA-2007-MucciniPR #architecture #fault tolerance
Architecting Fault Tolerant Systems (HM, PP, AR), p. 43.
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.
ESEC-FSE-2005-InverardiMP #analysis #architecture #named
CHARMY: an extensible tool for architectural analysis (PI, HM, PP), pp. 111–114.
WICSA-2005-InverardiMP #named #uml
DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.
FASE-2004-MucciniDR #architecture #testing
Systematic Testing of Software Architectures in the C2 Style (HM, MSD, DJR), pp. 295–309.
FASE-2003-Muccini #branch #detection
Detecting Implied Scenarios Analyzing Non-local Branching Choices (HM), pp. 372–386.
SAC-2003-MucciniM #coordination #elicitation #policy #requirements
Eliciting Coordination Policies from Requirements (HM, FM), pp. 387–393.
SFM-2003-BertolinoIM #architecture #formal method #testing
Formal Methods in Testing Software Architectures (AB, PI, HM), pp. 122–147.
ASE-2001-InverardiMP #architecture #automation #consistency #modelling #using
Automated Check of Architectural Models Consistency Using SPIN (PI, HM, PP), pp. 346–349.
ICSE-2001-BertolinoIM #architecture #execution #testing
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.
ICSE-2000-BertolinoCIM #architecture #testing
Deriving test plans from architectural descriptions (AB, FC, PI, HM), pp. 220–229.
CBSE-2016-CrnkovicMMS #architecture #component #cyber-physical #on the #using
On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems (IC, IM, HM, MS), pp. 23–32.
CBSE-2016-MucciniHHBPZBC
Welcome Message from the Chairs of WICSA, QoSA and CBSE (HM, KEH, RH, JB, NP, OZ, LB, VC), p. vii-viii.
ECSA-2017-SharafAMA #architecture #cyber-physical #framework #modelling #simulation
An Architecture Framework for Modelling and Simulation of Situational-Aware Cyber-Physical Systems (MS, MA, HM, MA), pp. 95–111.
ICSA-2017-MucciniS #architecture #named #physics
CAPS: Architecture Description of Situational Aware Cyber Physical Systems (HM, MS), pp. 211–220.
ECSA-2018-MucciniM #architecture
IoT Architectural Styles - A Systematic Mapping Study (HM, MTM), pp. 68–85.

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.