dblp.uni-trier.dewww.uni-trier.de

Mirco Tribastone

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
12EEAllan Clark, Stephen Gilmore, Mirco Tribastone: Scalable Analysis of Scalable Systems. FASE 2009: 1-17
2008
11EEAllan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone: Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW 2008: 2-16
10EEMartin 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
9EEAshok 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
8EEMirco Tribastone, Stephen Gilmore: Automatic Translation of UML Sequence Diagrams into PEPA Models. QEST 2008: 205-214
7EEMirco Tribastone, Stephen Gilmore: Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. WOSP 2008: 67-78
2007
6EEMario Barbera, Alfio Lombardo, Giovanni Schembra, Mirco Tribastone: An Analytical Model of a BitTorrent Peer. PDP 2007: 482-489
5EEMirco Tribastone: The PEPA Plug-in Project. QEST 2007: 53-54
4EEAllan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
3EEMario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
2006
2EEMartin 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
1EEStephen 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)