Selected Publications
(listed by time)

Books:

Book Chapters:

[WileyEncyclopedia09] "Software Testing: Testing new Software Paradigms and new Artefacts"
Authors: H. Muccini
Keywords: Software Testing
In: The Wiley Encyclopedia of Computer Science and Engineering (Ed. Benjamin W. Wah). John Wiley & Sons. pages 2716-2732, ISBN: 978-0-471-38393-2. Hardcover. January 2009 (link).

[MDSDIQA08_Ch] From Requirements to Java code: an Architecture-centric Approach for producing quality systems
Keyword: Architecture-centric process, quality systems
Authors: A. Bucchiarone, D. Di Ruscio, H. Muccini, and P. Pelliccione 
In: Chapter in "Model-Driven Software Development: Integrating Quality Assurance", Joerg Rech and Christian Bunse (Eds.).  Publisher: Information Science Reference (Idea Group), IGI Global. August 2008.

[SFM-03] "Formal Methods in Testing Software Architectures"
Keyword: Software Architecture, Formal Methods, Testing
Authors: A. Bertolino, P. Inverardi, and H. Muccini.
In: Chapter in "Formal Methods for Software Architectures".  Editors: Marco Bernardo and Paola Inverardi. Publisher: Springer, Volume: LNCS 2804.

[PhD-Thesis] "Software Architecture for Testing, Coordination and Views Model Checking"
Keyword: Software Architecture and Analysis
Author: H. Muccini.
In: PhD Thesis, year 2002.

Proceedings:

[SERENE08_Pr] SERENE 2008: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Keyword: Resilience, Dependability
Editors: N.Guelfi, H. Muccini, P. Pelliccione, and A. Romanovsky
Book Publisher: ACM Digital Library (link), ISBN:978-1-60558-275-7

[ARAMIS08_Pr] ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems
Keyword: run-time evolving Systems
Book Publisher: IEEE Digital Library (link), ISBN: 978-1-4244-2187-9
DOI: 10.1109/ASE.2008.99

[EFTS07_Pr] Engineering Fault Tolerant Systems
Keyword: Software Engineering, Fault Tolerance
Editors: N.Guelfi, H. Muccini, P. Pelliccione, and A. Romanovsky
Book Publisher: ACM Digital Library (link)

[ROSATEA06_Pr] The Role of Software Architecture in Testing and Analysis
Keyword: Software Architecture, Testing, Analysis
Editors: H. Muccini and R. Hierons
Book Publisher: ACM Digital Library (link)

Special Issue:

[EFTS_SI] "Special issue: Engineering Fault Tolerant Systems"
Authors: Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky
Journal: Computer Systems Science & Engineering, Vol 23 No 5 September 2008

Tutorial:

[SAFECOMP 2008] "Architecting Fault Tolerant Systems".
Authors: H. Muccini, P. Pelliccione, A. Romanovsky.
In: Tutorial at SAFECOMP 2008, The 27th Int. Conference on Computer Safety, Reliability, and Security. September 2008.

[ISSRE 2007] Architecting Fault Tolerant Systems [full day]
Author: H. Muccini, P. Pelliccione, A. Romanovsky
Presented In: The 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007), November 2007, Trollhättan, Sweden

[WICSA 2007] Architecting Fault Tolerant Systems [half day]
Author: H. Muccini, P. Pelliccione, A. Romanovsky
Presented In: Sixth Working IEEE/IFIP Conference on Software Architecture, WICSA 2007, Mumbai, India, January 2007

International Journals:

[SOSYM11] A model-driven approach to automate the propagation of changes among architecture description languages
Authors: R.Eramo,I.Malavolta,H.Muccini,P.Pelliccione,and A.Pierantonio.
In: To appear in International Journal on Software and Systems Modeling (SoSyM).

[JSEKE10] Model and Verification of WS-CDL based on UML Diagrams
Authors: Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li
In: International Journal of Software Engineering and Knowledge Engineering, IJSEKE, 2010

[TSE10Dually] Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies
Authors: Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien A. Tamburri
In: IEEE Transactions on Software Engineering,to appear. DOI: http://doi.ieeecomputersociety.org/10.1109/TSE.2009.51

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

[JSS09] "A Scoped Approach to Traceability Management"
Authors: P. Lago, H. Muccini, and H. van Vliet
Keywords: Traceability, Traceability paths, software product line, traceability issues, software process management
In: the Journal of Systems and Software (JSS), Volume 82 , Issue 1 (January 2009), Pages 168-182. doi:10.1016/j.jss.2008.08.026

[TSE09Charmy] "CHARMY: A framework for Designing and Verifying Architectural Specifications".
Authors: Patrizio Pelliccione, Paola Inverardi, and Henry Muccini.
In: IEEE Transactions on Software Engineering, May/June 2009 (vol. 35 no. 3) ISSN: 0098-5589. DOI:  <http://doi.ieeecomputersociety.org/10.1109/TSE.2008.104>

[IJCSS8] "Engineering Fault Tolerant Systems".
Authors: Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, and Alexander Romanovsky.
In: International Journal of Computer Systems Science & Engineering. Accepted on September 2008.

[IJEE08] "GSEEM: a European Master Programme on Global Software Engineering"
Authors: P. Lago, H. Muccini, L. Beus-Dukic, I. Crnkovic, and S. Punnekkat4
Keywords: Teaching Software Engineering
In: the International Journal on Engineering Education (IJEE), Special Issue on " Trends in Software Engineering Education". Vol. 24, Number 4, 2008.

[JSS06_SARTE] "Software Architecture-based Regression Testing"
Authors: H. Muccini, M. Dias and D. J. Richardson.
Keywords: Testing, Software Architecture, Regression Testing
In: the Journal of Systems and Software (JSS), Special Issue on "Architecting Dependable Systems". Vol. 79, Issue 10 , October 2006, Pages 1379-1396.

[TSE04] "Using Software Architecture for Code Testing".
Authors: H. Muccini, A. Bertolino and P. Inverardi.
Keywords: Testing, Software Architecture, Code
In: In IEEE Transactions on Software Engineering, Vol. 30, Number 3, March 2004,  pp. 160-171.

[IJCIS04] "A Software Engineering Approach for Coordination Policies Elicitation"
Keywords: Coordination Policies Elicitation, UML diagrams, model-based coordination
Authors: Henry Muccini and Fabio Mancinelli
In: Int. Journal of Cooperative Information Systems (IJCIS), Special Issue on Coordination and Collaboration Technologies, Vol. 13, Number 1, March 2004, pp. 9-36. World Scientific.

[IJWET04] "A Data Modeling Approach to Web Application Synthesis"
Keywords: Web Applications, UML, Data, DSL, code synthesis.
Authors: D. Di Ruscio, H. Muccini and A. Pierantonio.
In: Int. Journal of Web Engineering and Technology (IJWET), Special Issue on Web and Database Technologies in Business Solutions. Vol. 1, No. 3, pp.320–337, year 2004.

[Kluwer03] "Software Architectures and Coordination models".
Keywords: Coordination models, Software Architecture, UML, Process.
Authors: P. Inverardi and H. Muccini.
In: Special issue of The Journal of Supercomputing (Kluwer), Vol. 24, No. 2 (Feb. 2003).

International Conferences:

[ASE10] Realizing architecture frameworks through megamodelling
techniques
Authors: Rich Hilliard, Ivano Malavolta, Henry Muccini,Patrizio Pelliccione
In: 25th IEEE/ACM International Conference on Automated Software Engineering, ASE 2010.

[ECSA10] ByADL: an MDE framework for building extensible Architecture Description Languages
Authors: Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio
In: 4th European Conference on Software Architecture, ECSA 2010

[ICSE10] Developing next generation ADLs through MDE techniques.
Authors: Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio
In: In Proc. 32nd ACM/IEEE Int. Conference on Software Engineering, ICSE 2010, Cape Town, South Africa.

[DMC09] Towards a Framework for Distributed and Collaborative Modeling
Authors: Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio
Presented In: 7th Int. Workshop on Distributed and Mobile Collaboration 2009, part of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2009)

[ICECCS09] Integrating AADL within a multi-domain modeling framework
Authors: Ivano Malavolta, Henry Muccini and Patrizio Pelliccione
Presented In: 14th IEEE International Conference on Engineering of Complex Computer Systems. June 2-4, 2009.

[CBSE09] A Model-Driven Engineering Framework for Component Models Interoperability
Authors: Ivica Crnkovic, Ivano Malavolta, Henry Muccini,
Presented In: 12th International Symposium on Component Based Software Engineering (CBSE 2009). June 24-26, 2009.To appear in LNCS.

[ASE08_RD] "DUALLY: a framework for Architectural Languages and Tools Interoperability"
Authors: Ivano Malavolta, Henry Muccini, Patrizio Pelliccione. 
Presented In:  23rd IEEE/ACM International Conference on Automated Software Engineering (ASE2008). September 15-19 2008 L'Aquila, Italy. IEEE Press. (research demo)

[ICGSE08]  "On Developing a Course on Designing Software in Global Software Development".
Authors:  Patricia Lago, Henry Muccini, Muhammad Ali Babar
Presented In:  3rd International Conference on Global Software Engineering, ICGSE 2008, Bangalore, India. August 17-20, 2008.

[ICWS08] "Data-enriched Modeling and Verification of WS-CDL Based on UML Models"
Authors: Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun,
Presented In: IEEE Int. Conference on Web Services, ICWS 2008. Beijing China, Sept 23-26, 2008 (work-in-progress paper).

[DeWeb08] "An Approach to Monitor Scenario-based Temporal Properties in Web Service Compositions"
Authors: Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun
Presented In: In APWeb 2008, April 26-28, 2008, Shenyang, China. In LNCS 4977 "Advanced Web and NetworkTechnologies, and Applications", pages 144-154 (http://www.springerlink.com/content/6w931v00g88qg558/)

[WICSA08] "Simulating Software Architectures for Functional Analysis"
Author: Henry Muccini and Patrizio Pelliccione
Presented In: WICSA 2008, Working IEEE/IFIP Conference on Software Architecture (WICSA) 2008, pages: 289-292.  18 – 22 February 2008, Vancouver, BC, Canada. IEEE Computer Society. (working section paper). [bibtex]

[RISE07_KT] "Architecting Fault Tolerant Systems"
Author: Henry Muccini
Presented In:  RISE 2007, 4th International Workshop on Rapid Integration of Software Engineering techniques, November 26-27, 2007, Luxembourg, LUXEMBOURG, (Keynote Talk).

[ESEC/FSE07_T] "WISE 2007: Widened Software Engineering Track"
Organizers: Antonia Bertolino and Henry Muccini
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. Page: 469.
Year of Publication: 2007

[ESEC/FSE07_W] "EFTS 2007: the 2nd international workshop on engineering fault tolerant systems".
Organizers: Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, and Alexander Romanovsky
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

[ECBSE07] "Using Model Differencing for Architecture-level Regression Testing".
Author: Henry Muccini
Presented In:  33rd EUROMICRO CONFERENCE on Software Engineering
and Advanced Applications (SEAA), Component-Based Software Engineering Track,
Lübeck, Germany, August 27-31, 2007.

[CBSE07] "Monitoring architectural properties in dynamic component-based systems".
Author: Henry Muccini, Andrea Polini, Fabiano Ricci, and Antonia Bertolino Presented In:  The 10th International ACM SIGSOFT Symposium on
Component-Based Software Engineering, Lecture Notes in Computer Science, LNCS 4608.

[CSEE&T 2007] "Towards a European Master Programme on Global Software Engineering".
Author: Patricia Lago, Henry Muccini, Ljerka Beus-Dukic, Ivica Crnkovic,
Sasikumar Punnekkat, Hans Van Vliet
Presented In: 20th Conference on Software Engineering Education and Training (CSEE&T 2007), Dublin City University (DCU), 3-5 July, 2007.

[WICSA07_T] "Architecting Fault Tolerant Systems". (tutorial)
Author: H. Muccini, P. Pelliccione, A. Romanovsky
Presented In: Sixth Working IEEE/IFIP Conference on Software Architecture, WICSA 2007, Mumbai, India, January 2007

[WICSA07_SP] "What makes Software Architecture-based Testing Distinguishable".
Authors: H. Muccini
Keywords: Software Architecture, Testing
In:  Proc. Sixth Working IEEE/IFIP Conference on Software Architecture, WICSA 2007, Mumbai, India, January 2007

[M_TOOS06] "Scenario-based and State Machine-based Testing: An Evaluation of Automated Approaches".
Authors: Leila Naslavsky, Henry Muccini, and Debra Richardson
Keywords: Model-based Testing, Automation, Traceability
In:MTOOS 2006, First Int. Workshop on "Model-based Testing and Object Oriented Systems", co-located with OOPSLA 2006.

[VODCA06] "Architecting Fault-tolerant Component-based Systems: from requirements to testing".
Authors: A. Bucchiarone, H. Muccini, P. Pelliccione
Keywords: Testing, Fault Tolerance, Software Architecture
In: Proc. 2nd Int. workshop on Views On Designing Complex Architectures (VODCA 2006), September 2006, Bertinoro, Italy. In the Electronidc Notes in Theoretical Computer Science (ENTCS), Volume 168, February 2007
http://www.sciencedirect.com/science/issue/13109-2007-998319999-643534

[RISE06] "Architectural Verification of Black-box Component-Based Systems".
Authors: A. Bertolino, H. Muccini. A. Polini
Keywords: Testing, Monitoring, Model-Checking, CBS
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.

[QoSA06] "A Practical Architecture-centric Analysis Process".
Authors: A. Bucchiarone, H. Muccini, and P. Pelliccione
Keywords: Software Architecture, Process, Testing, Model-checking
In: Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006. In Springer Verlag Lecture Notes in Computer Science (LNCS) Series, Volume 4214/2006

[MDB/MOMPES06]  "Towards Weaving Software Architecture Models"
Authors: D. Di Ruscio, H. Muccini, P. Pelliccione, A. Pierantonio
Keywords: Model Transformation, Software Architecture, Fault Tolerance
In: Proc. MBD/MOMPES Workhop within the ECBS 2006, IEEE Computer Society Press.

[EGOS05] "SA-based Model Checking and Testing vs. traditional approaches: an experience on the NIS".
Authors: N. Di Nisio, M. Cardone, and H.Muccini
Keywords: Charmy and Testor in Industrial projects
In: ESA / ESOC Ground Operation Software System (EGOS) Workshop 2005, Darmstadt, Germany

[WICSA05] "DUALLY: Putting in Synergy UML 2.0 and ADLs"
Authors: P. Inverardi, Henry Muccini and Patrizio Pelliccione
Keywords: Model-based Analysis, Analysis integration, UML Profile
In: Int. 5th Working IEEE/IFIP Conference on Software Architecture, WICSA 2005.

[RISE05] "Rapid System Development via Product Line Architecture
Implementation"
Authors: Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio di Nisio
Keywords: Product Line, Product Line Architecture modeling, Product Line Architecture implementation.  
In: 2nd Int. Workshop RISE 2005: Rapid Integration of Software Engineering techniques. September 2005, Heraklion Crete, GREECE.
Springer Verlag Lecture Notes in Computer Science, LNCS 3943.

[ESEC/FSE05RD] "CHARMY: A Plugin-based Tool for Architectural Analysis"
Authors: P. Inverardi, Henry Muccini and Patrizio Pelliccione
Keywords: Charmy, Charmy Tool,
In: ACM Proc. European Software Engineering Conference/the Foundations of Software Engineering (ESEC/FSE), 2005, pages 111 - 114.
 
[QoSA05] "An Architecture-centric Approach for producing Quality Systems"
Authors: Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, and Henry Muccini
Keywords: Software Architecture, Quality, SA-based validation process
In: the 1st International Conference on Quality of Software Architectures (QoSA 2005). Lecture Notes in Computer Science, LNCS 3712.

[COMPSAC05] "Reasoning about Software Architecture-based Regression Testing through a Case Study"
Authors: Henry Muccini, Marcio Dias and Debra J. Richardson
Keywords: Regression Testing, SA-based Testing, SA-based Regression Testing
In: IEEE Proc. COMPSAC'05 workshop on Testing and Quality Assurance for Component-based Testing, Edinburgh, Scotland, July 25-28.

[WADS05] "Towards Software Architecture-based Regression Testing"
Authors: Henry Muccini, Marcio Dias and Debra J. Richardson
Keywords: Regression Testing, SA-based Testing, SA-based Regression Testing
In: ICSE 2005 Workshop on Architecting Dependable Systems (WADS), St. Louis, Missouri (USA), May 2005.

[CBSE05] "TeStor: Deriving Test Sequences from Model-based
Specifications"
Authors: Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, and Fabrizio
Facchini
Keywords: Component-based Testing, scenarios and state machines for testing, test sequence generation
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.

[UML&SA04] "Using UML for SA-based Modeling and Analysis"
Authors: V. Cortellessa, A. Di Marco, P. Inverardi, H. Muccini, P. Pelliccione
Keywords: UML and Software Architecture, UML for analysis, functional analysis, non functional analysis
In: Int. Workshop on Software Architecture Description & UML. Hosted at the
Seventh International Conference on UML Modeling Languages and Applications.
October 11-15, 2004, Lisbon, Portugal.

[ERCIM04] "Charmy: A Framework for Designing and Validating Architectural Specifications"
Authors: M. Caporuscio, P. Inverardi, H. Muccini and P. Pelliccione
Keywords: Software Architecture, Model Checking, SPIN, Properties validation
In: ERCIM News No. 58 (July 2004), Special Theme on Automated Software Engineering.

[ITM04] "Model-Checking plus Testing: from Software Architecture Analysis to Code Testing"
Authors: A. Bucchiarone, H. Muccini, P. Pelliccione, and P. Pierini
Keywords: Software Architecture, Model-checking, Testing, model-checking plus testing
In: 1st International Workshop on Integration of Testing Methodologies,
ITM 2004. October 1 -- 2 ,2004, Toledo, Spain.
Lecture Notes in Computer Science, LNCS, vol. 3236, pp. 351 - 365 (2004).

[DSN04] "Towards Anti-Model-based Testing".
Authors: A. Bertolino, A. Polini, P. Inverardi and H. Muccini.
Keywords: Anti-Model-based testing, component-based testing, monitoring
In: Fast Abstract in The International Conference on Dependable Systems and Networks, DSN 2004. Florence, 2004

[Tacos04] "Introducing a Reasonably Complete and Coherent Approach for Model-based Testing"
Authors: A. Bertolino, E. Marchetti and H. Muccini.
Keywords: Model-based testing, models integration, testing accuracy, testing effort
In Proc. ETAPS 2003 workshop on "Test and Analysis of Component Based Systems" (Tacos), Barcelona, Spain, March 2004. 
In Electronic Notes of Theoretical Computer Science, Volume  N. 16, pages 85-97, January 2005.

[FASE04] "Systematic Testing of Software Architectures in the C2 style"
Authors: H. Muccini, M. Dias and D.J. Richardson.
Keywords: Systematic Testing, Software Architectures, C2 style
In Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2004), ETAPS2004, Barcelona, Spain.
Lecture Notes in Computer Science, LNCS 2984.

[Tacos03] "Towards Testing Product Line Architectures"
Authors: H. Muccini, A. van der Hoek.
Keywords: Product Line Architectures, Testing, Software Architectures
In Proc. ETAPS 2003 workshop on "Test and Analysis of Component Based Systems" (Tacos), Warsaw, Poland, April 2003. 
In Electronic Notes of Theoretical Computer Science, Vol. 82, N. 6 (2003).

[FASE03] "Detecting Implied Scenarios analyzing non-local Branching Choices"
Authors: H. Muccini.
Keywords: Implied Scenarios, Non-Local Choices, MSCs, structural approach.
In: Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2003), ETAPS2003, Warsaw, Poland, April 2003.
Lecture Notes in Computer Science, LNCS 2621, Springer 2003, ISBN 3-540-00899-3.

[ACM_SAC03] "Eliciting Coordination Policies from Requirements"
Authors: H. Muccini and F. Mancinelli.
Keywords: Coordination Policies Elicitation, Coordination and Requirements, Software Process.
In: Proc. Eighteenth ACM Symposium on Applied Computing (ACM SAC 2003), track on "Coordination Models, Languages and Applications", March 2003, Melbourne, Florida, USA.

[FIDJI02] "An Experience in Architectural Extensions: Active Objects in J2EE"
Keywords: Software Architecture, Architectural Extensions, J2EE/EJB, Charmy.
Authors: P. Inverardi, F. Mancinelli, H. Muccini, and P. Pelliccione.
In Proc. Int. Workshop on Scientific Engineering of Distributed Java Applications (FIDJI'2002), November 2002, Luxembourg.
Lecture Notes in Computer Science (LNCS) 2604, pp. 87 ff.

[ICSE_W05] "An Approach for Detecting Implied Scenarios"
Keywords: Implied scenario, MSC, hMSC, synthesis
Author: Henry Muccini
In: Proc. ICSE 2002 Workshop on "Scenarios and State Machines: Models, Algorithms, and Tools", May 2002.

[ASE2001] "Automated Check of Architectural Models Consistency using SPIN".
Keywords: Software Architecture, Model Checking, SPIN, Architectural Views
Authors: P. Inverardi, H. Muccini and P. Pelliccione.
In: IEEE Proc. Automated Software Engineering conference, ASE2001, year 2001.

[Straw01] "Checking consistency between architectural models using SPIN".
Keywords: Software Architecture, Requirement, Model Checking, UML
Authors: P. Inverardi, H. Muccini and P. Pelliccione.
In: Proc. ICSE 2001 Workshop ``From Software Requirements to Architectures" (STRAW'01), May 2001.

[ICSE2001] "An Explorative Journey from Architectural Tests Definition downto Code Tests Execution".
Keywords: Software Architecture, Testing, Traceability, Coverage, Implementation
Authors: A. Bertolino, P. Inverardi and H. Muccini.
In: IEEE Proc. Int. Conf. on Software Engineering (ICSE2001), Toronto, May 2001.

[TRMCS_CaseStudy] " The Teleservices and Remote Medical Care System (TRMCS)".
Keywords: IWSSD-10 Case Study
Authors: P. Inverardi and H. Muccini.
In: IEEE Proc. of the IWSSD-10 workshop on Software Specification and Design, San Diego, California, November 2000.

[Coordination2000] "Coordination models and Software Architectures in a Unified Software Development Process".
Keywords: Coordination models, Software Architecture, UML, Process.
Authors: P. Inverardi and H. Muccini.
In: Proc. Int. Conf. Coordination 2000, Lecture Notes in Computer Science, (LNCS) 1906.

[Pdpta2000] "A Coordination Process Based on UML and a Software Architectural Description".
Keywords: Coordination models, Software Architecture, UML-based Process.
Authors: P. Inverardi and H. Muccini.
In: Proc. of the 2000 PDPTA Int. Conference, session: Coordination Models, Languages, Systems and Applications, June 2000.

[ICSE2000] "Deriving Test Plans from Architectural Descriptions".
Keywords: Software Architecture, Testing, Abstraction, Formal models.
Authors: A. Bertolino, F. Corradini, P. Inverardi and H. Muccini.
In: ACM Proc. Int. Conf. on Software Engineering (ICSE2000), pp. 220-229, Limerick (Ireland), June 2000.

[Ericsson99] "Software Architectures and Integration Testing".
Keywords: Software Architecture, Testing, Formal Specification.
Authors: A. Bertolino, P. Inverardi and H. Muccini.
In: Proc. second Ericsson Conference on Quantitative Management. Roma, 2-3 December 1999.

[ICECCS97] "An Approach to Integration Testing Based on Architectural Descriptions".
Keywords: Software Architecture, Testing.
Authors: A. Bertolino, P. Inverardi, H. Muccini and A. Rosetti.
In: IEEE Proc. Intern. Conference on Engineering of Complex Computer Systems (ICECCS-97), pp. 77-84, Como (Italy), 1997.