Henry Muccini

Associate Professor

Blocco Zero, Room
henry.muccini@univaq.it
+39 0862 433721

Please refer to www.henrymuccini.com  for the most up to date information.

Architectural Languages

A Software Architecture (SA) can be considered as the earliest model of the whole software system created along the software lifecycle. Following a “traditional” definition, an SA consists of a set of components and connectors communicating through interfaces. From a different perspective, an SA consits of a set of architecture design decisions taken to generate the architecture artifact. Indeed, the two definitions are not
in contrast, but they are simply orthogonal. In both cases, when an SA is identified, it needs to be described through an architectural language (AL).

 

Interoperability among different ALs: many ALs have been proposed in the last fifteen years, each one with the chief aim of becoming the ideal language for specifying software architectures. What is evident nowadays, instead, is that architectural languages are defined by stakeholder concerns.
Capturing all such concerns within a single, narrowly focused notation is impossible. At the same time it is also impractical to define and use a “universal” notation, such as UML. As a result, many domain specific notations for architectural modeling have been proposed, each one focussing on a specific application domain, analysis type, or modeling environment. As a drawback, a proliferation of languages exists, each one
with its own specific notation, tools, and domain specificity. Therefore, if a software architect has to model a concern not supported by his own language/tool, he has to manually transform (and eventually keep aligned) the available architectural specification into the required language/tool.
Our solution to this problem is DUALLY, an automated framework that allows architectural languages and tools interoperability. Given a number of architectural languages and tools, they can all interoperate thanks to
automated model transformation techniques. DUALLY is implemented as an Eclipse plugin. 
 

For more information on the approach, you may refer to [IEEE_TSE2010]. For more information on the tool that supports the approach, please refer to "software" page on my website, or directly to the DUALLY website.

 

ALs extension and customization: despite the flourishing of languages to describe software architectures, existing ALs are still far away from what it is actually needed. In fact, while they support a traditional perception of an SA as a set of constituting elements (such as components, connectors and interfaces), they mostly fail to capture multiple stakeholders concerns and their design decisions that represent a broader view of SA being accepted today. Next generation ALs must cope with various and ever evolving stakeholder concerns by employing semantic extension mechanisms.
In our research we propose a framework, called BYADL – Build Your A(D)L, for developing a new generation of ALs. BYADL exploits model-driven techniques that provide the needed technologies to allow a software architect, starting from existing AL, to define its own new generation AL by: i) adding domain specificities, new architectural views, or analysis aspects, ii) integrating ALs with development processes and methodologies, and iii) customizing ALs by fine tuning them. 
 

For more information on the approach, you may refer to [ICSE2010]. For more information on the tool that supports the approach, please refer to "software" page on my website, or directly to the BYADL website.

 

Architecture Design Decisions and Viewpoints: Architectural design decisions (i.e., those decisions made when architecting software systems) are considered an essential piece of knowledge to be carefully documented and maintained. As any other artifact, architectural design decisions may evolve, having an impact on other design decisions, or on related artifacts (like requirements and architectural elements). It is therefore important to document and analyze the impact of an evolving decision on other related decisions or artifacts. In our research work we propose an approach based on a notation-independent metamodel that becomes a means for systematically defining traceability links, enabling inter-decision and extra-decision evolution impact analysis. The purpose of such an analysis is to check the presence of inconsistencies that may occur during evolution. An Eclipse plugin has been realized to implement the approach.
 

For more information on the approach, you may refer to [SERENE 2011]. 
 

The use of multiple views has become standard practice in industry. Academic research and existing ALs have focused predominantly on the structural view (i.e. components and connectors) and sometimes on behaviour at the architectural level. They have offered limited support to address the needs of stakeholders with different concerns such as data management, safety, security, reliability and so on.
One consequence of the tenet of using multiple views is a growing body of viewpoints that have become available. A second consequence is the rise of architecture frameworks as coordinated sets of viewpoints. Current frameworks tend to be closed—as a result, (i) it is difficult to re-use viewpoints and concerns for defining new frameworks to be used in different organizations or domains; and (ii) it is impossible to define consistency rules among viewpoints once and forever, since such rules are not re-usable as the main artefacts themselves.
With the aim of taking a step towards the solution of these current limitations, the goal of this research is to provide an infrastructure, called MEGAF, for building reusable architecture frameworks.
 

For more information on the approach, you may refer to [ASE2010]. For more information on the tool that supports the approach, please refer to "software" page on my website, or directly to the MEGAF website.

 

Architecture-based Analysis

In contemporary domains (e.g. logistics and health-care) dependability plays a crucial role, since failures can cause severe consequences and even endanger human life. Since Software Architectures offer a high-level system design they can contribute to improve the overall system dependability, providing a system blueprint that can be validated and that can guide the system development. In my research, I have been using SAs for three different purposes: a) for testing the system conformance to architectural descriptions and decisions, b) to assess the architectural description against expected behavioral scenarios, and c) to drive the monitoring of dynamically evolving systems.

 

Architecture-based Testing: this research deals with the use of an SA as a reference model for testing the conformance of an implemented system with respect to its architectural specification. We exploit the specification of SA dynamics to identify useful schemes of interactions between system components and to select test classes corresponding to relevant architectural behaviors. The SA dynamics is modeled by Labeled Transition Systems (LTSs). The approach consists of deriving suitable LTS abstractions called ALTSs. ALTSs offer specific views of SA dynamics by concentrating on relevant features and abstracting away from uninteresting ones. Intuitively, deriving an adequate set of test classes entails deriving a set of paths that appropriately cover the ALTS. Next, a relation between these abstract SA tests and more concrete, executable tests needs to be established, so that the architectural tests derived can be refined into code-level tests. 
 

For more information on the approach, you may refer to [TSE2001] paper.


Formal Analysis of SA specifications: Charmy is a framework for designing and validating architectural specifications. Introduced in the early stages of the software development process, the Charmy framework assists the software architect in the design and validation phases. Once the model-based architectural design is completed, a prototype is automatically created for simulation and analysis purposes; desired properties, specified using a graphical notation close to UML sequence diagrams, are checked on the prototype by means of model checking techniques.
To make it useful in an industrial context, the framework relies on UML-based graphical notations hiding most of the complexity of the modeling and analysis process. Charmy has been used in different industrial studies and results have been collected and discussed.

For more information on the approach, you may refer to [IEEE TSE]. For more information on the tool that supports the approach, please refer to "software" page on my website, or directly to the CHARMY website.

 

Monitoring dynamically evolving systems: In run-time evolving systems, components may evolve while the system is being operated. Unsafe run-time changes may compromise the correct execution of the entire system. Traditional design-time verification techniques difficultly cope with run-time changes, and run-time monitoring may detect disfunctions only too late, when the failure arises. The desire would be to define advanced monitors with the ability to predict and prevent the potential errors happening in the future. In this direction, this paper proposes CASSANDRA, a new approach that by combining design-time and run-time analysis techniques, can “look ahead” in the near execution future, and predict potential failures. During run-time we on-the-fly construct a model of the future k-step global state space according to design-time specifications and the current execution state. Consequently, we can run-time check whether possible failures might happen in the future.

For more information on the approach, you may refer to the [ASE 2011] paper.

Software Engineering Education

Global SE Education: To teach global software engineering (GSE) we devised a complementary distributed module with a shared project involving both local and international teams. In local teams students are located at the same university and trained in one of the two complementary topics. In international teams students are located at two different universities and trained in one of the two complementary topics. This study empirically investigates whether the students in the international teams can compensate the extra effort required to deal with communication, coordination, and collaboration issues that characterise GSE projects with learning by osmosis (i.e., by transferring knowledge among globally distributed teams trained on different topics). 
The results show that there was no statistically significant difference between the performance of local and international teams. We assert that the students in the international and local teams perform equally well thanks to learning by osmosis. However, our analysis of the self-reported questionnaire data revealed that most of the participants (i.e., 70%) would like to work in local teams in real life project, 74% of the participants thought international teams were less efficient, and 41% of the participants reported lack of trust in their international team members compared with their local team members.

For more information on the approach, you may refer to the [Journal of Software Maintenance and Evolution: Research and Practice] paper.

 

Architecting Wireless Sensor Networks

Wireless Sensor Networks (WSN) are large and dense networks made up of low-data rate, short-range, low-cost and low-power (i.e. battery-operated) wireless components typically called
sensor nodes. A sensor node is a small digital device with very limited processing, communication and sensing capabilities. The sensor nodes are deployed (also in very large area) randomly or on
the basis of a precise planning in order to collect specific environmental information (e.g. temperature, light, pressure, movement, etc.) and to return results to a collection point by means of a wireless communication. 

 

Architectural Description and Energy Simulation:  Wireless Sensor Networks represent a very promising technology both in research and in practice. However, their development process still heavily relies on the technologies used to realize them (e.g., programming language, hardware platform, etc.) and demand for very specific skills of software developers. These peculiarities hamper the use of Wireless Sensor Networks in real applications, and slow down the growth of the Wireless Sensor Networks community. As claimed in many recent surveys on WSNs, the development of wireless sensor networks needs to be more abstract (i.e., developers should be able, if needed, to abstract from low-level details), it should be supported by verification and validation techniques, and should be disciplined by frameworks with well-defined processes.

In this context, we are proposing an architecture modelling framework to describe the software architecture of a WSN with a focus on nodes behaviour and communication properties. The framework is complemented with an interactive tool for both describing the physical environment in which the WSN will be deployed (i.e., walls, obstacles, and the material they are made of), and for virtually positioning the nodes in such environment. An internal engine simulates the virtually positioned WSN with respect to its path loss properties; this results as an accurate evaluation of the WSN lifetime in terms of the energy consumed for nodes’ communication.

For more information on the approach, you may refer to the [SESENA 2012] paper.

Teaching web pages:
Skype contact:
Office hours:
Thursday 11:30 - 13:00
Friday 14:30 - 16:00
  • [please refer to http://dblp.uni-trier.de/pers/hd/m/Muccini:Henry for the most up to date list of my publications]
  • 2019. An IoT Software Architecture for an Evacuable Building Architecture. pp.1-10. In 52nd Hawaii International Conference on System Sciences, HICSS 2019. Muccini, Henry; Arbib, Claudio; Davidsson, Paul; TOURCHI MOGHADDAM, Mahyar.
    2.1 Contributo in volume (Capitolo o Saggio)              

    2019. Dealing with Non-Functional Requirements in Model-Driven Development: A Survey. DOI:10.1109/TSE.2019.2904476. pp.1-1. In IEEE TRANSACTIONS ON SOFTWARE ENGINEERING - ISSN:0098-5589 Ameller, David; Franch, Xavier; Gomez, Cristina; Martinez-Fernandez, Silverio; Araujo, Joao; Biffl, ...
    1.1 Articolo in rivista          IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

    2019. Measuring Systems and Architectures: A Sustainability Perspective. DOI:10.1109/MS.2019.2897833. pp.98-100. In IEEE SOFTWARE - ISSN:0740-7459 vol. 36 (3) Cabot, Jordi; Capilla, Rafael; Carrillo, Carlos; Muccini, Henry; Penzenstadler, Birgit
    1.5 Abstract in rivista         IEEE SOFTWARE

    2018. A4WSN: an architecture-driven modelling platform for analysing and developing WSNs. DOI:10.1007/s10270-018-0687-0. pp.1-21. In SOFTWARE AND SYSTEMS MODELING - ISSN:1619-1366 Malavolta, Ivano; Mostarda, Leonardo; Muccini, Henry; Ever, Enver; Doddapaneni, Krishna; Gemikonakli...
    1.1 Articolo in rivista          SOFTWARE AND SYSTEMS MODELING

    2018. COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE. pp.266-302 - ISBN:1613-0073 vol. COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE. Bosch, Jan; Gerard, Sebastien; Kolovos, Dimitris S.; Malavolta, Ivano; Muccini, Henry
    3.1 Monografia o trattato scientifico            

    2018. Collaborative model-driven software engineering. DOI:10.1145/3180155.3182543. pp.535-535. In 40th International Conference on Software Engineering - ISBN:9781450356381. Di Ruscio, Davide; Franzago, Mirco; Muccini, Henry; Malavolta, Ivano
    4.1 Contributo in Atti di convegno 

    2018. Collaborative Modeling in Software Engineering. DOI:10.1109/MS.2018.4321244. pp.20-24. In IEEE SOFTWARE - ISSN:0740-7459 vol. 35 (6).  Muccini, Henry; Bosch, Jan; Van Der Hoek, André
    1.1 Articolo in rivista          IEEE SOFTWARE

    2018. Applying a network flow model to quick and safe evacuation of people from a building: a real case. pp.50-61. In Robust Solutions for Fire Fighting vol. Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting. Arbib, Claudio; Muccini, Henry; TOURCHI MOGHADDAM, Mahyar.
    4.1 Contributo in Atti di convegno 

    2018. The History of Software Architecture - In the Eye of the Practitioner. Muccini, Henry; Lago, Patricia; Vaidyanathan, Karthik; Osborne, Francesco; Poort, Eltjo
    3.1 Monografia o trattato scientifico            

    2018. A comparative analysis of self-adaptive patterns in cyber-physical systems. DOI:10.1145/3241403.3241451. pp.1-7. In Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings - ISBN:9781450364836. Sharaf, Mohammad; Muccini, Henry; Sahay, Apurvanand
    2.1 Contributo in volume (Capitolo o Saggio)              

    2018. Arduino realization of CAPS IoT architecture descriptions. DOI:10.1145/3241403.3241412. pp.1-4. In Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings - ISBN:9781450364836. Sharaf, Mohammad; Abughazala, Moamin; Muccini, Henry
    2.1 Contributo in volume (Capitolo o Saggio)              

    2018. IoT Architectural Styles. DOI:10.1007/978-3-030-00761-4_5. pp.68-85. In European Conference on Software Architecture - ISBN:978-3-030-00760-7... vol. 11048. Muccini, Henry; Moghaddam, Mahyar Tourchi
    2.1 Contributo in volume (Capitolo o Saggio)              

    2018. ArIA: Arduino code generation based on the CAPS. DOI:10.1145/3241403.3241409. pp.1-4. In Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings - ISBN:9781450364836. Sharaf, Mohammad; Muccini, Henry; Abughazala, Moamin
    2.1 Contributo in volume (Capitolo o Saggio)              

    2018. Self-adaptive IoT architectures. DOI:10.1145/3241403.3241424. pp.1-6. In Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings - ISBN:9781450364836. Muccini, Henry; Spalazzese, Romina; Moghaddam, Mahyar T.; Sharaf, Mohammad
    2.1 Contributo in volume (Capitolo o Saggio)              

    2018. Group decision-making in software architecture: A study on industrial practices. DOI:10.1016/j.infsof.2018.04.009. pp.51-63. In INFORMATION AND SOFTWARE TECHNOLOGY - ISSN:0950-5849 vol. 101. V, Smrithi Rekha; Muccini, Henry
    1.1 Articolo in rivista          INFORMATION AND SOFTWARE TECHNOLOGY

    2017. Patterns for self-adaptation in Cyber-Physical Systems. DOI:10.1007/978-3-319-56345-9_13. pp.331-368 - ISBN:9783319563459. Musil, Angelika; Musil, Juergen; Weyns, Danny; Bures, Tomas; Muccini, Henry; Sharaf, Mohammad.
    3.1 Monografia o trattato scientifico            

    2017. CAPS: Architecture Description of Situational Aware Cyber Physical Systems. DOI:10.1109/ICSA.2017.21. pp.211-220. In Proceedings - 2017 IEEE International Conference on Software Architecture, ICSA 2017 - ISBN:9781509057290. Muccini, Henry; SHARAF ABDEL KARIM MESBAH, Mohammad.
    4.1 Contributo in Atti di convegno 

    2017. GitHub, Technical Debt, Code Formatting, and More. DOI:10.1109/MS.2017.51. pp.105-107. In IEEE SOFTWARE - ISSN:0740-7459 vol. 34 (2). Carver, Jeffrey C.; Cabot, Jordi; Capilla, Rafael; Muccini, Henry
    1.1 Articolo in rivista          IEEE SOFTWARE

    2017. A smart city run-time planner for multi-site congestion management. DOI:10.1109/SST.2017.8188691. pp.175-179. In SMART SYSTEMS AND TECHNOLOGIES. INTERNATIONAL CONFERENCE. 2017 - ISBN:978-1-5386-2101-1. Muccini, Henry; Rossi, Fabrizio; Traini, Luca.
    4.1 Contributo in Atti di convegno 

    2017. CAPS: A tool for architecting situational-aware cyber-physical systems. DOI:10.1109/ICSAW.2017.12. pp.286-289. In Proceedings - 2017 IEEE International Conference on Software Architecture Workshops, ICSAW 2017: Side Track Proceedings - ISBN:9781509047932. Muccini, Henry; SHARAF ABDEL KARIM MESBAH, Mohammad
    4.1 Contributo in Atti di convegno 

    2017. Envisioning the future of collaborative model-driven software engineering. DOI:10.1109/ICSE-C.2017.143. pp.219-221. In IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017 - ISBN:9781538615898. DI RUSCIO, Davide; Franzago, MIRCO GIOVANNI UMBERTO; Malavolta, Ivano; Muccini, Henry
    4.1 Contributo in Atti di convegno 

    2017. Report from the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016). DOI:10.1145/3041765.3041773. pp.26-27 vol. 42. Gérard, Sébastien; Kolovos, Dimitrios S.; Malavolta, Ivano; Muccini, Henry.
    3.1 Monografia o trattato scientifico            

    2017. Message from Chairs: MOBILESoft 2017. DOI:10.1109/MOBILESoft.2017.41. pp.x-xi - ISBN:9781538626696. Muccini, Henry; Grundy, John; Halfond, William G. J.; Buhnova, Barbora; Autili, Marco
    7.1 Curatela         

    2017. Collaborative Model-Driven Software Engineering: a Classification Framework and a Research Map. DOI:10.1109/TSE.2017.2755039. pp.1-1. In IEEE TRANSACTIONS ON SOFTWARE ENGINEERING - ISSN:0098-5589. Franzago, MIRCO GIOVANNI UMBERTO; DI RUSCIO, Davide; Malavolta, Ivano; Muccini, Henry
    1.1 Articolo in rivista          IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

    2017. An architecture framework for modelling and simulation of situational-aware cyber-physical systems. DOI:10.1007/978-3-319-65831-5_7. pp.95-111. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - ISBN:9783319658308. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:1611-3349 vol. 10475. SHARAF ABDEL KARIM MESBAH, Mohammad; Abughazala, Moamin; Muccini, Henry; Abusair, Mai.
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2017. Distributed Teams, Developer Participation, and More. DOI:10.1109/MS.2017.85. pp.114-116. In IEEE SOFTWARE - ISSN:0740-7459 vol. 34 (3). Carver, Jeffrey C.; Muccini, Henry; Yamashita, Aiko
    1.5 Abstract in rivista         IEEE SOFTWARE

    2017. CAPSim: Simulation and code generation based on the CAPS. DOI:10.1145/3129790.3129820. pp.56-60. In ACM International Conference Proceeding Series - ISBN:9781450352178 vol. 130530. Sharaf, Mohammad; Abughazala, Moamin; Muccini, Henry; Abusair, Mai.
    2.1 Contributo in volume (Capitolo o Saggio)              

    2017. Simulating architectures of situational-Aware cyber-physical space. DOI:10.1145/3129790.3129807. pp.66-69. In ACM International Conference Proceeding Series - ISBN:9781450352178 vol. 130530. Sharaf, Mohammad; Abughazala, Moamin; Muccini, Henry; Abusair, Mai
    2.1 Contributo in volume (Capitolo o Saggio)              

    2017. Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety. DOI:10.1145/3129790.3129792. pp.78-84. In ACM International Conference Proceeding Series - ISBN:9781450352178 vol. 130530. Abusair, Mai; Sharaf, Mohammad; Muccini, Henry; Inverardi, Paola
    2.1 Contributo in volume (Capitolo o Saggio)              

    2017. A cyber-physical space operational approach for crowd evacuation handling. DOI:10.1007/978-3-319-65948-0_6. pp.81-95. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - ISBN:9783319659473 vol. 10479. Muccini, Henry; Tourchi Moghaddam, Mahyar
    2.1 Contributo in volume (Capitolo o Saggio)              

    2016. On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems. DOI:10.1109/CBSE.2016.9. pp.23-32. In Proceedings - 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016 - ISBN:9781509025695. Crnkovic, Ivica; Malavolta, Ivano; Muccini, Henry; Sharaf, Mohammad.
    2.1 Contributo in volume (Capitolo o Saggio)              

    2016. Welcome Message from the Chairs of WICSA, QoSA and CBSE. DOI:10.1109/CBSE.2016.4. pp.vii-viii - ISBN:9781509025695, 97...Muccini, Henry; Harper, K. Eric; Heinrich, Robert; Bosch, Jan; Plouzeau, Noël; Zimmermann, Olaf; Bar...
    7.1 Curatela         

    2016. Product Lines, Energy Conservation, Use Cases, Agile Development, and Infotainment. DOI:10.1109/MS.2016.74. pp.29-31. In IEEE SOFTWARE - ISSN:0740-7459 vol. 33 (3). Carver, Jeffrey C.; De Almeida, Eduardo Santana; Capilla, Rafael; Minku, Leandro L.; Muccini, Henry;...
    1.5 Abstract in rivista         IEEE SOFTWARE

    2016. A model-based method for Seamless web and mobile experience. DOI:10.1145/3001854.3001857. pp.33-40. In Mobile! 2016 - Proceedings of the 1st International Workshop on Mobile Development, co-located with SPLASH 2016 - ISBN:9781450346436. Brambilla, Marco; Mauri, Andrea; Franzago, MIRCO GIOVANNI UMBERTO; Muccini, Henry
    4.1 Contributo in Atti di convegno 

    2016. Protocol for a Systematic Mapping Study on Collaborative Model-Driven Software Engineering Franzago, MIRCO GIOVANNI UMBERTO; DI RUSCIO, Davide; Malavolta, Ivano; Muccini, Henry
    3.1 Monografia o trattato scientifico            

    2016. On the use of security principles and practices for architecting cyber-physical systems. DOI:10.1145/2993412.3007553. pp.1-7. In Proccedings of the 10th European Conference on Software Architecture Workshops - ISBN:9781450347815. Krishna, Deepak; Jha, Vikas Kumar; Sharaf, Mohammad; Muccini, Henry
    2.1 Contributo in volume (Capitolo o Saggio)              

    2016. Self-adaptation for cyber-physical systems: a systematic literature review. In Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016. Muccini, Henry; Sharaf, Mohammad; Weyns, Danny
    2.1 Contributo in volume (Capitolo o Saggio)              

    2015. The Road Ahead for Architectural Languages. DOI:10.1109/MS.2014.28. pp.98-105. In IEEE SOFTWARE - ISSN:0740-7459 vol. 32 (1). Patricia, Lago; Ivano, Malavolta; Muccini, Henry; Pelliccione, Patrizio; Antony, Tang
    1.1 Articolo in rivista          IEEE SOFTWARE

    2015. Crowd and Laboratory Testing, Can They Co-exist? An Exploratory Study. DOI:10.1109/CSI-SE.2015.14. pp.32-37. In Proceedings - 2nd International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2015 - ISBN:9781479919345. Guaiani, Fabio; Muccini, Henry.
    4.1 Contributo in Atti di convegno 

    2015. Special issue: Selected papers from the 12th International Conference on Quality Software (QSIC 2012). DOI:10.1016/j.scico.2014.05.001. pp.381-382. In SCIENCE OF COMPUTER PROGRAMMING - ISSN:0167-6423 vol. 97 (P4). Muccini, Henry; Tang, Antony
    1.1 Articolo in rivista          SCIENCE OF COMPUTER PROGRAMMING

    2015. A preliminary study on architecting cyber-physical systems. DOI:10.1145/2797433.2797453. pp.1-6. In ACM International Conference Proceeding Series - ISBN:9781450333931 vol. 07-11-. Malavolta, Ivano; Muccini, Henry; SHARAF ABDEL KARIM MESBAH, Mohammad
    4.1 Contributo in Atti di convegno 

    2015. On the social dimensions of architectural decisions. DOI:10.1007/978-3-319-23727-5_11. pp.137-145. In IFIP Advances in Information and Communication Technology - ISBN:9783319237268. In IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY - ISSN:1868-4238 vol. 9278. Muccini, Henry; Tamburri, Damian A.; Smrithi Rekha, V.
    4.1 Contributo in Atti di convegno  IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY

    2015. Automatically Bridging UML Profiles to MOF Metamodels. DOI:10.1109/SEAA.2015.64. pp.259-266. In Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015 - ISBN:9781467375856. Malavolta, Ivano; Muccini, Henry; Sebastiani, Marco
    2.1 Contributo in volume (Capitolo o Saggio)              

    2015. Modeling and analysis of compositional software (papers from EUROMICRO SEAA'12). DOI:10.1016/j.scico.2014.06.009. pp.331-332 vol. 97. Cortellessa, Vittorio; Muccini, Henry
    7.1 Curatela         

    2015. Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile. In Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, - ISBN:978-1-4503-3815-8 vol. DeMobile 2015, Bergamo, Italy, August 31 - September 4, 2015. ACM 2015, ISBN 978-1-4503-3815-8. Abadi, Aharon; Humayoun, Shah Rukh; Muccini, Henry.
    2.1 Contributo in volume (Capitolo o Saggio)              

    2015. Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey. DOI:10.1109/RE.2015.7320424. pp.208-213. In 23rd IEEE International Requirements Engineering Conference, RE 2015, Ottawa, ON, Canada, August 24-28, 2015. Ameller, David; Franch, Xavier; Gómez, Cristina; Araújo, João; Berntsson-Svensson, Richard; Biffl, S...
    4.1 Contributo in Atti di convegno 

    2015. Stakeholders, Viewpoints and Languages of a Modelling Framework for the Design and Development of Data-Intensive Mobile Apps. In MOBILEng 2014 Workshop. Franzago, Mirco; Malavolta, Ivano; Muccini, Henry
    4.1 Contributo in Atti di convegno 

    2014. Towards a collaborative framework for the design and development of data-intensive mobile applications. In Mobile Software Engineering and Systems, MOBILESoft 2014. Franzago, Mirco; Muccini, Henry; Malavolta, Ivano
    4.1 Contributo in Atti di convegno 

    2014. A survey on the specification of the physical environment of wireless sensor networks. DOI:10.1109/SEAA.2014.62. pp.245-253. In Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014 - ISBN:9781479957941. In PROCEEDINGS OF THE ... EUROMICRO CONFERENCE - ISSN:1089-6503. Malavolta, Ivano; Muccini, Henry
    4.1 Contributo in Atti di convegno  PROCEEDINGS OF THE ... EUROMICRO CONFERENCE

    2014. CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems. pp.107-122. In International Conference on Formal Engineering Methods vol. 8829. De Angelis, F; Di Berardini, Mr; Muccini, Henry; Polini, A.
    4.1 Contributo in Atti di convegno 

    2014. Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles. DOI:10.1007/978-3-319-12241-0_2. pp.9-23. In International Workshop on Software Engineering for Resilient Systems - ISBN:978-3-319-12240-3... vol. 8785. Malavolta, Ivano; Muccini, Henry; Smrithi Rekha, V.
    4.1 Contributo in Atti di convegno 

    2014. Architecture description leveraging model driven engineering and semantic wikis. DOI:10.1109/WICSA.2014.21. pp.251-254. In Proceedings - Working IEEE/IFIP Conference on Software Architecture 2014, WICSA 2014 - ISBN:9781479934126. Baroni, Alessandro; Muccini, Henry; Malavolta, Ivano; Woods, Eoin
    4.1 Contributo in Atti di convegno 

    2014. Suitability of Software Architecture Decision Making Methods for Group Decisions. pp.17-32. In European Conference on Software Architecture vol. 8627. Rekha, Vs; Muccini, Henry
    4.1 Contributo in Atti di convegno 

    2014. A study on group decision-making in software architecture. DOI:10.1109/WICSA.2014.15. pp.185-194. In Proceedings - Working IEEE/IFIP Conference on Software Architecture 2014, WICSA 2014 - ISBN:9781479934126. Rekhav, V. Smrithi; Muccini, Henry
    4.1 Contributo in Atti di convegno 

    2014. A study on MDE approaches for engineering wireless sensor networks. DOI:10.1109/SEAA.2014.61. pp.149-157. In Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014 - ISBN:9781479957941. In PROCEEDINGS OF THE ... EUROMICRO CONFERENCE - ISSN:1089-6503. Malavolta, Ivano; Muccini, Henry
    4.1 Contributo in Atti di convegno  PROCEEDINGS OF THE ... EUROMICRO CONFERENCE

     

    2013. Software architecture-based analysis and testing: a look into achievements and future challenges. DOI:10.1007/s00607-013-0338-9. pp.633-648. In COMPUTING - ISSN:0010-485X vol. 95 (8). Antonia Bertolino; Inverardi P; Henry Muccini
    1.1 Articolo in rivista          COMPUTING

    2013. A categorization of green practices used by Dutch data centers. DOI:10.1016/j.procs.2013.06.101. pp.770-776. In Procedia Computer Science. In PROCEDIA COMPUTER SCIENCE - ISSN:1877-0509 vol. 19. Qing, Gu; Lago, Patricia; Muccini, Henry; Potenza, Simone
    4.1 Contributo in Atti di convegno  PROCEDIA COMPUTER SCIENCE

    2013. Report of the 2013 ICSE 1st international workshop on engineering mobile-enabled systems. In Workshop on engineering mobile-enabled systems (MOBS 2013). Lewis, Grace A.; Nagappan, Nachiappan; Gray, Jeff; Rosenblum, David; Muccini, Henry; Shihab, Emad
    4.1 Contributo in Atti di convegno 

    2013. What Industry needs from Architectural Languages: A Survey. DOI:10.1109/TSE.2012.74. pp.869-891. In IEEE TRANSACTIONS ON SOFTWARE ENGINEERING - ISSN:0098-5589 vol. 39 (6). Ivano, Malavolta; Patricia, Lago; Muccini, Henry; Pelliccione, Patrizio; Antony, Tang
    1.1 Articolo in rivista          IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

    2012. Guaranteeing Correct Evolution of Software Product Lines. In ERCIM News 2012, Special Theme: Evolving Software, vol. 88. In ERCIM NEWS - ISSN:0926-4981 vol. 88. H. ter Beek Maurice; Henry Muccini; Pelliccione P
    1.1 Articolo in rivista          ERCIM NEWS

    2012. A model-driven engineering framework for architecting and analysing Wireless Sensor Networks. DOI:10.1109/SESENA.2012.6225729. pp.1-7. In 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings - ISBN:9781467317931. Doddapaneni, Krishna; Ever, Enver; Gemikonakli, Orhan; Malavolta, Ivano; Mostarda, Leonardo; Muccini...
    4.1 Contributo in Atti di convegno 

    2012. An empirical study of learning by osmosis in global software engineering. DOI:10.1002/smr.565. pp.693-706. In JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE - ISSN:2047-7473 vol. 24 (6). Lago, Patricia; Muccini, Henry; Babar, Muhammad Ali
    1.1 Articolo in rivista          JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE

    2012. Software Testing of Mobile Applications: Challenges and Future Research Directions. In 7th IEEE/ACM International Workshop on Automation of Software Test (AST 2012) @ ICSE 2012, IEEE Digital Library, 2012. Muccini, Henry; Antonio Di, Francesco; Patrizio, Esposito
    4.1 Contributo in Atti di convegno 

    2012. A Model-driven Engineering Framework to Support an Architecture-Driven Development and Analysis of WSNs. In Third International Workshop on Software Engineering for Sensor Network Applications (SESENA'12) @ ICSE 2012, 2012. Krishna Doddapaneni; Enver Ever; Ivano Malavolta; Leonardo Mostarda; MUCCINI H
    4.1 Contributo in Atti di convegno 

    2012. On the Composition and Reuse of Viewpoints across Architecture Frameworks. In Proceedings of the 10th Working IEEE/IFIP Conference on Software Architecture (WICSA) & 6th European Conference on Software Architecture (ECSA) - WICSA/ECSA 2012, Helsinki, Finland. Rich Hilliard; Ivano Malavolta; Henry Muccini; Pelliccione P
    4.1 Contributo in Atti di convegno 

    2012. Proc. of 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012 - ISBN:978-1-4673-2451-9. Cortellessa V; Muccini H.; Demirörs O.
    7.1 Curatela         

    2012. Model-driven techniques to enhance Architectural Languages Interoperability. DOI:10.1007/978-3-642-28872-2_2. pp.26-42. In 15th International Conference on Fundamental Approaches to Software Engineering (FASE) - ISBN:978-3-642-28871-5. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. 7212. Davide Di Ruscio; Ivano Malavolta; Muccini H; Patrizio Pelliccione; Alfonso Pierantonio
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2012. A model-driven approach to automate the propagation of changes among Architecture Description Languages. DOI:10.1007/s10270-010-0170-z. pp.29-53. In SOFTWARE AND SYSTEMS MODELING - ISSN:1619-1366 vol. 11 (1). Eramo R; Malavolta I; Muccini H; Pelliccione P; Pierantonio A
    1.1 Articolo in rivista          SOFTWARE AND SYSTEMS MODELING

    2012. Path Loss Effect on Energy Consumption in a WSN. pp.569-574. In 14th International Conference on Modelling and Simulation, Cambridge, Cambridgeshire United Kingdom, pages 569-574, IEEE, 2012. Krishna Doddapaneni; Enver Ever; Ivano Malavolta; Leonardo Mostarda; MUCCINI H
    4.1 Contributo in Atti di convegno 

    2012. Assume-Guarantee Testing of Evolving Software Product Line Architectures. DOI:10.1007/978-3-642-33176-3_7. pp.91-105. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - ISBN:9783642331756. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. 7527. Ter Beek, Maurice H.; Muccini, Henry; Pelliccione, Patrizio
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2011. Guaranteeing Correct Evolution of Software Product Lines: Setting up the Problem. DOI:10.1007/978-3-642-24124-6_9. pp.100-105. In Software Engineering for Resilient Systems - ISBN:978-3-642-24123-9. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. 6968. ter Beek M H; Muccini H; Pelliccione P
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2011. Supporting Architectural Design Decisions Evolution through Model Driven Engineering. pp.63-77. In Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011 - ISBN:978-3-642-24123-9. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. Lecture Notes in Computer Science 6968. Ivano Malavolta; Muccini H; V. Smrithi Rekha
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2011. Run-time systems failure prediction via proactive monitoring.. pp.484-487. In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - ISBN:978-1-4577-1638-6. Pengcheng Zhang; Muccini h; Andrea Polini; Xuandong Li
    4.1 Contributo in Atti di convegno 

    2010. Model and Verification of WS-CDL Based on UML Diagrams. DOI:10.1142/S0218194010005092. pp.1119-1149. In INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING - ISSN:0218-1940 vol. 20 (8). Pengcheng Zhang; Muccini H; Yuelong Zhu; Bixin Li
    1.1 Articolo in rivista          INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

    2010. Realizing architecture frameworks through megamodelling techniques. DOI:10.1145/1858996.1859057. pp.305-308. In ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering - ISBN:978-1-4503-0116-9. In ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES. Rich Hilliard; Ivano Malavolta; Muccini H; Patrizio Pelliccione.
    4.1 Contributo in Atti di convegno  ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES

    2010. Leveraging Software Architectures through the ISO/IEC 42010 Standard: A Feasibility Study. pp.71-85. In 5th International Workshop on Trends in Enterprise Architecture Research, TEAR 2010, Lecture Notes in Business Information Processing 70 - ISBN:978-3-642-16818-5. Damien A. Tamburri; Patricia Lago; Muccini H
    4.1 Contributo in Atti di convegno 

    2010. Developing next generation ADLs through MDE techniques. DOI:10.1145/1806799.1806816. pp.85-94. In Proceedings - International Conference on Software Engineering - ISBN:978-1-60558-719-6. In PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - ISSN:0270-5257. Di Ruscio D; Malavolta I; Muccini H; Pelliccione P; Pierantonio A
    4.1 Contributo in Atti di convegno  PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING

    2010. ByADL: An MDE Framework for Building Extensible Architecture Description Languages. pp.527-531. In 4th European Conference on Software Architecture, ECSA 2010 - ISBN:978-3-642-15113-2. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. Lecture Notes in Computer Science 6285. Davide Di Ruscio; Ivano Malavolta; Muccini H; Patrizio Pelliccione; Alfonso Pierantonio
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2010. A classification and comparison of model checking software architecture techniques. pp.723-744. In THE JOURNAL OF SYSTEMS AND SOFTWARE - ISSN:0164-1212 vol. 835. Pengcheng, Zhang; Muccini, Henry; Bixin, Li
    1.1 Articolo in rivista          THE JOURNAL OF SYSTEMS AND SOFTWARE

    2010. Providing Architectural Languages and Tools Interoperability through Model Transformation Technologie. pp.119-140. In IEEE TRANSACTIONS ON SOFTWARE ENGINEERING - ISSN:0098-5589 vol. 36. IVANO MALAVOLTA; MUCCINI H; PATRIZIO PELLICCIONE; DAMIEN A. TAMBURRI
    1.1 Articolo in rivista          IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

    2009. A Scoped Approach to Traceability Management. pp.168-182. In THE JOURNAL OF SYSTEMS AND SOFTWARE - ISSN:0164-1212 vol. 82. Patricia, Lago; Muccini, Henry; HANS VAN VLIET,
    1.1 Articolo in rivista          THE JOURNAL OF SYSTEMS AND SOFTWARE

    2009. A Model-Driven Engineering Framework for Component Models Interoperability. pp.36-53. In Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings. Lecture Notes in Computer Science 5582 Springer 2009, - ISBN:978-3-642-02413-9. IVICA CRNKOVIC; IVANO MALAVOLTA; MUCCINI H
    4.1 Contributo in Atti di convegno 

    2009. Towards a Framework for Distributed and Collaborative Modeling. DOI:10.1109/WETICE.2009.48. pp.149-154. In 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2009, Groningen, The Netherlands, 29 June - 1 July 2009, Proceedings. IEEE Computer Society 2009. ANTONIO CICCHETTI; MUCCINI H; PATRIZIO PELLICCIONE; ALFONSO PIERANTONIO
    4.1 Contributo in Atti di convegno 

    2009. Software Testing: Testing new Software Paradigms and new Artefacts. In Wiley Encyclopedia of Computer Science and Engineering, 6th Edition. John Wiley & Sons - ISBN:978-0-471-38393-2. MUCCINI H
    2.1 Contributo in volume (Capitolo o Saggio)              

    2009. Integrating AADL within a Multi-domain Modeling Framework. In 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. IEEE Computer Society 2009 - ISBN:978-0-7695-3702-3. IVANO MALAVOLTA; MUCCINI H; PATRIZIO PELLICCIONE
    4.1 Contributo in Atti di convegno 

    2009. SERENE 2008 International Workshop on Software Engineering for Resilient Systems. In Ercim News n. 76, 2009. In ERCIM NEWS - ISSN:0926-4981 vol. 76. Nicolas Guelfi; Henry Muccini; Pelliccione P; Alexander Romanovsky
    1.1 Articolo in rivista          ERCIM NEWS

    2009. CHARMY: A Framework for Designing and Verifying Architectural Specifications. DOI:10.1109/TSE.2008.104. pp.325-346. In IEEE TRANSACTIONS ON SOFTWARE ENGINEERING - ISSN:0098-5589 vol. 35(3). PELLICCIONE P; PAOLA INVERARDI; HENRY MUCCINI
    1.1 Articolo in rivista          IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

    2008. GSEEM: a European Master Programme on Global Software Engineering. pp.747-760. In INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION - ISSN:0949-149X vol. 24. P. LAGO; MUCCINI H; L. BEUS-DUKIC; I. CRNKOVIC; S. PUNNEKKAT
    1.1 Articolo in rivista          INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION

    2008. Data-enriched Modeling and Verification of WS-CDL Based on UML Models. pp.752-753. In IEEE Int. Conference on Web Services, ICWS 2008 - ISBN:978-0-7695-3310-0. PENGCHENG ZHANG; BIXIN LI; MUCCINI H; YU ZHOU; MINGJIE SUN
    4.1 Contributo in Atti di convegno 

    2008. Simulating Software Architectures for functional analysis. DOI:10.1109/WICSA.2008.41. pp.289-292. In Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008) - ISBN:978-0-7695-3092-5. MUCCINI H; PATRIZIO PELLICCIONE
    4.1 Contributo in Atti di convegno 

    2008. Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, Newcastle Upon Tyne — November 17 - 19, 2008. Nicolas Guelfi; Henry Muccini; Pelliccione P; Alexander Romanovsky
    7.1 Curatela         

    2008. An Approach to Monitor Scenario-based Temporal Properties in Web Service Compositions. pp.144-154. In Doctoral Consortium On Data Engineering and Web Technology Research, in conjunction with APWeb 2008, April 26-28, 2008, Shenyang, China. In LNCS 4977 - ISBN:978-3-540-89375-2. PENGCHENG ZHANG; BIXIN LI; MUCCINI H; MINGJIE SUN
    4.1 Contributo in Atti di convegno 

    2008. DUALLY: a framework for Architectural Languages and Tools Interoperability. DOI:10.1109/ASE.2008.82. pp.483-484. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE2008) - ISBN:978-1-4244-2187-9. IVANO MALAVOLTA; MUCCINI H; PATRIZIO PELLICCIONE
    4.1 Contributo in Atti di convegno 

    2008. Architecting Dependable Systems V - ISBN:978-3-540-85570-5 vol. LNCS, Vol. 5135. ROGÉRIO DE LEMOS; FELICITA DI GIANDOMENICO; CRISTINA GACEK; MUCCINI H; MARLON VIEIRA
    3.1 Monografia o trattato scientifico            

    2008. ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. pp.: 529-530. In ASE 2008. DI MARCO, Antinisca; Mariani, Leonardo; Muccini, Henry; Polini, Andrea; Shehory, Onn
    4.1 Contributo in Atti di convegno 

    2008. Developing a Course on Designing Software in Globally Distributed Teams. DOI:10.1109/ICGSE.2008.26. pp.249-253. In 3rd International Conference on Global Software Engineering, ICGSE 2008, Bangalore, India. August 17-20, 2008 - ISBN:978-0-7695-3280-6. PATRICIA LAGO; MUCCINI H; MUHAMMAD ALI BABAR
    4.1 Contributo in Atti di convegno 

    2008. From requirements to Java code: An architecture-centric approach for producing quality systems. DOI:abs/0910.0493. In Model-Driven Software Development: Integrating Quality Assurance - ISBN:978-1-60566-006-6 vol. abs/0910.0493. ANTONIO BUCCHIARONE; DAVIDE DI RUSCIO; HENRY MUCCINI; PELLICCIONE PATRIZIO
    2.1 Contributo in volume (Capitolo o Saggio)              

    2008. Engineering Fault Tolerant Systems. In INTERNATIONAL JOURNAL OF COMPUTER SYSTEMS SCIENCE AND ENGINEERING - ISSN:1307-430X vol. 23. NICOLAS GUELFI; MUCCINI H; PATRIZIO PELLICCIONE; ALEXANDER ROMANOVSKY
    1.1 Articolo in rivista          INTERNATIONAL JOURNAL OF COMPUTER SYSTEMS SCIENCE AND ENGINEERING

    2007. Architecting Fault-tolerant Component-based Systems: from requirements to testing. pp.77-90. In ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - ISSN:1571-0661 vol. 168. A. BUCCHIARONE; H. MUCCINI; PELLICCIONE
    1.1 Articolo in rivista          ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

    2007. Architectural Verification of Black-Box Component-Based Systems. DOI:10.1007/978-3-540-71876-5_7. pp.98-113. In International Workshop on Rapid Integration of Software Engineering Techniques - ISBN:978-3-540-71875-8... vol. 4401. Bertolino, Antonia; Muccini, Henry; Polini, Andrea
    4.1 Contributo in Atti di convegno 

    2007. SOFTWARE ENGINEERING OF FAULT TOLERANT SYSTEMS. pp.1-291 - ISBN:978-981-270-503-7 vol. 19. P Pelliccione; Muccini H; N Guelfi; A Romanovsky
    3.1 Monografia o trattato scientifico            

    2007. Using Model Differencing for Architecture-level Regression Testing. In 33rd EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA), Component-Based Software Engineering Track, Lübeck, Germany, August 27-31, 2007. MUCCINI H
    4.1 Contributo in Atti di convegno 

    2007. WISE 2007: Widened Software Engineering Track. pp.469. In Proceedings of the the 6th joint meeting of The European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ISBN:978-1-59593-812-1. ANTONIA BERTOLINO; MUCCINI H
    4.1 Contributo in Atti di convegno 

    2007. Architecting Fault Tolerant Systems (tutorial). In Sixth Working IEEE/IFIP Conference on Software Architecture, WICSA 2007, Mumbai, India, January 2007. MUCCINI H; PELLICCIONE P; ROMANOVSKY A
    4.1 Contributo in Atti di convegno 

    2007. Workshops summaries: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering ESEC-FSE '07. Muccini, Henry; Pelliccione, Patrizio; Romanovsky, A.
    4.1 Contributo in Atti di convegno 

    2007. Towards a European Master Programme on Global Software Engineering. In 20th Conference on Software Engineering Education and Training (CSEE&T 2007), Dublin City University (DCU), 3-5 July, 2007. PATRICIA LAGO; MUCCINI H; LJERKA BEUS-DUKIC; IVICA CRNKOVIC; SASIKUMAR PUNNEKKAT; HANS VAN VLIET
    4.1 Contributo in Atti di convegno 

    2007. EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. pp.617-618. In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. Pages: 617 - 618. Year of Publication: 2007 - ISBN:978-1-59593-725-4. NICOLAS GUELFI; MUCCINI H; PATRIZIO PELLICCIONE; ALEXANDER ROMANOVSKY
    4.1 Contributo in Atti di convegno 

    2007. Monitoring architectural properties in dynamic component-based systems. In The 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, Lecture Notes in Computer Science, LNCS 4608 - ISBN:978-3-540-73550-2 vol. LNCS 4608. MUCCINI H; ANDREA POLINI; FABIANO RICCI; AND ANTONIA BERTOLINO
    4.1 Contributo in Atti di convegno 

    2007. What makes Software Architecture-based Testing Distinguishable. In Proc. Sixth Working IEEE/IFIP Conference on Software Architecture, WICSA 2007, Mumbai, India, January 2007 vol. WICSA 2007. MUCCINI H
    4.1 Contributo in Atti di convegno 

    2007. Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 - ISBN:978-1-59593-725-4. Nicolas Guelfi; Henry Muccini; Pelliccione P; Alexander Romanovsky
    7.1 Curatela         

    2007. Architecting Fault Tolerant Systems (tutorial). In The 18th IEEE International Symposium on Software Reliability Engineering, 5-9th of November 2007, Trollhättan, Sweden. MUCCINI H; P. PELLICCIONE; A. ROMANOVSKY
    4.1 Contributo in Atti di convegno 

    2007. Software Engineering of Fault Tolerant Systems [Hardcover]. pp.1-292 - ISBN:978-981-270-503-7 vol. 19. PELLICCIONE P; H. MUCCINI; N. GUELFI; AND A. ROMANOVSKY
    3.1 Monografia o trattato scientifico            

    2007. Architecting Fault Tolerant Systems. DOI:10.1109/WICSA.2007.10. In Software Architecture, 2007. WICSA '07. The Working IEEE/IFIP Conference on - ISBN:0-7695-2744-2. H. MUCCINI; PELLICCIONE P; A. ROMANOVSKY
    4.1 Contributo in Atti di convegno 

    2007. AN INTRODUCTION TO SOFTWARE ENGINEERING AND FAULT TOLERANCE. In Software Engineering of Fault Tolerant Systems. PELLICCIONE P; H. MUCCINI; N. GUELFI; A. ROMANOVSKY
    2.1 Contributo in volume (Capitolo o Saggio)              

    2007. An Introduction to Software Engineering of Fault Tolerant Systems. In Software Engineering of Fault Tolerant Systems - ISBN:978-981-270-503-7. PELLICCIONE P; MUCCINI H; ROMANOVSKY A; GUELFI N EDITORS
    2.1 Contributo in volume (Capitolo o Saggio)              

    2006. Software Architecture-based Regression Testing. DOI:10.1016/j.jss.2006.02.059. pp.1379-1396. In THE JOURNAL OF SYSTEMS AND SOFTWARE - ISSN:0164-1212 vol. 79. MUCCINI H; M. DIAS AND D. J. RICHARDSON
    1.1 Articolo in rivista          THE JOURNAL OF SYSTEMS AND SOFTWARE

    2006. Architecting Fault-tolerant Component-based Systems: from requirements to testing. DOI:10.1016/j.entcs.2006.11.004. pp.77-90. In In the Electronidc Notes in Theoretical Computer Science (ENTCS), Volume 168, February 2007 - ISBN:1571-0661 vol. ENTCS, Volume 168. Bucchiarone, A; Muccini, Henry; Pelliccione, Patrizio
    4.1 Contributo in Atti di convegno 

    2006. Rapid System Development via Product Line Architecture Implementation. In Proceedings of the 2nd International Workshop RISE 2005 Rapid Integration of Software Engineering techniques. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. LNCS 3943. MAURO CAPORUSCIO; HENRY MUCCINI; PELLICCIONE PATRIZIO; EZIO DI NISIO
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2006. Architectural Verification of Black-box Component-Based Systems. In Proc. RISE 2006, International Workshop on "Rapid Integration of Software Engineering techniques", 13-15 September, 2006, Switzerland. In Springer Verlag Lecture Notes in Computer Science (LNCS) Series, LNCS 4401 - ISBN:978-3-540-71875-8 vol. LNCS 4401. BERTOLINO A; MUCCINI H; A. POLINI
    4.1 Contributo in Atti di convegno 

    2006. A Practical Architecture-centric Analysis Process. pp.127-144. In Proceedings of Quality of Software Architectures - ISBN:3-540-48819-7. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. LNCS 4214/2006. Bucchiarone, A; Muccini, H; Pelliccione, P
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2006. 2nd Int. Workshop on "The Role of Software Architecture in Testing and Analysis" - ISBN:1-59593-459-6. MUCCINI H; HIERONS R
    3.1 Monografia o trattato scientifico            

    2006. Towards weaving software architecture models. DOI:10.1109/MBD-MOMPES.2006.24. In Joint Meeting of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, Proceedings - ISBN:0-7695-2538-5. Di Ruscio D; Muccini H; Pierantonio A; Pelliccione P
    4.1 Contributo in Atti di convegno 

    2005. CHARMY: An Extensible Tool for Architectural Analysis. pp.111-114. In ESEC/FSE-13 Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ISBN:1-59593-014-0. Paola, Inverardi; Muccini, H; Patrizio, Pelliccione
    4.1 Contributo in Atti di convegno 

    2005. Reasoning About Software Architecture-Based Regression Testing Through a Case Study. pp.189-195. In 29th Annual International Computer Software and Applications Conference (COMPSAC 2005) - ISBN:0-7695-2413-3. Muccini H; Marcio S. Dias; Debra J. Richardson
    4.1 Contributo in Atti di convegno 

    2005. TeStor: Deriving Test Sequences from Model-based Specifications. pp.267-282. In Eighth International SIGSOFT Symposium on Component-based Software Engineering (CBSE 2005), St. Louis, Missouri (USA), 15-21 May, 2005. Lecture Notes in Computer Science, LNCS 3489, pp. 267-282 - ISBN:3-540-25877-9. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. LNCS 3489. PELLICCIONE P; H. MUCCINI; A. BUCCHIARONE; AND F. FACCHINI
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2005. An Architecture-centric Approach for producing Quality Systems. In the 1st International Conference on Quality of Software Architectures (QoSA 2005). Lecture Notes in Computer Science, LNCS 3712 - ISBN:978-3-540-29033-9. ANTONIA BERTOLINO; ANTONIO BUCCHIARONE; STEFANIA GNESI; MUCCINI H
    4.1 Contributo in Atti di convegno 

    2005. DUALLY: Putting in Synergy UML 2.0 and ADLs. DOI:10.1109/WICSA.2005.28. In Int. 5th Working IEEE/IFIP Conference on Software Architecture, WICSA 2005 - ISBN:0-7695-2548-2. Inverardi, P; Muccini, H; Pelliccione, P
    4.1 Contributo in Atti di convegno 

    2005. Towards Software Architecture-based Regression Testing. DOI:http://doi.acm.org/10.1145/1082983.1083223. In ACM Software Engineering Notes - ISBN:0163-5948. MUCCINI H; MARCIO DIAS AND DEBRA J. RICHARDSON
    4.1 Contributo in Atti di convegno 

    2004. A data-modelling approach to web application synthesis. pp.320-337. In INTERNATIONAL JOURNAL OF WEB ENGINEERING AND TECHNOLOGY - ISSN:1476-1289 vol. 1. Di Ruscio D; Muccini H; Pierantonio A
    1.1 Articolo in rivista          INTERNATIONAL JOURNAL OF WEB ENGINEERING AND TECHNOLOGY

    2004. Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. DOI:http://dx.doi.org/10.1016/j.entcs.2004.02.084. pp.85-97. In Electronic Notes in Theoretical Computer Science, Volume 116 - ISBN:1571-0661 vol. 116. A. BERTOLINO; E. MARCHETTI; MUCCINI H
    1.1 Articolo in rivista    ENTCS

    2004. Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. DOI:10.1007/b100825. pp.351-365. In Applying Formal Methods: Testing, Performance, and M/E-Commerce - ISBN:978-3-540-23169-1. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. 3236. A. BUCCHIARONE; MUCCINI H; P. PELLICCIONE; P. PIERINI
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2004. Using UML for SA-based Modeling and Analysis. In Proceedings of the Int. Workshop on Software Architecture Description & UML. Cortellessa, V; DI MARCO, A; Inverardi, P; Muccini, H; Pelliccione, P
    4.1 Contributo in Atti di convegno 

    2004. Systematic Testing of Software Architectures in the C2 style. DOI:10.1007/978-3-540-24721-0_22. pp.295-309. In Lecture Notes in Computer Science - ISBN:3-540-21305-8. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. 2984. MUCCINI H; M. DIAS; D.J. RICHARDSON
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2004. A Software Engineering Approach for Coordination Policies Elicitation. In INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS - ISSN:0218-8430. MUCCINI H; F. MANCINELLI
    1.1 Articolo in rivista          INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS

    2004. Charmy: A Framework for Designing and Validating Architectural Specifications. In ERCIM News No. 58 (July 2004), Special Theme on Automated Software Engineering. In ERCIM NEWS - ISSN:0926-4981 vol. 58. Mauro Caporuscio; Paola Inverardi; Henry Muccini; Pelliccione P
    1.1 Articolo in rivista          ERCIM NEWS

    2004. A Data Modeling Approach to Web Application Synthesis. DOI:10.1504/IJWET.2004.005236. pp.320-337. In INTERNATIONAL JOURNAL OF WEB ENGINEERING AND TECHNOLOGY - ISSN:1476-1289 vol. 1. D. DI RUSCIO; MUCCINI H; A. PIERANTONIO
    1.1 Articolo in rivista          INTERNATIONAL JOURNAL OF WEB ENGINEERING AND TECHNOLOGY

    2004. Using Software Architecture for code testing. DOI:10.1109/TSE.2004.1271170. pp.160-171. In IEEE TRANSACTIONS ON SOFTWARE ENGINEERING - ISSN:0098-5589 vol. 30. H. MUCCINI; A. BERTOLINO; INVERARDI P
    1.1 Articolo in rivista          IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

    2003. Coordination models, Software Architecture, UML, Process. In THE JOURNAL OF SUPERCOMPUTING - ISSN:0920-8542 vol. 24. Inverardi, P; Muccini, H
    1.1 Articolo in rivista          THE JOURNAL OF SUPERCOMPUTING

    2003. Detecting Implied Scenarios analyzing non-local Branching Choices. MUCCINI H
    4.1 Contributo in Atti di convegno 

    2003. Eliciting Coordination Policies from Requirements. MUCCINI H; F. MANCINELLI
    4.1 Contributo in Atti di convegno 

    2003. Towards Testing Product Line Architectures. DOI:10.1016/S1571-0661(04)81029-6,. In ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - ISSN:1571-0661 vol. 82. Muccini, Henry; A., VAN DER HOEK
    1.1 Articolo in rivista          ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

    2003. Formal Methods in Testing Software Architectures. pp.122-147. In Formal Methods in Testing Software Architectures" - ISBN:3-540-20083-5 vol. 2804. Bertolino, A; Inverardi, P; Muccini, H
    2.1 Contributo in volume (Capitolo o Saggio)              

    2002. An Experience in Architectural Extensions: Active Objects in J2EE. pp.87-98. In Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 - ISBN:3-540-00679-6. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. 2604. P. INVERARDI; F. MANCINELLI; MUCCINI H; P. PELLICCIONE
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2002. Software Architecture for Testing, Coordination and Views Model Checking. MUCCINI H
    3.1 Monografia o trattato scientifico            

    2002. An Experience in Architectural Extension: Active Object in J2EE. DOI:10.1007/3-540-36520-6_8. pp.87-98. In Scientific Engineering for Distributed Java Applications - ISBN:978-3-540-00679-4. In LECTURE NOTES IN COMPUTER SCIENCE - ISSN:0302-9743 vol. 2604. Inverardi, P.; Mancinelli, F.; Muccini, H.; Pelliccione, P
    4.1 Contributo in Atti di convegno  LECTURE NOTES IN COMPUTER SCIENCE

    2002. An Approach for Detecting Implied Scenarios. MUCCINI H
    4.1 Contributo in Atti di convegno 

    2001. An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. In IEEE Proc. Int. Conf. on Software Engineering (ICSE2001) - ISBN:0-7695-1050-7. A, Bertolino; P, Inverardi; Muccini, H
    4.1 Contributo in Atti di convegno  PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING

    2001. Automated Check of Architectural Models Consistency using Spin. In Proceeding ASE '01 Proceedings of the 16th IEEE international conference on Automated software engineering - ISBN:0-7695-1426-X. P. INVERARDI; H. MUCCINI; PELLICCIONE P
    4.1 Contributo in Atti di convegno 

    2001. Checking consistency between architectural models using SPIN. In Proceedings of The First Int. Workshop from Software Requirements to Architectures (STRAW'01). P. INVERARDI; MUCCINI H; P. PELLICCIONE
    4.1 Contributo in Atti di convegno 

    2000. Deriving Test Plans from Architectural Descriptions. In ACM Proc. Int. Conf. on Software Engineering (ICSE2000) - ISBN:1-58113-206-9. A. BERTOLINO; F. CORRADINI; INVERARDI P; H. MUCCINI
    4.1 Contributo in Atti di convegno  PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING

    2000. Coordination models and Software Architectures in a Unified Software Development Process. pp.323-328. In Proceedings of the 4th International Conference on Coordination Languages and Models - ISBN:3-540-41020-1. P, Inverardi; Muccini, H
    4.1 Contributo in Atti di convegno 

    2000. A Coordination Process Based on UML and a Software Architectural Description. pp.809-815. In PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS vol. VOLS I-V. P, Inverardi; Muccini, H
    4.1 Contributo in Atti di convegno 

    2000. The Teleservices and Remote Medical Care System (TRMCS). In IEEE Proc. of the IWSSD-10 workshop on Software Specification and Design. P, Inverardi; Muccini, H
    4.1 Contributo in Atti di convegno 

    2000. Coordination Models and Software Architectures in a Unified Software Development. In . vol. LNCS 1906. INVERARDI P; H. MUCCINI
    4.1 Contributo in Atti di convegno 

    1999. Software Architectures and Integration Testing. In Proc. second Ericsson Conference on Quantitative Management, 1999. A, Bertolino; P, Inverardi; Muccini, H
    4.1 Contributo in Atti di convegno 

    1997. An Approach to Integration Testing Based on Architectural Descriptions. DOI:10.1109/ICECCS.1997.622299. pp.77-84. In THIRD IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS - ISBN:0-8186-8126-8. A, Bertolino; P, Inverardi; Muccini, H; A, Rosetti
    4.1 Contributo in Atti di convegno