Henry Muccini
Ph.D. in Computer Science

(Current) Research Topics:

Recent and Upcoming:

• Chapter on ""Software Testing: Testing new Software Paradigms and new Artefacts"
  in the Wiley Encyclopedia of Computer Science and Engineering (Ed. Benjamin W. Wah).  John Wiley & Sons. ISBN: 978-0-471-38393-2. Hardcover. January 2009 (by Henry Muccini).
• Dagstuhl Seminar on "Practical Software Testing: Tool Automation and Human Factors" (Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie), to be held on March 14-19, 2010.
• Book on "Software Test Automation from Components to Systems" (Jerry Z. Gao, Henry Muccini, and Xiaoying Bai), to be published by Wiley, 2010

Languages and Tools Interoperability (DUALLY):
Nowadays different notations for architectural modeling have been proposed, each one focussing on a specific application domain, analysis type, or modeling environment. No effective interoperability is possible to date. DUALLY is an automated framework that aims to offer an answer to this need allowing architectural languages and tools interoperability. ...

Recent and Upcoming:

• Dually v2.0 under release

• "Providing Architectural Languages and Tools Interoperability through Model Transformation
  Technologies" Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien A. Tamburri
  Technical Report TRCS 001/2009, University of L'Aquila, January 2009.

Architecting Fault Tolerant Systems:
the need for explicit exception handling solutions during the entire life cycle has been advocated by some researchers. Recently, an increased attention has been paid to integrating fault tolerance and exception handling at the software architecture level of description. While typical SA specifications model only the normal behaviour of the system, several approaches have been recently introduced for modelling and analyzing fault tolerant software architectures that consider also abnormal behaviours. Many approaches have been proposed and a comprehensive survey of this topic has been recently proposed.

Recent and Upcoming:

• SERENE 2008 ERCIM Workshop on Software Engineering for Resilience, Newcastle, November 17-19, 2008. ISBN:978-1-60558-275-7. ACM Press. 2008.

Teaching Global Software Engineering:
The Global SE European Master (GSEEM) programme aims to provide students with an excellence in SE based on sound theoretical foundations and practical experience, as well as to prepare them to participate in global development of complex and large software systems.
GSEEM has been designed with two noteworthy aspects: 1) Three specialization profiles in which the consortium excels: Software Architecting, Real-time Embedded Systems Engineering, and Web Systems and Services Engineering. 2) An innovative concept of "shared modules", delivered together by multiple institutions. Four types of shared modules are foreseen. ...

Professional Activities:

Here are some of my recent activities in the scientific community:

Organization:

• Co-founder of the SERENE - Software Engineering for REsilieNt systems - ERCIM (the European Research Consortium for Informatics and Mathematics) Working Group. Year 2008

• Editor of the special issue of the International Journal of Computer Systems Science and Engineering (http://www.crlpublishing.co.uk/journal.asp?j=csse&s=Aims%20and%20Scope).

• Erasmus Mundus, External Cooperation Window, 2nd Call (EACEA/34/07) (link)
  Coordinator for the University of L'Aquila unit. Year 2008.

• Global Software Engineering European Master.
  Coordinator of the University of L'Aquila unit. http://informatica.di.univaq.it/gseem-en/. Year 2007-today 

Chairing activities (2010-2006):

• [ISARCS2010] Co-Funder of the Int. Symposium on Architecting Critical Systems

• [SERENE08] Co-Funder and organizer of the RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, Newcastle, 2008

• [ARAMIS08] Co-organizer of the Int. Workshop on "Automated engineeRing of Autonomic and run-tiMe evolvIng Systems" ARAMIS08. September 2008, L'Aquila, Italy. Co-located with ASE 2008

• [ICST08_ST] Co-chair of the ICST Student Paper Track, the IEEE 1st Int. Conference on Software Testing, Verification and Validation

• [EFTS07] Co-organizer of the 2nd Int. Workshop on "Engineering of Fault Tolerant Systems" EFTS 2007. September 04 2007, Dubrovnik, Croatia. Co-located with ESEC/FSE 2007.

• [WISE07] Co-chair of the ESEC/FSE 2007 WISE track on "Widened Software Engineering", part of ESEC/FSE 2007, September 2007, Dubrovnik, Croatia.

• [ROSATEA07] Co-organizer of the 3rd International Workshop on "the Role of Software Architecture for Testing and Analysis" - ROSATEA 2007 - July 10-11, 2006, co-located with CBSE and QoSA 2007.

• [COMPARCH07] Co-organizer of the 1st “Federated Events on Component-Based Software Engineering and Software Architecture” – CompArch. July 09-13 2007, Boston, USA.

• [AEROSE07] Co-organizer of the “1st Int. Workshop on Aerospace Software Engineering” - AeroSE 07 May 21-22 2007 Minneapolis, USA. Co-located with ICSE 2007.

• [ROSATEA06] Co-organizer of the 2nd International Workshop on "the Role of Software Architecture for Testing and Analysis" - ROSATEA 2006 - July 17, 2006, co-located with ISSTA 2006

• [EFTS06] Co-organizer of the 1st International Workshop on "Engineering of Fault Tolerant Systems" - EFTS 2006 - 12 - 13 June 2006
   

PC Member (2009/2007):

• [ICST09] PC member of ICST 08, the 2nd IEEE Int. Conference on Software Testing, Verification and Validation

• [ACM/SAC09] PC member of ACM/SAC 2009, the 24rt Annual ACM Symposium on Applied Computing
   

• [ASE08] PC member ASE 08, the 23rd IEEE/ACM Int. Conference on Automated Software Engineering

• [ASE08_RD] PC member ASE 08 Research Demo, the 23rd IEEE/ACM Int. Conference on Automated Software Engineering

• [CBSE08] PC member CBSE 08,  the 11th International SIGSOFT Symposium on Component-Based Software Engineering

• [ICST08] PC member of ICST 08, the IEEE 1st Int. Conference on Software Testing, Verification and Validation

• [ICSE08_Td] Tool Demo PC member at ICSE 2008, the 30th Int. Conference on Software Engineering

• [ICSE08_Ws] Workshop PC member at ICSE 2008, the 30th Int. Conference on Software Engineering

• [MODELS08_Ws] Workshop PC members of Models/UML 2008, Int. Conference on Model Driven Engineering Languages and Systems.

• [MODELS08_Ds] Doctoral Symposium PC members of Models/UML 2008, Int. Conference on Model Driven Engineering Languages and Systems

• [ACM/SAC08] PC member of ACM/SAC 2008, the 23rd Annual ACM Symposium on Applied Computing

• [ICSOFT08] PC member of ICSOFT 2008, 3rd International Conference on Software and Data Technologies.

• [SEKE08]PC member of SEKE'2008, the 20th International Conference on Software Engineering and Knowledge Engineering

• [WADS08] PC member WADS 08, DSN 2008 Workshop on Architecting Dependable Systems

• [QACOS08] PC member of QACOS 2008, the IEEE International Workshop on
  Quality and Architectural Concerns in Open Source Software.

• [ENC08] PC member of the Software Engineering Track of the ENC 08, Mexican Int. Conference on Computer Science.

• [AST08] PC member of the ICSE'08 Workshop on Automation of Software Test

• [ECBSE08] PC member ECBSE 08,  34th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA), Component-Based Software Engineering Track

• [ASE07_RV] Member of the ASE 07 Review Panel, the 22nd IEEE/ACM Int. Conference on Automated Software Engineering

• [CBSE07] PC member CBSE 07,  the 10th International SIGSOFT Symposium on Component-Based Software Engineering

• [WADS07] PC member WADS 07, DSN 2007 Workshop on Architecting Dependable Systems

• [ICSEA07]PC member of ICSEA 2007, The Second International Conference on Software Engineering Advances

• [ECBSE07] PC member ECBSE 07,  33rd EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA), Component-Based Software Engineering Track

• [MODELS07_Ws] Workshop PC members of Models/UML 2007, Int. Conference on Model Driven Engineering Languages and Systems.

Journals, Chapters and Others (2009-2007):

• IEEE TSE, ACM TOSEM, JSA, AUSE

• Referee for the “Quality Assurance for Component-based Systems”, special issue of the International Journal  of Software Engineering and Knowledge Engineering, 2007.

• Referee for the Netherlands Organisation for Scientific Research (NWO)Computer Science proposal

Recent Invited Presentations:

Universität Paderborn,  Institut für Informatik, July 2005, Paderborn (Germany)
"Model-based Analysis of Software Architectures our research group experience and future trends"
 
ITC-IRST, June 2005, Trento (Italy)
"Software Architecture-based Modeling and Analysis"

Terma GmbH, October 2004, Weiterstadt, Germany
Under a Non Disclosure Agreement

Interest Group on Software Engineering meeting (GIIS), October 2004
"Functional and Non-Functional Analysis of Component-Based Systems and Software Architectures" (presentation)

Software Product Line Conference, Testing Panel, September 2004
"From SA-based to PLA-based Testing" (presentation)

University of Southern California (USC), October 2003
"SA-based Code Testing" (presentation)

Politecnico di Milano, June 2003
"Using Model-Checking Techniques for Architecture Analysis and Formal Prototyping" (presentation)

SAHARA Project talk, March 2003
"Eliciting Coordination Policies from Requirements" (presentation)

Georgia Tech, October 2002
"SA-based Code Testing" (presentation)

University of California Irvine (UCI), March 2002
"Software Architecture and Analysis" (presentation)

Collaborations:

Academic:
I co-authored papers with:

• Patrizio Pelliccione, Mauro Caporuscio, Vittorio Cortellessa, Alfonso Pierantonio, Davide Di Ruscio, Paola Inverardi, Fabio Mancinelli, Antinisca di Marco  (Dipartimento di Informatica, University of L’Aquila)

• Antonia Bertolino, Eda Marchetti, Andrea Polini, Stefania Gnesi (ISTI-CNR, Pisa)

• Marcio S. Dias, Marlon Vieira, Debra Richardson, André van der Hoek (University of California, Irvine)

• Rogerio de Lemos, University of Kent

• Patricia Lago and Hans Van Vliet (Vrije Universiteit, The Netherlands)

• Ivica Crnkovic, Sasikumar Punnekkat (Mälardalen University, Sweden)

•  Ljerka Beus-Dukic3 (University of Westminster,UK)

•  Pengcheng Zhang, Bixin Li (School of Computer Science and Engineering, Southeast University, China)

• Alexander Romanovsky and Cristina Gacek, Center for Software Reliability, University of Newcastle upon Tyne – UK

• Nicolas Guelfi, University of Luxembourg

• Antonio Bucchiarone (currently in Siemens Portugal)

• Flavio Corradini (currently in University of Camerino)

• Fabrizio Facchini, Ezio Di Nisio, Fabiano Ricci: former Master students of mine

• Pierluigi Pierini (Technolabs)

Industrial:

• Siemens SCR, Princeton, NJ, USA

• Terma GmbH, Weiterstadt, Germany

• Siemens/Nokia, Lisboa, Portugal

• Siemens C.N.X., L'Aquila, Italy

• Marconi/Selenia, L'Aquila, Italy

• Manuali.it, Teramo, Italy

• Micron, Avezzano, Italy