Paola Inverardi - Selected Publications#

Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng. (TSE) 30(5): 295-310 (2004) Citations 442 (2009 ISI IF = 3,750; Rank 1/93 (Quartile in Category = Q1); Last 5-Year IF = 4,865)

Henry Muccini, Antonia Bertolino, Paola Inverardi: Using Software Architecture for Code Testing. IEEE Trans. Software Eng. (TSE) 30(3): 160-171 (2004) Citations 78 (2009 ISI IF = 3,750; Rank 1/93 (Quartile in Category = Q1); Last 5-Year IF = 4,865)

Patrizio Pelliccione, Paola Inverardi, Henry Muccini: CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Trans. Software Eng. (TSE) 35(3): 325-346 (2009) Citations 25. (2009 ISI IF = 3,750; Rank 1/93 (Quartile in Category = Q1); Last 5-Year IF = 4,865)

Simonetta Balsamo, Vittoria De Nitto Personè, Paola Inverardi, A review on queueing network models with finite capacity queues for software architectures performance prediction, Performance Evaluation, Volume 51, Issues 2-4, February 2003, Pages 269-288. Citations 54 (2009 ISI IF = 1,560; Rank 24/92 (Quartile in Category = Q2); Last 5-Year IF = 1,516)

Massimo Tivoli, Paola Inverardi: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71(3): 181-212 (2008) Citations 33 (2009 ISI IF = 1,459; Rank 33/93 (Quartile in Category = Q2); Last 5-Year IF = 1,365)

Paola Inverardi, Massimo Tivoli: Deadlock-free software architectures for COM/DCOM Applications. Journal of Systems and Software 65(3): 173-183 (2003) Citations 64 (2009 ISI IF = 1,340; Rank 29/92 (Quartile in Category = Q2); Last 5-Year IF = 1,290)

Marco Autili, Paola Inverardi, Patrizio Pelliccione: Graphical scenarios for specifying temporal properties: an automated approach. Autom. Softw. Eng. 14(3): 293-340 (2007) Citations 30 (2009 ISI IF = 1,267; Rank 43/93 (Quartile in Category = Q2); Last 5-Year IF = -)

Marco Autili, Paolo Di Benedetto and Paola Inverardi. Hybrid Approach for Resource-based Comparison of Adaptable Java Applications, to appear in Science of Computer Programming (SCP) – 2012. (2009 ISI IF = 1,459; Rank 33/93 (Quartile in Category = Q2); Last 5-Year IF = 1,365)

Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150 Citations 41 (Acceptance rate 15%)
Mauro Caporuscio, Paola Inverardi, and Patrizio Pelliccione. 2004. Compositional Verification of Middleware-Based Software Architecture Descriptions. In Proceedings of the 26th International Conference on Software Engineering (ICSE '04). IEEE Computer Society, p. 221-230. Citations 35 (Acceptance rate 13%)

Research Monographs

Paola Inverardi, Antinisca Di Marco and Vittorio Cortellessa, a monograph titled “Model-Based Software Performance Analysis”. The monograph is published by Springer, 2011.

For more info look at http://www.di.univaq.it/inverard

H-index 30 according to Google Scholar (Summer 2012)