| 2008 |
| 36 | EE | Henry Muccini,
Patrizio Pelliccione:
Simulating Software Architectures for Functional Analysis.
WICSA 2008: 289-292 |
| 2007 |
| 35 | EE | Henry Muccini,
Andrea Polini,
Fabiano Ricci,
Antonia Bertolino:
Monitoring Architectural Properties in Dynamic Component-Based Systems.
CBSE 2007: 124-139 |
| 34 | EE | Patricia Lago,
Henry Muccini,
Ljerka Beus-Dukic,
Ivica Crnkovic,
Sasikumar Punnekkat,
Hans van Vliet:
Towards a European Master Programme on Global Software Engineering.
CSEE&T 2007: 184-194 |
| 33 | EE | Nicolas Guelfi,
Henry Muccini,
Patrizio Pelliccione,
Alexander Romanovsky:
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.
ESEC/SIGSOFT FSE 2007: 617-618 |
| 32 | EE | Henry Muccini:
Using Model Differencing for Architecture-level Regression Testing.
EUROMICRO-SEAA 2007: 59-66 |
| 31 | EE | Henry Muccini:
What Makes Software Architecture-Based Testing Distinguishable.
WICSA 2007: 29 |
| 30 | EE | Henry Muccini,
Patrizio Pelliccione,
Alexander Romanovsky:
Architecting Fault Tolerant Systems.
WICSA 2007: 43 |
| 29 | EE | Antonio Bucchiarone,
Henry Muccini,
Patrizio Pelliccione:
Architecting Fault-tolerant Component-based Systems: from requirements to testing.
Electr. Notes Theor. Comput. Sci. 168: 77-90 (2007) |
| 2006 |
| 28 | EE | Antonio Bucchiarone,
Henry Muccini,
Patrizio Pelliccione:
A Practical Architecture-Centric Analysis Process.
QoSA 2006: 127-144 |
| 27 | EE | Antonia Bertolino,
Henry Muccini,
Andrea Polini:
Architectural Verification of Black-Box Component-Based Systems.
RISE 2006: 98-113 |
| 26 | EE | Henry Muccini,
Marcio S. Dias,
Debra J. Richardson:
Software architecture-based regression testing.
Journal of Systems and Software 79(10): 1379-1396 (2006) |
| 2005 |
| 25 | EE | Patrizio Pelliccione,
Henry Muccini,
Antonio Bucchiarone,
Fabrizio Facchini:
TeStor: Deriving Test Sequences from Model-Based Specifications.
CBSE 2005: 267-282 |
| 24 | EE | Henry Muccini,
Marcio S. Dias,
Debra J. Richardson:
Reasoning About Software Architecture-Based Regression Testing Through a Case Study.
COMPSAC (2) 2005: 189-195 |
| 23 | EE | Paola Inverardi,
Henry Muccini,
Patrizio Pelliccione:
CHARMY: an extensible tool for architectural analysis.
ESEC/SIGSOFT FSE 2005: 111-114 |
| 22 | EE | Antonia Bertolino,
Antonio Bucchiarone,
Stefania Gnesi,
Henry Muccini:
An Architecture-Centric Approach for Producing Quality Systems.
QoSA/SOQUA 2005: 21-37 |
| 21 | EE | Mauro Caporuscio,
Henry Muccini,
Patrizio Pelliccione,
Ezio Di Nisio:
Rapid System Development Via Product Line Architecture Implementation.
RISE 2005: 18-33 |
| 20 | EE | Paola Inverardi,
Henry Muccini,
Patrizio Pelliccione:
DUALLY: Putting in Synergy UML 2.0 and ADLs.
WICSA 2005: 251-252 |
| 19 | EE | Henry Muccini,
Marcio S. Dias,
Debra J. Richardson:
Towards software architecture-based regression testing.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 18 | EE | Antonia Bertolino,
Eda Marchetti,
Henry Muccini:
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing.
Electr. Notes Theor. Comput. Sci. 116: 85-97 (2005) |
| 2004 |
| 17 | EE | Henry Muccini,
Marcio S. Dias,
Debra J. Richardson:
Systematic Testing of Software Architectures in the C2 Style.
FASE 2004: 295-309 |
| 16 | EE | Antonio Bucchiarone,
Henry Muccini,
Patrizio Pelliccione,
P. Pierini:
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.
FORTE Workshops 2004: 351-365 |
| 15 | EE | Henry Muccini,
Antonia Bertolino,
Paola Inverardi:
Using Software Architecture for Code Testing.
IEEE Trans. Software Eng. 30(3): 160-171 (2004) |
| 14 | EE | Henry Muccini,
Fabio Mancinelli:
A Software Engineering Approach For Coordination Policies Elicitation.
Int. J. Cooperative Inf. Syst. 13(1): 9-36 (2004) |
| 13 | | Davide Di Ruscio,
Henry Muccini,
Alfonso Pierantonio:
A data-modelling approach to web application synthesis.
Int. J. Web Eng. Technol. 1(3): 320-337 (2004) |
| 2003 |
| 12 | EE | Henry Muccini:
Detecting Implied Scenarios Analyzing Non-local Branching Choices.
FASE 2003: 372-386 |
| 11 | | Henry Muccini,
Fabio Mancinelli:
Eliciting Coordination Policies from Requirements.
SAC 2003: 387-393 |
| 10 | EE | Antonia Bertolino,
Paola Inverardi,
Henry Muccini:
Formal Methods in Testing Software Architectures.
SFM 2003: 122-147 |
| 9 | EE | Henry Muccini,
André van der Hoek:
Towards Testing Product Line Architectures.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 8 | EE | Paola Inverardi,
Henry Muccini:
Software Architectures and Coordination Models.
The Journal of Supercomputing 24(2): 141-149 (2003) |
| 2002 |
| 7 | EE | Paola Inverardi,
Fabio Mancinelli,
Henry Muccini,
Patrizio Pelliccione:
An Experience in Architectural Extensions: Active Objects in J2EE.
FIDJI 2002: 87-98 |
| 2001 |
| 6 | EE | Paola Inverardi,
Henry Muccini,
Patrizio Pelliccione:
Automated Check of Architectural Models Consistency Using SPIN.
ASE 2001: 346-349 |
| 5 | | Antonia Bertolino,
Paola Inverardi,
Henry Muccini:
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution.
ICSE 2001: 211-220 |
| 2000 |
| 4 | EE | Paola Inverardi,
Henry Muccini:
Coordination Models and Software Architectures in a Unified Software Development Process.
COORDINATION 2000: 323-328 |
| 3 | EE | Antonia Bertolino,
Flavio Corradini,
Paola Inverardi,
Henry Muccini:
Deriving test plans from architectural descriptions.
ICSE 2000: 220-229 |
| 2 | | Paola Inverardi,
Henry Muccini:
A Coordination Process Based on UML and a Software Architectural Description.
PDPTA 2000 |
| 1997 |
| 1 | EE | Antonia Bertolino,
Paola Inverardi,
Henry Muccini,
Andrea Rosetti:
An approach to integration testing based on architectural descriptions.
ICECCS 1997: 77- |