

<pre>
!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)

</pre>