Henry Muccini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
36EEHenry Muccini, Patrizio Pelliccione: Simulating Software Architectures for Functional Analysis. WICSA 2008: 289-292
2007
35EEHenry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino: Monitoring Architectural Properties in Dynamic Component-Based Systems. CBSE 2007: 124-139
34EEPatricia 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
33EENicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE 2007: 617-618
32EEHenry Muccini: Using Model Differencing for Architecture-level Regression Testing. EUROMICRO-SEAA 2007: 59-66
31EEHenry Muccini: What Makes Software Architecture-Based Testing Distinguishable. WICSA 2007: 29
30EEHenry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Architecting Fault Tolerant Systems. WICSA 2007: 43
29EEAntonio 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
28EEAntonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: A Practical Architecture-Centric Analysis Process. QoSA 2006: 127-144
27EEAntonia Bertolino, Henry Muccini, Andrea Polini: Architectural Verification of Black-Box Component-Based Systems. RISE 2006: 98-113
26EEHenry Muccini, Marcio S. Dias, Debra J. Richardson: Software architecture-based regression testing. Journal of Systems and Software 79(10): 1379-1396 (2006)
2005
25EEPatrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini: TeStor: Deriving Test Sequences from Model-Based Specifications. CBSE 2005: 267-282
24EEHenry Muccini, Marcio S. Dias, Debra J. Richardson: Reasoning About Software Architecture-Based Regression Testing Through a Case Study. COMPSAC (2) 2005: 189-195
23EEPaola Inverardi, Henry Muccini, Patrizio Pelliccione: CHARMY: an extensible tool for architectural analysis. ESEC/SIGSOFT FSE 2005: 111-114
22EEAntonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
21EEMauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio: Rapid System Development Via Product Line Architecture Implementation. RISE 2005: 18-33
20EEPaola Inverardi, Henry Muccini, Patrizio Pelliccione: DUALLY: Putting in Synergy UML 2.0 and ADLs. WICSA 2005: 251-252
19EEHenry Muccini, Marcio S. Dias, Debra J. Richardson: Towards software architecture-based regression testing. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
18EEAntonia 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
17EEHenry Muccini, Marcio S. Dias, Debra J. Richardson: Systematic Testing of Software Architectures in the C2 Style. FASE 2004: 295-309
16EEAntonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini: Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops 2004: 351-365
15EEHenry Muccini, Antonia Bertolino, Paola Inverardi: Using Software Architecture for Code Testing. IEEE Trans. Software Eng. 30(3): 160-171 (2004)
14EEHenry 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
12EEHenry 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
10EEAntonia Bertolino, Paola Inverardi, Henry Muccini: Formal Methods in Testing Software Architectures. SFM 2003: 122-147
9EEHenry Muccini, André van der Hoek: Towards Testing Product Line Architectures. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
8EEPaola Inverardi, Henry Muccini: Software Architectures and Coordination Models. The Journal of Supercomputing 24(2): 141-149 (2003)
2002
7EEPaola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione: An Experience in Architectural Extensions: Active Objects in J2EE. FIDJI 2002: 87-98
2001
6EEPaola 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
4EEPaola Inverardi, Henry Muccini: Coordination Models and Software Architectures in a Unified Software Development Process. COORDINATION 2000: 323-328
3EEAntonia 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
1EEAntonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti: An approach to integration testing based on architectural descriptions. ICECCS 1997: 77-

Coauthor Index

1Antonia Bertolino [1] [3] [5] [10] [15] [18] [22] [27] [35]
2Ljerka Beus-Dukic [34]
3Antonio Bucchiarone [16] [22] [25] [28] [29]
4Mauro Caporuscio [21]
5Flavio Corradini [3]
6Ivica Crnkovic [34]
7Marcio S. Dias [17] [19] [24] [26]
8Fabrizio Facchini [25]
9Stefania Gnesi [22]
10Nicolas Guelfi [33]
11André van der Hoek [9]
12Paola Inverardi [1] [2] [3] [4] [5] [6] [7] [8] [10] [15] [20] [23]
13Patricia Lago [34]
14Fabio Mancinelli [7] [11] [14]
15Eda Marchetti [18]
16Ezio Di Nisio [21]
17Patrizio Pelliccione [6] [7] [16] [20] [21] [23] [25] [28] [29] [30] [33] [36]
18Alfonso Pierantonio [13]
19P. Pierini [16]
20Andrea Polini [27] [35]
21Sasikumar Punnekkat [34]
22Fabiano Ricci [35]
23Debra J. Richardson [17] [19] [24] [26]
24Alexander Romanovsky (Alexander B. Romanovsky) [30] [33]
25Andrea Rosetti [1]
26Davide Di Ruscio [13]
27Hans van Vliet (Johannes C. van Vliet) [34]

Colors in the list of coauthors

Copyright © Wed Jul 23 13:04:14 2008 by Michael Ley (ley@uni-trier.de)