TRIBASTONE, MIRCO
TRIBASTONE, MIRCO
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment
2017-01-01 Tribastone, M; Tschaikowski, M
A Fluid Model for Layered Queueing Networks
2013-01-01 Tribastone, M
A large-scale assessment of exact lumping of quantitative models in the BioModels repository
2021-01-01 Perez-Verona, I. C.; Tribastone, M.; Vandin, A.
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
2019-01-01 Perez-Verona Isabel, Cristina.; Tribastone, M.; Vandin, A.
A Markov model of a freerider in a BitTorrent P2P network
2005-01-01 Barbera, M; Lombardo, A; Schembra, G; Tribastone, M
A partial-differential approximation for spatial stochastic process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
A proactive approach for runtime self-adaptation based on queueing network fluid analysis
2015-01-01 Incerto, E; Tribastone, M; Trubiani, C
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
2014-01-01 Gilmore, S; Tribastone, M; Vandin, M
An analytical model of a BitTorrent peer
2007-01-01 Barbera, M; Lombardo, A; Schembra, G; Tribastone, M
Approximate Mean Value Analysis of Process Algebra Models
2011-01-01 Tribastone, M
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
2016-01-01 Tribastone, M; Tschaikowski, M
ASCENS: Engineering Autonomic Service-Component Ensembles
2013-01-01 Wirsing, M; Hoelzl, M; Tribastone, M; Zambonelli, F
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile
2008-01-01 Tribastone, M; Gilmore, S
Automatic Translation of UML Sequence Diagrams into PEPA Models
2008-01-01 Tribastone, M; Gilmore, S
Behavioral Relations in a Process Algebra for Variants
2014-01-01 Tribastone, M
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
2021-01-01 Simic, S.; Inverso, O.; Tribastone, M.
Blending randomness in closed queueing network models
2014-01-01 Casale, G; Tribastone, M; Harrison, Pg
Challenges in quantitative abstractions for collective adaptive systems
2016-01-01 Tribastone, M.
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations
2021-01-01 Ovchinnikov, A.; Verona, I. P.; Pogudin, G.; Tribastone, M.
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control
2018-01-01 Incerto, E.; Tribastone, M.; Trubiani, C.