Laboratory for Foundations of Computer Science
I graduated in Computer Engineering at the
Universita' di Catania, Italy in 2005 with
a thesis on Markovian modelling of peer-to-peer networks. In 2006 I moved to
Edinburgh to pursue my Ph.D., supervised by
My research is funded by the EU through the IST
Briefly, this project's goal is to bridge the gap between theoretical aspects
and software engineering of service-oriented computing. My involvement in
the project is to bring quantitative methods -
in particular stochastic process algebra - to the
software engineering community. This research is heavily influenced by
the use of the stochastic process algebra
Much of my research is being devoted to the development of tools to to make formal methods accessible to software engineers. I am one
of the lead engineers of the PEPA Plug-in Project,
a tool that supports PEPA within the Eclipse framework.
School of Informatics
The University of Edinburgh
Part of the tool's functionality is also available as an extension to the
Sensoria CASE tool,
an umbrella software for the contributions of the Sensoria partners.
I am investigating the use of PEPA for automatic extraction performance models from UML diagrams. More information on the tools that support this analysis is here.
Together with Allan Clark and
Stephen Gilmore, I am
also working on SRMC - the Sensoria Reference Markovian
Calculus. Find out
how to use the language to carry out scalable analysis of scalable systems.
The PEPA Eclipse Plug-in.
Performance Evaluation Review, 2009, vol. 36, no. 4.
Quantitative Analysis of Web Services Using SRMC.
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services. Springer-Verlag, LNCS 5569.
Scalable Analysis of Scalable Systems.
Fundamental Approaches to Software Engineering (FASE).
Springer-Verlag, LNCS 5503.
Service-Level Agreements for Service-Oriented Computing.
Proceedings of the 19th International Workshop on Algebraic Development Techniques. WADT 2008. Pisa, Italy.
Safety and Response-Time Analysis of an Automotive Accident Assistance Service.
ISoLa 2008, CCIS 17, pp. 191-205, 2008.
Partial Evaluation of PEPA Models for Fluid-Flow Analysis.
Proceedings of 5th European Performance Engineering Workshop, EPEW 2008.
Palma de Mallorca, Spain.
Automatic Translation of UML Sequence Diagrams into PEPA Models.
Proceedings of the Fifth Internation Conference on Quantitative
Evaluation of Systems (QEST'08). St. Malo, France.
Automatic Extraction of PEPA Performance Models from
UML Activity Diagrams Annotated with the MARTE Profile.
Proceedings of Workshop on Software and Performance (WOSP'08).
Princeton, NJ, USA.
Replicating Web Services for scalability.
Trustworthy Global Computing 2007, Sophia-Antipolis, France.
The PEPA Plug-in Project.
Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST). September, 2007.
Stochastic Process Algebra.
Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007. Bertinoro, Italy. May-June, 2007.
An Analytical Model of a BitTorrent P2P Peer.
Fifteenth Euromicro Conference on Parallel, Distributed and Network-based Processing. IEEE Computer Society Press. February, 2007.
Evaluating the scalability of a web service-based distributed e-learning and course management system.
Third International Workshop on Web Services and Formal Methods. 2006.
SENSORIA Process Calculi for Service-Oriented Computing.
Second Symposium on Trustworthy Global Computing (TGC 2006),
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System.
Third International Workshop on Web Services and Formal Methods (WS-FM 2006). Springer-Verlag.
A Markov Model of a Freerider in a BitTorrent P2P Network P2P Network.
IEEE Globecom 2005. Saint Louis, MO, USA.
The PEPA Plug-in Project.
PASTA 2006, Imperial College London.
Bottom-up Beats Top-Down Hands Down.
PASTA 2007, Imperial College London.