Daniela Colangelo, Daniele Compare, Paola Inverardi, and Patrizio Pelliccione “Reducing Software Architecture Models Complexity: a Slicing and Abstraction Approach”. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006). September 26-29 2006, Paris, France. LNCS. 4229. pp. 243–258, 2006.(Pdf)

Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, and Massimo Tivoli “Towards an architectural approach for the dynamic and automatic composition of software components”. The Role of Software Architecture for Testing and Analysis (ROSATEA’06), July 17, 2006, Portland, Maine USA. (Pdf)

A. Bucchiarone, H. Muccini, and Patrizio Pelliccione, “A Practical Architecture-centric Analysis Process”. Second International Conference on the Quality of Software Architectures (QoSA 2006). June 27-29, 2006 Mälardalen University, Västerås near Stockholm, Sweden (Pdf)

Marco Autili, Paola Inverardi, and Patrizio Pelliccione, “A Scenario Based Notation for Specifying Temporal Properties”. 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06). Shanghai, China, May 27, 2006. (Pdf)

Marco Autili, and Patrizio Pelliccione, “Towards a Graphical Tool for Refining User to System Requirements”. 5th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT06), April 1 - 2 2006, Vienna, Austria, to appear in ENTCS. (Pdf)

D. Di Ruscio, H. Muccini, P. Pelliccione, and A. Pierantonio, “Towards Weaving Software Architecture Models”. MBD-MOMPES 2006 Workshop to be held at ECBS 2006 in Potsdam, Germany, March 27-30, 2006. To appear on IEEE Computer Science Press. (Pdf)


:.Year 2005:

P. Inverardi, H. Muccini, P. Pelliccione, “DUALLY: Putting in Synergy UML 2.0 and ADLs”. 5th IEEE/IFIP Working Conference on Software Architecture (WICSA 2005). Pittsburgh, PA, 6-9 November 2005. (Pdf)

P. Inverardi, H. Muccini, P. Pelliccione, “ CHARMY: An Extensible Tool for Architectural Analysis”. ESEC-FSE'05, The fifth joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering. Research Tool Demos. Lisbon, Portugal, September 5-9, 2005. (Pdf).

Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio, “Towards a Plugin-based Implementation of Product Line Architectures”. 2nd International Workshop RISE 2005. Rapid Integration of Software Engineering techniques 8-9 September, 2005. Heraklion Crete, GREECE. (Pdf).

P. Pelliccione, “Charmy: A framework for Software Architecture Specification and Analysis”. PhD Thesis, Computer Science Department, University of L'Aquila. June 2005. (Pdf).

M. Caporuscio, D. Di Ruscio, P. Inverardi, P. Pelliccione, and A. Pierantonio, " Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications". Second European Workshop on Software Architecture - EWSA 2005, June 13th and 14th, 2005. Pisa Italy. LNCS n. 3527. pp. 130--146. (Pdf)

P. Pelliccione, H. Muccini, A. Bucchiarone, and F. Facchini, " TeStor: Deriving Test Sequences from Model-based Specifications". 8th International SIGSOFT Symposium on Component-based Software Engineering. May 2005, St. Louis, Missouri, USA. LNCS n. 3489. pp. 267-282. (Pdf, Extended Version Pdf)


:.Year 2004:

V. Cortellessa, A. Di Marco, P. Inverardi, H. Muccini, P. Pelliccione, " An Experience Report on Using UML for SA-based Modeling and Analysis". 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 (Pdf)

M. Caporuscio, H. Muccini, P. Inverardi, P. Pelliccione, " Charmy: A Framework for Designing and Validating Architectural Specifications". ERCIM NEWS (European Research Consortium for Informatics and Mathematics). Special: Automated Software Engineering. Number 58, July 2004. (Pdf)

A. Bucchiarone, H. Muccini, P. Pelliccione, P. Pierini, " Model-Checking plus Testing: from Software Architecture Analysis to Code Testing". 1st International Workshop on Integration of Testing Methodologies (ITM 2004). October 1 -- 2 ,2004, Toledo, Spain. (Pdf)

M. Caporuscio, P. Inverardi, P. Pelliccione, "Compositional Verification of Middleware-Based Software Architecture descriptions". In the International Conference on Software Engineering (ICSE 2004). May 23-28, EICC, Scotland, UK. (Pdf)

V. Cortellessa, A. Di Marco, P. Inverardi, F. Mancinelli, P. Pelliccione, " A framework for integration of functional and non-functional analysis of software architectures". International Workshop on Test and Analysis of Component Based Systems (TACoS), Barcelona, march 27 - 28, 2004 in conjunction with ETAPS 2004. (Pdf)

:.Year 2003:

P. Inverardi, F. Mancinelli, H. Muccini, P. Pelliccione, "An Experience in Architectural Extension: Active Object in J2EE". In the International Workshop on scientific engineering of Distributed Java applications (FIDJI'2002), year 2002. LNCS n.2604, February 2003, pp 87-98. (Pdf)

:.Year 2001

P. Inverardi, H. Muccini, P. Pelliccione, "Automated Check of Architectural Models Consistency using Spin". In the Automated Software Engineering Conference Proceedings (ASE 2001). San Diego, California, November 2001. (Ps, Extended Version Ps)

:.Technical reports:

P. Pelliccione, P. Inverardi, H. Muccini, “ Charmy: A framework for Designing and Validating Architectural Specifications”. Tech. Report April 2005. Submitted for publication. (Pdf).

Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio di Nisio, " Towards a Plugin-based Implementation of Product Line Architectures". Tech Report April 2005. Submitted for publication.

M. Autili, P. Inverardi, P. Pelliccione, " Graphical Scenarios for Specifying Temporal Properties: an Automatic Approach". Tech Report April 2005. Submitted for publication.

A. Bucchiarone, H. Muccini, P. Pelliccione, P. Pierini, " An Architecture-centric Approach for Model-checking based Testing in Industrial Contexts". Tech. Report April 2005. Submitted for publication.

H. Muccini, P. Pelliccione, and M. Stoduto, “ Charmy: a plugin framework for architectural analysis”. Tech. Report N. TRCS 016/2004, Dipartimento di Informatica, Università degli Studi di L’Aquila, April 2004. (Pdf).

V. Cortellessa, A. Di Marco, P. Inverardi, F. Mancinelli, P. Pelliccione, " Tool-One XML Integration Core Schemas ”. Tech. Report January 2004. (Pdf).

M. Caporuscio, P. Inverardi, P. Pelliccione, "Formal Analysis of Clients Mobility in the Siena Publish/Subscribe Middleware". Tech. Report October 2002. (Pdf)