Henry Muccini
Ph.D. in Computer Science

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

• [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)

Research keywords:

(Current) Research Topics:

• Software Architecture-based Testing
  (in collaboration with ISTI-CNR, Pisa)
  
  Recent Papers:[SFM-03][IEEE_TSE04][FASE_04]
  
  SAs provide a high-level model of large, complex systems using suitable abstractions of the system components and their interactions. SA dynamic descriptions can be usefully employed in testing and analysis. We describe
  here an approach for SA-based
  conformance testing: architectural tests are selected from a Labelled Transition System (LTS) representing the SA behavior and are then refined into concrete
  tests to be executed on the implemented system. To identify the test sequences, we derive abstract views of the LTS, called the ALTSs, to focus on relevant
  classes of architectural behaviors and hide away uninteresting interactions. The
  SA description of a Collaborative Writing system is used as an example of application. We also briefly discuss the relation of our approach with some
  recent research in exploiting the standard UML notation as an Architectural Description Language, and in conformance testing of reactive systems.
   
• Model-Checking at the SA-level
  Papers: see the Charmy Web Site: www.di.univaq.it/charmy
  
  In the Charmy project we are showing how a model-checker may be used to
  check the consistency among architectural models for dynamics. For more information, please refer to the Charmy web-site (www.di.univaq.it/charmy).
   
• Software Architecture-based Regression Testing
  (in collaboration with the University of California Irvine)
  
  Recent Papers: see Technical Report TR 02/2004 here
  
  Software Architecture-based conformance testing techniques can yield
  confidence that the behavior of an implemented system conforms to
  expected behaviors specified in a software architecture.
  
  We are exploring software architecture-based regression testing
  methods that enable reuse of earlier saved results to test if a
  modified implementation conforms to the evolved software
  architecture. We consider both top-down and bottom-up evolution -
  that is, does a slightly modified implementation conform to the
  initial architecture? or does the (modified) implementation conform
  an evolved architecture?
  
  The theoretical discussion is currently instantiated in a specific context
  where a software architecture is specified following the C2
  architectural style.
   
• Model-Checking-driven Testing
  (in collaboration with Siemens CNX and ISTI-CNR Pisa)
  
  Recent Papers:[ITM04][CBSE05]
  
  Software Model-Checking and Testing are some of the most used
  techniques to analyze software systems and identify hidden faults.
  While software model-checking allows for an exhaustive and
  automatic analysis of the system expressed through a model,
  software testing is based on a clever selection of ``relevant"
  test cases, which may be manually or automatically run over the
  system.
  
  In our approach paper we analyze how those two analysis techniques may
  be integrated in a specific context, where a Software Architecture (SA)
  specification of the system is available, model-checking techniques
  are used to validate the SA model conformance with respect to
  selected properties, while testing techniques are used to validate
  the implementation conformance to the SA model.
  
  The results of this research are applied to some Telecommunication
  system architecture designed by Siemens CNX.
   

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