BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
2 × France
4 × Italy
Collaborated with:
S.Gilmore M.Tschaikowski A.Clark M.Kowal I.Schaefer A.Vandin E.Incerto C.Trubiani M.Barbera A.Lombardo G.Schembra J.Hillston L.Cardelli
Talks about:
perform (4) analysi (4) softwar (3) process (3) algebra (3) system (3) model (3) differenti (2) variant (2) scalabl (2)

Person: Mirco Tribastone

DBLP DBLP: Tribastone:Mirco

Facilitated 1 volumes:

QAPL 2015Ed

Contributed to:

FASE 20142014
IFM 20142014
QAPL 20142014
SPLC 20142014
FASE 20092009
SFM 20092009
PDP 20072007
SFM 20072007
ASE 20152015
ASE 20172017
POPL 20162016

Wrote 11 papers:

FASE-2014-KowalST #analysis #performance
Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.
IFM-2014-GilmoreTV #analysis #evaluation
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems (SG, MT, AV), pp. 71–86.
QAPL-2014-TschaikowskiT #algebra #biology #difference #performance #process
Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
SPLC-2014-Tribastone #algebra #behaviour #process
Behavioral relations in a process algebra for variants (MT), pp. 82–91.
FASE-2009-ClarkGT #analysis #scalability
Scalable Analysis of Scalable Systems (AC, SG, MT), pp. 1–17.
SFM-2009-ClarkGT #analysis #using #web #web service
Quantitative Analysis of Web Services Using SRMC (AC, SG, MT), pp. 296–339.
PDP-2007-BarberaLST
An Analytical Model of a BitTorrent Peer (MB, AL, GS, MT), pp. 482–489.
SFM-2007-ClarkGHT #algebra #probability #process
Stochastic Process Algebras (AC, SG, JH, MT), pp. 132–179.
ASE-2015-KowalTTS #modelling #parametricity #performance #scalability #variability
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T) (MK, MT, MT, IS), pp. 407–417.
ASE-2017-IncertoTT #adaptation #performance #predict #self
Software performance self-adaptation through efficient model predictive control (EI, MT, CT), pp. 485–496.
POPL-2016-CardelliTTV #difference #symbolic computation
Symbolic computation of differential equivalences (LC, MT, MT, AV), pp. 137–150.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.