Henry Muccini

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines. ERCIM News 2012(88) (2012)

Patricia Lago, Henry Muccini, Muhammad Ali Babar: An empirical study of learning by osmosis in global software engineering. Journal of Software: Evolution and Process 24(6): 693-706 (2012)

Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: A model-driven approach to automate the propagation of changes among Architecture Description Languages. Software and System Modeling 11(1): 29-53 (2012)

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Model-Driven Techniques to Enhance Architectural Languages Interoperability. FASE 2012: 26-42

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Assume-Guarantee Testing of Evolving Software Product Line Architectures. SERENE 2012: 91-105

Krishna Doddapaneni, Enver Ever, Orhan Gemikonakli, Ivano Malavolta, Leonardo Mostarda, Henry Muccini: A model-driven engineering framework for architecting and analysing Wireless Sensor Networks. SESENA 2012: 1-7

Krishna Doddapaneni, Enver Ever, Orhan Gemikonakli, Ivano Malavolta, Leonardo Mostarda, Henry Muccini: Path Loss Effect on Energy Consumption in a WSN. UKSim 2012: 569-574

Henry Muccini, Bedir Tekinerdogan: Software architecture tool demonstrations. WICSA/ECSA Companion Volume 2012: 84-85

Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: On the Composition and Reuse of Viewpoints across Architecture Frameworks. WICSA/ECSA 2012: 131-140

Vittorio Cortellessa, Henry Muccini, Onur Demirörs (Eds.): 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012. IEEE Computer Society 2012, isbn 978-1-4673-2451-9

Antony Tang, Henry Muccini (Eds.): 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012. IEEE 2012, isbn 978-1-4673-2857-9

Jerry Gao, Henry Muccini, Xiaoying Bai: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 21(6): 755-757 (2011)

Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li: Run-time systems failure prediction via proactive monitoring. ASE 2011: 484-487

Ivano Malavolta, Henry Muccini, V. Smrithi Rekha: Supporting Architectural Design Decisions Evolution through Model Driven Engineering. SERENE 2011: 63-77

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. SERENE 2011: 100-105

Bedir Tekinerdogan, Paul C. Clements, Henry Muccini, Michel R. V. Chaudron, Andrea Polini, Eoin Woods: Architecture-Based Testing and System Validation - Workshop Summary. WICSA 2011: 341

Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li: Model and Verification of WS-CDL Based on UML Diagrams. International Journal of Software Engineering and Knowledge Engineering 20(8): 1119-1149 (2010)

Pengcheng Zhang, Henry Muccini, Bixin Li: A classification and comparison of model checking software architecture techniques. Journal of Systems and Software 83(5): 723-744 (2010)

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien A. Tamburri: Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies. IEEE Trans. Software Eng. 36(1): 119-140 (2010)

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: ByADL: An MDE Framework for Building Extensible Architecture Description Languages. ECSA 2010: 527-531

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Developing next generation ADLs through MDE techniques. ICSE (1) 2010: 85-94

Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: Realizing architecture frameworks through megamodelling techniques. ASE 2010: 305-308

Damien A. Tamburri, Patricia Lago, Henry Muccini: Leveraging Software Architectures through the ISO/IEC 42010 Standard: A Feasibility Study. TEAR 2010: 71-85

Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander Romanovsky: An Introduction to Software Engineering and Fault Tolerance. CoRR abs/1011.1551 (2010)

Patricia Lago, Henry Muccini, Hans van Vliet: A scoped approach to traceability management. Journal of Systems and Software 82(1): 168-182 (2009)

Patrizio Pelliccione, Paola Inverardi, Henry Muccini: CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Trans. Software Eng. 35(3): 325-346 (2009)

Ivica Crnkovic, Ivano Malavolta, Henry Muccini: A Model-Driven Engineering Framework for Component Models Interoperability. CBSE 2009: 36-53

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: Integrating AADL within a Multi-domain Modeling Framework. ICECCS 2009: 341-346

Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Towards a Framework for Distributed and Collaborative Modeling. WETICE 2009: 149-154

Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione: From Requirements to code: an Architecture-centric Approach for producing Quality Systems. CoRR abs/0910.0493 (2009)

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Special issue: Engineering Fault Tolerant Systems. Comput. Syst. Sci. Eng. 23(5) (2008)

Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun: An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. APWeb Workshops 2008: 144-154

Patricia Lago, Henry Muccini, Muhammad Ali Babar: Developing a Course on Designing Software in Globally Distributed Teams. ICGSE 2008: 249-253

Pengcheng 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

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: DUALLY: A framework for Architectural Languages and Tools Interoperability. ASE 2008: 483-484

Mauro 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

Henry Muccini, Patrizio Pelliccione: Simulating Software Architectures for Functional Analysis. WICSA 2008: 289-292

Henry Muccini: Software Testing: Testing New Software Paradigms and New Artifacts. Wiley Encyclopedia of Computer Science and Engineering 2008

Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (Eds.): 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]. Lecture Notes in Computer Science 5135, Springer 2008, isbn 978-3-540-85570-5

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (Eds.): SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008. ACM 2008, isbn 978-1-60558-275-7

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)

Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino: Monitoring Architectural Properties in Dynamic Component-Based Systems. CBSE 2007: 124-139

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

Henry Muccini: Using Model Differencing for Architecture-level Regression Testing. EUROMICRO-SEAA 2007: 59-66

Antonia Bertolino, Henry Muccini: Welcome to the WISE track. ESEC/SIGSOFT FSE (Companion) 2007: 469

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

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2^nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE (Companion) 2007: 617-618

Henry Muccini: What Makes Software Architecture-Based Testing Distinguishable. WICSA 2007: 29

Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Architecting Fault Tolerant Systems. WICSA 2007: 43

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (Eds.): Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. ACM 2007, isbn 978-1-59593-725-4

Henry Muccini, Marcio S. Dias, Debra J. Richardson: Software architecture-based regression testing. Journal of Systems and Software 79(10): 1379-1396 (2006)

Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio, Patrizio Pelliccione: TowardsWeaving Software Architecture Models. MDB/MOMPES 2006: 103-112

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: A Practical Architecture-Centric Analysis Process. QoSA 2006: 127-144

Antonia Bertolino, Henry Muccini, Andrea Polini: Architectural Verification of Black-Box Component-Based Systems. RISE 2006: 98-113

Robert M. Hierons, Henry Muccini (Eds.): 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, isbn 1-59593-459-6

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)

Henry Muccini, Marcio S. Dias, Debra J. Richardson: Towards software architecture-based regression testing. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)

Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini: TeStor: Deriving Test Sequences from Model-Based Specifications. CBSE 2005: 267-282

Henry Muccini, Marcio S. Dias, Debra J. Richardson: Reasoning About Software Architecture-Based Regression Testing Through a Case Study. COMPSAC (2) 2005: 189-195

Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio: Rapid System Development Via Product Line Architecture Implementation. RISE 2005: 18-33

Paola Inverardi, Henry Muccini, Patrizio Pelliccione: CHARMY: an extensible tool for architectural analysis. ESEC/SIGSOFT FSE 2005: 111-114

Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37

Paola Inverardi, Henry Muccini, Patrizio Pelliccione: DUALLY: Putting in Synergy UML 2.0 and ADLs. WICSA 2005: 251-252

Henry Muccini, Fabio Mancinelli: A Software Engineering Approach For Coordination Policies Elicitation. Int. J. Cooperative Inf. Syst. 13(1): 9-36 (2004)

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)

Henry Muccini, Antonia Bertolino, Paola Inverardi: Using Software Architecture for Code Testing. IEEE Trans. Software Eng. 30(3): 160-171 (2004)

Henry Muccini, Marcio S. Dias, Debra J. Richardson: Systematic Testing of Software Architectures in the C2 Style. FASE 2004: 295-309

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini: Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops 2004: 351-365

Hong Zhu, Henry Muccini, Zhenyu Chen: 8th international workshop on automation of software test (AST 2013). ICSE 2004: 1507-1508

Grace A. Lewis, Jeff Gray, Henry Muccini, Nachiappan Nagappan, David Rosenblum, Emad Shihab: 1st international workshop on the engineering of mobile-enabled systems (MOBS 2013). ICSE 2004: 1533-1534

Henry Muccini, André van der Hoek: Towards Testing Product Line Architectures. Electr. Notes Theor. Comput. Sci. 82(6): 99-109 (2003)

Paola Inverardi, Henry Muccini: Software Architectures and Coordination Models. The Journal of Supercomputing 24(2): 141-149 (2003)

Henry Muccini: Detecting Implied Scenarios Analyzing Non-local Branching Choices. FASE 2003: 372-386

Henry Muccini, Fabio Mancinelli: Eliciting Coordination Policies from Requirements. SAC 2003: 387-393

Antonia Bertolino, Paola Inverardi, Henry Muccini: Formal Methods in Testing Software Architectures. SFM 2003: 122-147

Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione: An Experience in Architectural Extensions: Active Objects in J2EE. FIDJI 2002: 87-98

Antonia Bertolino, Paola Inverardi, Henry Muccini: An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. ICSE 2001: 211-220

Paola Inverardi, Henry Muccini, Patrizio Pelliccione: Automated Check of Architectural Models Consistency Using SPIN. ASE 2001: 346-349

Paola Inverardi, Henry Muccini: Coordination Models and Software Architectures in a Unified Software Development Process. COORDINATION 2000: 323-328

Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229

Paola Inverardi, Henry Muccini: A Coordination Process Based on UML and a Software Architectural Description. PDPTA 2000

Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti: An approach to integration testing based on architectural descriptions. ICECCS 1997: 77-