Mirco Tribastone

	2009
14		Allan Clark, Stephen Gilmore, Mirco Tribastone: Scalable Analysis of Scalable Systems. FASE 2009: 1-17
13		Allan Clark, Stephen Gilmore, Mirco Tribastone: Quantitative Analysis of Web Services Using SRMC. SFM 2009: 296-339
	2008
12		Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone: Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW 2008: 2-16
11		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, Dániel Varró: SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
10		Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone: Safety and Response-Time Analysis of an Automotive Accident Assistance Service. ISoLA 2008: 191-205
9		Mirco Tribastone, Stephen Gilmore: Automatic Translation of UML Sequence Diagrams into PEPA Models. QEST 2008: 205-214
8		Allan Clark, Stephen Gilmore, Mirco Tribastone: Service-Level Agreements for Service-Oriented Computing. WADT 2008: 21-36
7		Mirco Tribastone, Stephen Gilmore: Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. WOSP 2008: 67-78
	2007
6		Mario Barbera, Alfio Lombardo, Giovanni Schembra, Mirco Tribastone: An Analytical Model of a BitTorrent Peer. PDP 2007: 482-489
5		Mirco Tribastone: The PEPA Plug-in Project. QEST 2007: 53-54
4		Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
3		Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
	2006
2		Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro: SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50
1		Stephen T. Gilmore, Mirco Tribastone: Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. WS-FM 2006: 214-226

Coauthor Index

1	Lucia Acciai	[11]
2	Ashok Argent-Katwala	[10]
3	Federico Banti	[11]
4	Mario Barbera	[6]
5	Mario Bravetti	[3]
6	Allan Clark	[4] [8] [10] [11] [12] [13] [14]
7	Adam Duguid	[12]
8	Alessandro Fantechi	[11]
9	Howard Foster	[10]
10	Stephen Gilmore (Stephen T. Gilmore)	[1] [2] [3] [4] [7] [8] [9] [10] [11] [12] [13] [14]
11	Stefania Gnesi	[11]
12	László Gönczy	[11]
13	Claudio Guidi	[3]
14	Jane Hillston	[4]
15	Matthias M. Hölzl	[2] [11]
16	Nora Koch	[11]
17	Alessandro Lapadula	[11]
18	Alfio Lombardo	[6]
19	Roberto Lucchi	[2]
20	Philip Mayer	[10] [11]
21	Franco Mazzanti	[11]
22	Rocco De Nicola	[2]
23	Rosario Pugliese	[11]
24	Giovanni Schembra	[6]
25	Andreas Schroeder	[11]
26	Francesco Tiezzi	[11]
27	Dániel Varró	[11]
28	Martin Wirsing	[2] [11]
29	Gianluigi Zavattaro	[2]

Colors in the list of coauthors