Mirco Tribastone
Contact
Email:tribastone
(at) pst.ifi.lmu.de
Skype: mircotribastone
Address
Programmierung und Softwaretechnik
Institut für Informatik
Ludwig-Maximilians-Universität München
Oettingenstr. 67
Teaching
Research Interests
- Performance Evaluation
- Stochastic Process Algebras
- Development
of software tools for quantitave analysis
Publications
| [1] |
Mirco Tribastone.
Scalable Analysis of Stochastic Process Algebra Models.
PhD thesis, School of Informatics, The University of Edinburgh, 2010. [ bib ] |
| [2] |
Mirco Tribastone and Stephen Gilmore.
Rigorous Software Engineering for Service-Oriented
Systems-Results of the SENSORIA project on Software Engineering for
Service-Oriented Computing, chapter Scaling Performance Analysis using
Fluid-Flow Approximation.
Springer-Verlag, 2010.
To appear. [ bib ] |
| [3] |
Mirco Tribastone.
Relating layered queueing networks and process algebra models.
In WOSP/SIPEW '10: Proceedings of the first joint WOSP/SIPEW
international conference on Performance engineering, pages 183-194, New
York, NY, USA, 2010. ACM. [ bib ] |
| [4] |
Stephen Gilmore, Laszlo Gonczy, Nora Koch, Philip Mayer, Mirco Tribastone, and
Daniel Varro.
Non-Functional Properties in the Model-Driven Development of
Service-Oriented Systems, 2010.
To appear in Journal Software and System Modeling. [ bib ] |
| [5] |
M. Tribastone, S. Gilmore, and J. Hillston.
Scalable Differential Analysis of Process Algebra Models, 2010.
To appear in Transactions on Software Engineering. [ bib | pdf ] |
| [6] |
Mirco Tribastone.
Differential Analysis of PEPA Models.
In Eight Workshop on Process Algebra and Stochastically Timed
Activities (PASTA), Edinburgh, United Kingdom, August 2009.
Non refereed. [ bib ] |
| [7] |
M. Tribastone, A. Duguid, and S. Gilmore.
The PEPA Eclipse Plug-in.
Performance Evaluation Review, 36(4):28-33, March 2009. [ bib ] |
| [8] |
Allan Clark, Stephen Gilmore, and Mirco Tribastone.
Scalable analysis of scalable systems.
In Marsha Chechik and Martin Wirsing, editors, Fundamental
Approaches to Software Engineering (FASE), number 5503 in LNCS, York, UK,
March 2009. Springer-Verlag.
invited paper. [ bib ] |
| [9] |
Allan Clark, Stephen Gilmore, and Mirco Tribastone.
9th International School on Formal Methods for the Design of
Computer, Communication and Software Systems: Web Services, volume 5569 of
Lecture Notes in Computer Science, chapter Quantitative Analysis of Web
Services Using SRMC, pages 296-339.
Springer-Verlag, 2009. [ bib ] |
| [10] |
Allan Clark, Stephen Gilmore, and Mirco Tribastone.
Service-Level Agreements for Service-Oriented Computing.
In Andrea Corradini and Ugo Montanari, editors, Recent Trends in
Algebraic Development Techniques, 19th International Workshop, WADT 2008
Revised Selected Papers, Lecture Notes in Computer Science, pages 21-36,
Pisa, Italy, June 2008. Springer-Verlag. [ bib ] |
| [11] |
M. Tribastone and S. Gilmore.
Automatic Extraction of PEPA Performance Models from UML Activity
Diagrams Annotated with the MARTE Profile.
In Proceedings of the Seventh International Workshop on
Software and Performance (WOSP), Princeton, New Jersey, USA, June 2008.
ACM. [ bib ] |
| [12] |
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip
Mayer, and Mirco Tribastone.
Safety and response-time analysis of an automotive accident
assistance service.
In Tiziana Margaria and Bernhard Steffen, editors, ISoLA,
volume 17 of Communications in Computer and Information Science, pages
191-205. Springer, 2008. [ bib ] |
| [13] |
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan
Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László
Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti,
Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, and
Dániel Varró.
SensoriaPatterns: Augmenting Service Engineering with Formal
Analysis, Transformation and Dynamicity.
In Tiziana Margaria and Bernhard Steffen, editors, ISoLA,
volume 17 of Communications in Computer and Information Science, pages
170-190. Springer, 2008. [ bib ] |
| [14] |
Allan Clark, Adam Duguid, Stephen Gilmore, and Mirco Tribastone.
Partial Evaluation of PEPA Models for Fluid-Flow Analysis.
In Nigel Thomas and Carlos Juiz, editors, Computer Performance
Engineering, 5th European Performance Engineering Workshop, EPEW 2008,
Lecture Notes in Computer Science, pages 2-16, September, 24-25, Palma de
Mallorca, Spain 2008.
invited paper. [ bib ] |
| [15] |
Mirco Tribastone and Stephen Gilmore.
Automatic Translation of UML Sequence Diagrams into PEPA Models.
In Fifth International Conference on the Quantitative Evaluaiton
of Systems (QEST 2008), pages 205-214, Saint-Malo, France, 14-17
September 2008. IEEE Computer Society. [ bib ] |
| [16] |
Mirco Tribastone.
The PEPA Plug-in Project.
In Fourth International Conference on the Quantitative
Evaluation of Systems, pages 53-54, Edinburgh, United Kingdom, September
2007. IEEE Computer Society Press. [ bib ] |
| [17] |
Mirco Tribastone.
Bottom-Up Beats Top-Down Hands Down.
In Sixth Workshop on Process Algebra and Stochastically Timed
Activities (PASTA), Edinburgh, United Kingdom, July 2007.
Non refereed. [ bib ] |
| [18] |
M. Barbera, A. Lombardo, G. Schembra, and M. Tribastone.
An Analytical Model of a BitTorrent Peer.
In Fifteenth Euromicro Conference on Parallel, Distributed and
Network-based Processing, Naples, Italy, 2007. IEEE Computer Society
Press. [ bib ] |
| [19] |
Allan Clark, Stephen Gilmore, Jane Hillston, and Mirco Tribastone.
Formal Methods for Performance Evaluation: the 7th International
School on Formal Methods for the Design of Computer, Communication, and
Software Systems, SFM 2007, volume 4486, chapter Stochastic Process
Algebras, pages 132-179.
Springer-Verlag, Bertinoro, Italy, May-June 2007. [ bib | .pdf ] |
| [20] |
Mario Bravetti, Stephen Gilmore, Claudio Guidi, and Mirco
Tribastone.
Replicating Web Services for Scalability.
In Gilles Barthe and Cédric Fournet, editors, Trustworthy
Global Computing, Third Symposium, TGC 2007, volume 4912. Springer, 2007. [ bib ] |
| [21] |
Mirco Tribastone.
The PEPA Plug-in Project.
In Fifth Workshop on Process Algebra and Stochastically Timed
Activities (PASTA), London, United Kingdom, June 2006.
Non refereed. [ bib ] |
| [22] |
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias
Hölzl, Roberto Lucchi, Mirco Tribastone, and Gianluigi
Zavattaro.
SENSORIA Process Calculi for Service-Oriented Computing.
In Ugo Montanari, Don Sanella, and Roberto Bruni, editors,
Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy,
volume 4461 of LNCS, pages 30-50. Springer, 2006. [ bib ] |
| [23] |
Stephen Gilmore and Mirco Tribastone.
Evaluating the Scalability of a Web Service-Based Distributed
e-Learning and Course Management System.
In Third International Workshop on Web Services and Formal
Methods (WS-FM 2006), Springer-Verlag, 2006. [ bib ] |
| [24] |
M. Barbera, A. Lombardo, G. Schembra, and M. Tribastone.
A Markov Model of a Freerider in a BitTorrent P2P
Network.
In Proceedings of GLOBECOM, St. Louis, MO, 2005. IEEE
Computer Society Press. [ bib ] |
