Model-Based Software Performance Analysis

Vittorio Cortellessa - Ph.D. in Computer Science from University of Roma "Tor Vergata" (1995). Post-doc fellow at the European Space Agency (ESRIN, 1997). Post-doc at University of Roma "Tor Vergata"(1998-1999). Research Assistant Professor at CSEE, West Virginia University, and Research Contractor at DISP, University of Roma "Tor Vergata" (2000-2001). Assistant Professor at University of L'Aquila (2002-2005). Since March 2005 he holds an Associate Professorship at the same institution. He has been involved in several research projects in the areas of performance analysis of software/hardware systems, component-based software systems, fault-tolerant systems and parallel discrete event simulation, which are his main research areas. Antinisca Di Marco - Ph.D. in Computer Science from University of L'Aquila in 2005. She currently holds a Post-Doc position at the Computer Science Department of University College of London, working in the Software Engineering Group. Her main research interests are: Software Architecture, Software Performance Analysis, Integration of Functional and Non-functional software validation. Paola Inverardi - She is professor at the Computer Science Department at University of L'Aquila. Her research interests are in the field of the application of formal techniques to the development of software systems. These include software specification and verification of concurrent and distributed systems, deduction systems, and Software Architectures. Current research interests mainly concentrate in the field of software architectures specifically addressing the verification and analysis of software architecture properties, both behavioral and quantitative. Recently she is working on the design and development of mobile applications.