TRIBASTONE, MIRCO

TRIBASTONE, MIRCO  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 20 di 116 (tempo di esecuzione: 0.07 secondi).
Titolo Data di pubblicazione Autore(i) File
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 1-gen-2017 Tribastone, M; Tschaikowski, M
A Fluid Model for Layered Queueing Networks 1-gen-2013 Tribastone, M
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 1-gen-2021 Perez-Verona, I. C.; Tribastone, M.; Vandin, A.
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 1-gen-2019 Perez-Verona Isabel, Cristina.; Tribastone, M.; Vandin, A.
A Markov model of a freerider in a BitTorrent P2P network 1-gen-2005 Barbera, M; Lombardo, A; Schembra, G; Tribastone, M
A partial-differential approximation for spatial stochastic process algebra 1-gen-2014 Tribastone, M; Tschaikowski, M
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 1-gen-2015 Incerto, E; Tribastone, M; Trubiani, C
A unified framework for differential aggregations in Markovian process algebra 1-gen-2015 Tribastone, M; Tschaikowski, M
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 1-gen-2014 Gilmore, S; Tribastone, M; Vandin, M
An analytical model of a BitTorrent peer 1-gen-2007 Barbera, M; Lombardo, A; Schembra, G; Tribastone, M
Approximate Mean Value Analysis of Process Algebra Models 1-gen-2011 Tribastone, M
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 1-gen-2016 Tribastone, M; Tschaikowski, M
ASCENS: Engineering Autonomic Service-Component Ensembles 1-gen-2013 Wirsing, M; Hoelzl, M; Tribastone, M; Zambonelli, F
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 1-gen-2008 Tribastone, M; Gilmore, S
Automatic Translation of UML Sequence Diagrams into PEPA Models 1-gen-2008 Tribastone, M; Gilmore, S
Backward Invariance for Linear Differential Algebraic Equations 1-gen-2019 Tognazzi, S.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Behavioral Relations in a Process Algebra for Variants 1-gen-2014 Tribastone, M
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 1-gen-2021 Simic, S.; Inverso, O.; Tribastone, M.
Blending randomness in closed queueing network models 1-gen-2014 Casale, G; Tribastone, M; Harrison, Pg
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 1-gen-2024 Krupa, P.; Inverso, O.; Tribastone, M.; Bemporad, A.