Mirco Tribastone

2009
12	EE	Allan Clark, Stephen Gilmore, Mirco Tribastone: Scalable Analysis of Scalable Systems. FASE 2009: 1-17
2008
11	EE	Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone: Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW 2008: 2-16
10	EE	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
9	EE	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
8	EE	Mirco Tribastone, Stephen Gilmore: Automatic Translation of UML Sequence Diagrams into PEPA Models. QEST 2008: 205-214
7	EE	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	EE	Mario Barbera, Alfio Lombardo, Giovanni Schembra, Mirco Tribastone: An Analytical Model of a BitTorrent Peer. PDP 2007: 482-489
5	EE	Mirco Tribastone: The PEPA Plug-in Project. QEST 2007: 53-54
4	EE	Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
3	EE	Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
2006
2	EE	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	EE	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	[10]
2	Ashok Argent-Katwala	[9]
3	Federico Banti	[10]
4	Mario Barbera	[6]
5	Mario Bravetti	[3]
6	Allan Clark	[4] [9] [10] [11] [12]
7	Adam Duguid	[11]
8	Alessandro Fantechi	[10]
9	Howard Foster	[9]
10	Stephen Gilmore (Stephen T. Gilmore)	[1] [2] [3] [4] [7] [8] [9] [10] [11] [12]
11	Stefania Gnesi	[10]
12	László Gönczy	[10]
13	Claudio Guidi	[3]
14	Jane Hillston	[4]
15	Matthias M. Hölzl	[2] [10]
16	Nora Koch	[10]
17	Alessandro Lapadula	[10]
18	Alfio Lombardo	[6]
19	Roberto Lucchi	[2]
20	Philip Mayer	[9] [10]
21	Franco Mazzanti	[10]
22	Rocco De Nicola	[2]
23	Rosario Pugliese	[10]
24	Giovanni Schembra	[6]
25	Andreas Schroeder	[10]
26	Francesco Tiezzi	[10]
27	Dániel Varró	[10]
28	Martin Wirsing	[2] [10]
29	Gianluigi Zavattaro	[2]

Colors in the list of coauthors