dblp.uni-trier.dewww.uni-trier.de

Henry Muccini

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

2009
46EEPatricia Lago, Henry Muccini, Hans van Vliet: A scoped approach to traceability management. Journal of Systems and Software 82(1): 168-182 (2009)
2008
45 Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis] Springer 2008
44EEIvano Malavolta, Henry Muccini, Patrizio Pelliccione: DUALLY: A framework for Architectural Languages and Tools Interoperability. ASE 2008: 483-484
43EEMauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory: ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. ASE 2008: 529-530
42EEPengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun: Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. ICWS 2008: 752-753
41EEHenry Muccini, Patrizio Pelliccione: Simulating Software Architectures for Functional Analysis. WICSA 2008: 289-292
40EEHenry Muccini: Software Testing: Testing New Software Paradigms and New Artifacts. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
39 Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 ACM 2007
38EEHenry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino: Monitoring Architectural Properties in Dynamic Component-Based Systems. CBSE 2007: 124-139
37EEPatricia 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
36EENicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE 2007: 617-618
35EEAntonia Bertolino, Henry Muccini: Welcome to the WISE track. ESEC/SIGSOFT FSE (Companion) 2007: 469
34EENicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE (Companion) 2007: 617-618
33EEHenry Muccini: Using Model Differencing for Architecture-level Regression Testing. EUROMICRO-SEAA 2007: 59-66
32EEHenry Muccini: What Makes Software Architecture-Based Testing Distinguishable. WICSA 2007: 29
31EEHenry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Architecting Fault Tolerant Systems. WICSA 2007: 43
30EEAntonio 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
29 Robert M. Hierons, Henry Muccini: Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006 ACM 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] [38]
2Ljerka Beus-Dukic [37]
3Antonio Bucchiarone [16] [22] [25] [28] [30]
4Mauro Caporuscio [21] [43]
5Flavio Corradini [3]
6Ivica Crnkovic [37]
7Marcio S. Dias [17] [19] [24] [26]
8Fabrizio Facchini [25]
9Cristina Gacek [45]
10Felicita Di Giandomenico [45]
11Stefania Gnesi [22]
12Nicolas Guelfi [34] [36] [39]
13Robert M. Hierons [29]
14André van der Hoek [9]
15Paola Inverardi [1] [2] [3] [4] [5] [6] [7] [8] [10] [15] [20] [23]
16Patricia Lago [37] [46]
17Rogério de Lemos [45]
18Bixin Li [42]
19Ivano Malavolta [44]
20Fabio Mancinelli [7] [11] [14]
21Eda Marchetti [18]
22Antinisca Di Marco [43]
23Leonardo Mariani [43]
24Ezio Di Nisio [21]
25Patrizio Pelliccione [6] [7] [16] [20] [21] [23] [25] [28] [30] [31] [34] [36] [39] [41] [44]
26Alfonso Pierantonio [13]
27P. Pierini [16]
28Andrea Polini [27] [38] [43]
29Sasikumar Punnekkat [37]
30Fabiano Ricci [38]
31Debra J. Richardson [17] [19] [24] [26]
32Alexander Romanovsky (Alexander B. Romanovsky) [31] [34] [36] [39]
33Andrea Rosetti [1]
34Davide Di Ruscio [13]
35Onn Shehory [43]
36Mingjie Sun [42]
37Marlon Vieira [45]
38Hans van Vliet (Johannes C. van Vliet) [37] [46]
39Pengcheng Zhang [42]
40Yu Zhou [42]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)