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
A unified framework for differential aggregations in Markovian process algebra
2015-01-01 Tribastone, M; Tschaikowski, M
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
Backward Invariance for Linear Differential Algebraic Equations
2019-01-01 Tognazzi, S.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
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
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems
2024-01-01 Krupa, P.; Inverso, O.; Tribastone, M.; Bemporad, A.