@PHDTHESIS{mirco:thesis,
AUTHOR = {Mirco Tribastone},
DATE-ADDED = {2010-04-04 16:02:20 +0200},
DATE-MODIFIED = {2010-04-04 16:03:32 +0200},
SCHOOL = {School of Informatics, The University of Edinburgh},
TITLE = {{Scalable Analysis of Stochastic Process Algebra Models}},
YEAR = {2010}
}
@INBOOK{sensoria:book,
AUTHOR = {Mirco Tribastone and Stephen Gilmore},
CHAPTER = {{Scaling Performance Analysis using Fluid-Flow Approximation}},
DATE-ADDED = {2010-04-04 15:59:40 +0200},
DATE-MODIFIED = {2010-04-04 16:01:39 +0200},
NOTE = {To appear},
PUBLISHER = {Springer-Verlag},
TITLE = {{Rigorous Software Engineering for Service-Oriented Systems---Results of the SENSORIA project on Software Engineering for Service-Oriented Computing}},
YEAR = {2010}
}
@INPROCEEDINGS{pepalqn,
ADDRESS = {New York, NY, USA},
AUTHOR = {Tribastone, Mirco},
BOOKTITLE = {WOSP/SIPEW '10: Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering},
DATE-ADDED = {2010-02-09 17:34:50 +0000},
DATE-MODIFIED = {2010-02-09 17:35:08 +0000},
DOI = {http://doi.acm.org/10.1145/1712605.1712634},
ISBN = {978-1-60558-563-5},
LOCATION = {San Jose, California, USA},
PAGES = {183--194},
PUBLISHER = {ACM},
TITLE = {Relating layered queueing networks and process algebra models},
YEAR = {2010},
BDSK-URL-1 = {http://doi.acm.org/10.1145/1712605.1712634}
}
@INPROCEEDINGS{srmc,
ADDRESS = {Pisa, Italy},
AUTHOR = {Allan Clark and Stephen Gilmore and Mirco Tribastone},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008 Revised Selected Papers},
DATE-ADDED = {2009-12-10 11:45:15 +0000},
DATE-MODIFIED = {2010-04-04 16:25:12 +0200},
EDITOR = {Andrea Corradini and Ugo Montanari},
EE = {http://dx.doi.org/10.1007/978-3-642-03429-9_3},
MONTH = {June},
PAGES = {21--36},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{Service-Level Agreements for Service-Oriented Computing}},
YEAR = {2008}
}
@MISC{cj:fluidflow,
AUTHOR = {Jane Hillston and Mirco Tribastone and Stephen Gilmore},
DATE-ADDED = {2009-12-03 11:23:25 +0000},
DATE-MODIFIED = {2009-12-03 11:24:23 +0000},
HOWPUBLISHED = {to appear in \emph{Computer Journal}},
TITLE = {Stochastic Process Algebras: From Individuals to Populations}
}
@INPROCEEDINGS{pasta2009,
ADDRESS = {Edinburgh, United Kingdom},
AUTHOR = {Mirco Tribastone},
BOOKTITLE = {{Eight Workshop on Process Algebra and Stochastically Timed Activities (PASTA)}},
DATE-ADDED = {2009-09-22 16:59:50 +0100},
DATE-MODIFIED = {2009-09-22 17:04:01 +0100},
MONTH = {August},
NOTE = {Non refereed},
TITLE = {{Differential Analysis of PEPA Models}},
YEAR = {2009}
}
@ARTICLE{pepaeclipseplugin,
AUTHOR = {M. Tribastone and A. Duguid and S. Gilmore},
DATE-ADDED = {2009-04-17 14:12:15 +0100},
DATE-MODIFIED = {2009-04-17 14:14:37 +0100},
JOURNAL = {Performance Evaluation Review},
MONTH = {March},
NUMBER = {4},
PAGES = {28--33},
TITLE = {The {PEPA} {Eclipse} {Plug-in}},
VOLUME = {36},
YEAR = {2009}
}
@INPROCEEDINGS{DBLP:conf/isola/Argent-KatwalaCFGMT08,
AUTHOR = {Ashok Argent-Katwala and Allan Clark and Howard Foster and Stephen Gilmore and Philip Mayer and Mirco Tribastone},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {ISoLA},
DATE-ADDED = {2009-04-12 16:20:23 +0100},
DATE-MODIFIED = {2009-04-17 12:44:48 +0100},
EDITOR = {Tiziana Margaria and Bernhard Steffen},
EE = {http://dx.doi.org/10.1007/978-3-540-88479-8_14},
PAGES = {191-205},
PUBLISHER = {Springer },
SERIES = {Communications in Computer and Information Science },
TITLE = {Safety and Response-Time Analysis of an Automotive Accident Assistance Service},
VOLUME = {17 },
YEAR = {2008}
}
@INPROCEEDINGS{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
AUTHOR = {Martin Wirsing and Matthias M. H{\"o}lzl and Lucia Acciai and Federico Banti and Allan Clark and Alessandro Fantechi and Stephen Gilmore and Stefania Gnesi and L{\'a}szl{\'o} G{\"o}nczy and Nora Koch and Alessandro Lapadula and Philip Mayer and Franco Mazzanti and Rosario Pugliese and Andreas Schroeder and Francesco Tiezzi and Mirco Tribastone and D{\'a}niel Varr{\'o}},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {ISoLA},
DATE-ADDED = {2009-04-12 16:19:34 +0100},
DATE-MODIFIED = {2009-04-17 12:45:15 +0100},
EDITOR = {Tiziana Margaria and Bernhard Steffen},
EE = {http://dx.doi.org/10.1007/978-3-540-88479-8_13},
PAGES = {170-190},
PUBLISHER = {Springer },
SERIES = {Communications in Computer and Information Science },
TITLE = {{SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity}},
VOLUME = {17 },
YEAR = {2008}
}
@INPROCEEDINGS{DBLP:conf/epew/ClarkDGT08,
ADDRESS = {September, 24-25},
AUTHOR = {Allan Clark and Adam Duguid and Stephen Gilmore and Mirco Tribastone},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {Computer Performance Engineering, 5th European Performance Engineering Workshop, EPEW 2008},
DATE-ADDED = {2009-04-12 16:14:08 +0100},
DATE-MODIFIED = {2010-04-04 16:27:34 +0200},
EDITOR = {Nigel Thomas and Carlos Juiz},
EE = {http://dx.doi.org/10.1007/978-3-540-87412-6_2},
MONTH = {Palma de Mallorca, Spain},
NOTE = {\emph{invited paper}},
PAGES = {2-16},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{Partial Evaluation of PEPA Models for Fluid-Flow Analysis}},
YEAR = {2008}
}
@MISC{sosym,
AUTHOR = {Stephen Gilmore and Laszlo Gonczy and Nora Koch and Philip Mayer and Mirco Tribastone and Daniel Varro},
DATE-ADDED = {2009-04-12 15:54:15 +0100},
DATE-MODIFIED = {2010-04-04 16:19:12 +0200},
NOTE = {To appear in \emph{Journal Software and System Modeling}},
TITLE = {{Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems}},
YEAR = {2010}
}
@MISC{tse,
AUTHOR = {Mirco Tribastone},
DATE-ADDED = {2009-04-12 15:52:40 +0100},
DATE-MODIFIED = {2009-04-12 15:58:17 +0100},
TITLE = {{Performance Evaluation of Structured Fluid Models}}
}
@INBOOK{bertinoro2009,
AUTHOR = {Allan Clark and Stephen Gilmore and Mirco Tribastone },
CHAPTER = {Quantitative Analysis of Web Services Using SRMC},
DATE-ADDED = {2009-04-12 15:22:33 +0100},
DATE-MODIFIED = {2009-04-12 15:29:56 +0100},
EDITOR = {Marco Bernardo and Luca Padovani and Gianluigi Zavattaro},
PAGES = {296--339},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
TITLE = {9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services},
VOLUME = {5569},
YEAR = {2009}
}
@INPROCEEDINGS{srmc-fase09,
ADDRESS = {York, UK},
AUTHOR = {Allan Clark and Stephen Gilmore and Mirco Tribastone},
BOOKTITLE = {Fundamental Approaches to Software Engineering (FASE)},
DATE-ADDED = {2009-03-17 18:24:13 +0000},
DATE-MODIFIED = {2009-04-17 14:19:45 +0100},
EDITOR = {Marsha Chechik and Martin Wirsing},
MONTH = {March},
NOTE = {\emph{invited paper}},
NUMBER = {5503},
PUBLISHER = {Springer-Verlag},
SERIES = {LNCS},
TITLE = {Scalable analysis of scalable systems},
YEAR = {2009}
}
@MISC{fluidflow09,
AUTHOR = {M. Tribastone and S. Gilmore and J. Hillston },
DATE-ADDED = {2009-03-17 16:23:07 +0000},
DATE-MODIFIED = {2010-04-04 16:18:53 +0200},
NOTE = {To appear in \emph{Transactions on Software Engineering}},
TITLE = {{Scalable Differential Analysis of Process Algebra Models}},
YEAR = {2010}
}
@INPROCEEDINGS{umlsd2pepa,
ADDRESS = {Saint-Malo, France},
AUTHOR = {Mirco Tribastone and Stephen Gilmore},
BOOKTITLE = {Fifth International Conference on the Quantitative Evaluaiton of Systems ({QEST} 2008)},
DATE-ADDED = {2008-05-19 15:30:59 +0100},
DATE-MODIFIED = {2009-04-12 15:45:37 +0100},
MONTH = {14--17 September},
PAGES = {205--214},
PUBLISHER = {{IEEE Computer Society}},
TITLE = {{Automatic Translation of UML Sequence Diagrams into PEPA Models}},
YEAR = {2008}
}
@INPROCEEDINGS{pasta2006,
ADDRESS = {London, United Kingdom},
AUTHOR = {Mirco Tribastone},
BOOKTITLE = {{Fifth Workshop on Process Algebra and Stochastically Timed Activities (PASTA)}},
DATE-ADDED = {2008-05-18 18:10:24 +0100},
DATE-MODIFIED = {2009-04-17 14:27:18 +0100},
MONTH = {June},
NOTE = {Non refereed},
TITLE = {{The PEPA Plug-in Project}},
YEAR = {2006}
}
@INPROCEEDINGS{pasta2007,
ADDRESS = {Edinburgh, United Kingdom},
AUTHOR = {Mirco Tribastone},
BOOKTITLE = {{Sixth Workshop on Process Algebra and Stochastically Timed Activities (PASTA)}},
DATE-ADDED = {2008-05-18 17:54:14 +0100},
DATE-MODIFIED = {2009-04-17 14:27:06 +0100},
MONTH = {July},
NOTE = {Non refereed},
TITLE = {{Bottom-Up Beats Top-Down Hands Down}},
YEAR = {2007}
}
@INPROCEEDINGS{umlad2pepa,
ADDRESS = {Princeton, New Jersey, {USA}},
AUTHOR = {M. Tribastone and S. Gilmore},
BOOKTITLE = {{Proceedings of the Seventh International Workshop on Software and Performance (WOSP)}},
DATE-ADDED = {2008-05-18 17:51:59 +0100},
DATE-MODIFIED = {2008-08-22 17:47:36 +0100},
MONTH = {June},
PUBLISHER = {ACM},
TITLE = {{Automatic Extraction of {PEPA} Performance Models from UML Activity Diagrams Annotated with the MARTE Profile}},
YEAR = {2008}
}
@INPROCEEDINGS{pdp07bt,
ADDRESS = {Naples, Italy},
AUTHOR = {M. Barbera and A. Lombardo and G. Schembra and M. Tribastone},
BOOKTITLE = {{Fifteenth Euromicro Conference on Parallel, Distributed and Network-based Processing}},
DATE-ADDED = {2007-10-14 21:00:04 +0100},
DATE-MODIFIED = {2009-04-12 09:25:43 +0100},
PUBLISHER = {{IEEE} {Computer} {Society} {Press}},
TITLE = {{An} {A}nalytical {M}odel of a {B}it{T}orrent {P}eer},
YEAR = 2007
}
@INPROCEEDINGS{tgc2006,
AUTHOR = {{Martin} {Wirsing} and {Rocco} {De Nicola} and {Stephen} {Gilmore} and {Matthias} {H\"olzl} and {Roberto} {Lucchi} and {Mirco} {Tribastone} and {Gianluigi} {Zavattaro}},
BOOKTITLE = {Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy},
DATE-ADDED = {2007-10-14 20:56:22 +0100},
DATE-MODIFIED = {2009-04-17 14:26:31 +0100},
EDITOR = {Ugo Montanari and Don Sanella and Roberto Bruni },
PAGES = {30--50},
PUBLISHER = {Springer},
SERIES = {LNCS},
TITLE = {{SENSORIA Process Calculi for Service-Oriented Computing}},
VOLUME = {4461},
YEAR = {2006}
}
@INPROCEEDINGS{globecombt,
ADDRESS = {St. Louis, MO},
AUTHOR = {M. Barbera and A. Lombardo and G. Schembra and M. Tribastone},
BOOKTITLE = {{Proceedings of GLOBECOM}},
DATE-ADDED = {2007-10-14 20:55:49 +0100},
DATE-MODIFIED = {2009-04-17 13:17:26 +0100},
PUBLISHER = {{IEEE} {Computer} {Society} {Press}},
TITLE = {{A} {M}arkov {M}odel of a {F}reerider in a {B}it{T}orrent {P2P} {N}etwork},
YEAR = 2005
}
@INBOOK{stochasticprocessalgebras,
ADDRESS = {Bertinoro, Italy},
AUTHOR = {Allan Clark and Stephen Gilmore and Jane Hillston and Mirco Tribastone},
CHAPTER = {Stochastic Process Algebras},
DATE-ADDED = {2007-10-14 20:53:20 +0100},
DATE-MODIFIED = {2007-10-14 20:53:20 +0100},
MONTH = {May--June},
PAGES = {132--179},
PDF = {http://www.dcs.ed.ac.uk/pepa/stochasticprocessalgebras.pdf},
PUBLISHER = {Springer-Verlag},
TITLE = {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,
YEAR = 2007
}
@INPROCEEDINGS{UNIBO:UEDIN:sock:pepa:2007,
AUTHOR = {{Mario} {Bravetti} and {Stephen} {Gilmore} and {Claudio} {Guidi} and {Mirco} {Tribastone}},
BOOKTITLE = {Trustworthy Global Computing, Third Symposium, TGC 2007},
DATE-ADDED = {2007-10-14 20:52:56 +0100},
DATE-MODIFIED = {2010-04-04 16:19:45 +0200},
EDITOR = {Gilles Barthe and C{\'e}dric Fournet},
MAIN = {Y},
PARTNER = {UEDIN, UNIBO},
PUBLISHER = {Springer},
TASK = {T7.2},
TITLE = {{Replicating Web Services for Scalability}},
VOLUME = {4912},
YEAR = {2007},
BDSK-URL-1 = {http://homepages.inf.ed.ac.uk/stg/publications/replication.pdf}
}
@INPROCEEDINGS{Tri07,
ABSTRACT = {We present a GUI-based tool supporting the stochastic process algebra PEPA with
modules for performance evaluation through Markovian steady-state analysis,
fluid flow analysis, and stochastic simulation.},
ADDRESS = {Edinburgh, United Kingdom},
AUTHOR = {{Mirco} {Tribastone}},
BOOKTITLE = {Fourth International Conference on the Quantitative Evaluation of Systems},
DATE-ADDED = {2007-10-14 20:52:21 +0100},
DATE-MODIFIED = {2010-04-04 16:19:53 +0200},
INVITED = {N},
MONTH = {September},
PAGES = {53--54},
PARTNER = {UEDIN},
PUBLISHER = {IEEE Computer Society Press},
SCHOOL = {Laboratory for Foundations of Computer Science},
STATUS = {public},
TASK = {T7.2},
TITLE = {{The PEPA Plug-in Project}},
YEAR = {2007}
}
@INPROCEEDINGS{gilmore:tribastone:wsfm:2006,
AUTHOR = {{Stephen} {Gilmore} and {Mirco} {Tribastone}},
BOOKTITLE = {Third International Workshop on Web Services and Formal Methods (WS-FM 2006)},
DATE-ADDED = {2007-10-14 20:51:17 +0100},
DATE-MODIFIED = {2009-04-12 09:24:26 +0100},
MAIN = {Y},
PARTNER = {UEDIN},
SERIES = {Springer-Verlag},
STATUS = {public},
TASK = {T7.2},
TITLE = {{Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System}},
YEAR = {2006},
BDSK-URL-1 = {http://rap.dsi.unifi.it/sensoria/GilmoreTribastoneWSFM2006.pdf}
}
