italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

1   |   2   |   3   |   4      »      

2008

Patrizio Pelliccione, Paola Inverardi, and Henry Muccini. CHARMY: A framework for Designing and Verifying Architectural Specifications, IEEE Transactions on Software Engineering, 02 Dec 2008. IEEE computer Society Digital Library. IEEE Computer Society, 29 December 2008. Vol. 99, No. 1. (5555). DOI: 10.1109/TSE.2008.104.

2007

Marco Autili, Paola Inverardi, and Patrizio Pelliccione. Graphical Scenarios for Specifying Temporal Properties: an Automated Approach, Automated Software Engineering (ASE) journal. DOI 10.1007/s10515-007-0012-6. Volume 14, Number 3 / September, 2007.

2006

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.

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.

2005

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, LNCS

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.

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.

2004

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 in conjunction with ETAPS 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

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

M. Caporuscio, P. Inverardi, P. Pelliccione. Formal Analysis of Architectural Patterns, First European Workshop on Software Architecture - EWSA 2004, 21-22 May 2004, St Andrews, Scotland. LNCS n.3047. pp 10-24.

M. Caporuscio, D. Di Ruscio, P. Inverardi, P. Pelliccione, and A. Pierantonio. Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications, Proc. 2nd European Workshop on Software Architecture (EWSA 2005) Languages, Styles, Models, Tools, and Applications, Ronald Morrison and Flāvio Oquendo (Eds.), Springer LNCS 3527, 2005, pp 130-145

M. Caporuscio, P. Inverardi, P. Pelliccione. Compositional Verification of Middleware-Based Software Architecture descriptions, In the International Conference on Software Engineering (ICSE 2004)

Mauro Caporuscio, Paola Inverardi, and Patrizio Pelliccione. Formal Analysis of Clients Mobility in the Siena Publish/Subscribe Middleware, Dipartimento di Informatica, Universitā di L'Aquila, Tech. Report 2004/001

2003

D. Compare, P. Inverardi, P. Pelliccione, A. Sebastiani. Integrating model-checking architectural analysis and validation in a real software life-cycle, In the 12th International Formal Methods Europe Symposium (FME 2003), LNCS, pagg. 114-132

2002

P. Inverardi, Simonetta Balsamo, Antinisca Di Marco, Marta Simeoni. Software Performance: state of the art and perspectives, , Tech. Report 2002/SAH/00

P. Inverardi, Simonetta Balsamo, Vittoria De Nitto Personč. A Review on Using Queueing Network Models with finite capacity queues for Software Architectures Performance Prediction, , Tech. Report

P. Inverardi, Mauro Caporuscio, Patrizio Pelliccione. Formal Analysis of Clients Mobility in the Siena Publish/Subscribe Middleware, , Tech. Report

P. Inverardi, Vittorio Cortellessa, Antinisca Di Marco. Comparing Performance Models from a Software Designer Perspective, , Tech. Report

P. Inverardi, Daniele Compare, Patrizio Pelliccione, Alessandra Sebastiani. A Framework for Analysis and Validation of an Architectural Model: A Real Experience, , Tech. Report

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›