Home

  My CV   Research   Publications   Projects   Teaching    
 

Personal Area

 

    
  About me

    

  Where I Live

 

  Photo Album

    
  
 






 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 




 


 

 

]

 

 



 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 




 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 



 

 

 













 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 


 


 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>Research

Henry Muccini
Ph.D. in Computer Science

This section provides information on my current and past research.
Professional Activities Presentations Research Keywords Research Topics Collaborations
 

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:

 

University of Camerino, December 2007, Italy
"Monitoring Architectural Properties in Dynamic Component-based Systems"

RISE 2007 Keynote Speech, November 2007, Luxembourg 
"Architecting Fault Tolerant Systems"

Siemens SCR, July 2006, Princeton, NJ (USA)
"The Role of Software Architecture for Testing and Analysis"

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:

 
Software_Architecture Software Testing
Software_Model_Checking  
Model_based_validation  
 

(Current) Research Topics:

 
Software Architecture-based Analysis:
  • 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.
     
Product Line Architecture Modeling and Testing:
Recent Papers: [Tacos03][TR]

A Product Line Architecture (PLA) is an emerging evolution to software architecture modelling describing, in a single specification the overall architecture of a series of closely related products. Both research and industry have recognized the increasing importance of PLA modelling. However, while new modelling languages have been proposed for specification, so far little attention has been given to PLA testing. Test+ (Testing Product Line Architectures) aims at investigating how a PLA may be used to generate testing information which may be effectively reused to test each product in a PLA.
 
WAPLE: Web Application Product Line Engineering:
Papers:[IJWET03][TR013/2004]

Web Engineering is an important branch of Software Engineering. Techniques and tools have been proposed in the past to model, analyze and implement web applications. Such techniques share in common the ability to deal with a specific web application. However,
none of them may scale to model an entire family of web applications. Goal of this paper is to propose a way to model and develop an entire family of web applications. We extend and combine three existing formalisms, and apply our ideas to a family of e-commerce Web applications.

 
Model-based Validation
Papers:[UML&SA04][DSN04][Tacos04]
 
 

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

 
Henry Muccini
muccini@di.univaq.it
http://www.HenryMuccini.com