Seguir
Mirco Tribastone
Mirco Tribastone
IMT Lucca
Dirección de correo verificada de imtlucca.it - Página principal
Título
Citado por
Citado por
Año
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
IEEE Transactions on Software Engineering 38 (1), 205-219, 2010
1442010
The PEPA eclipse plugin
M Tribastone, A Duguid, S Gilmore
ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009
1142009
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
International School on Formal Methods for the Design of Computer …, 2007
972007
Probabilistic forecasts of bike-sharing systems for journey planning
N Gast, G Massonnet, D Reijsbergen, M Tribastone
Proceedings of the 24th ACM international on conference on information and …, 2015
952015
The PEPA Plug-in Project
M Tribastone
QEST 7, 53-54, 2007
732007
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile
M Tribastone, S Gilmore
Proceedings of the 7th International Workshop on Software and Performance, 67-78, 2008
722008
Non-functional properties in the model-driven development of service-oriented systems
S Gilmore, L Gönczy, N Koch, P Mayer, M Tribastone, D Varró
Software & Systems Modeling 10, 287-311, 2011
672011
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
arXiv preprint arXiv:1507.00163, 2015
652015
ERODE: a tool for the evaluation and reduction of ordinary differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
632017
Maximal aggregation of polynomial dynamical systems
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Proceedings of the National Academy of Sciences 114 (38), 10029-10034, 2017
572017
ASCENS: engineering autonomic service-component ensembles
M Wirsing, M Hölzl, M Tribastone, F Zambonelli
International Symposium on Formal Methods for Components and Objects, 1-24, 2011
562011
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
552016
A fluid model for layered queueing networks
M Tribastone
IEEE Transactions on Software Engineering 39 (6), 744-756, 2012
542012
Exact Fluid Lumpability for Markovian Process Algebra
M Tschaikowski, M Tribastone
CONCUR 7545, 380-394, 2012
512012
Automatic translation of UML sequence diagrams into PEPA models
M Tribastone, S Gilmore
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
482008
Software performance self-adaptation through efficient model predictive control
E Incerto, M Tribastone, C Trubiani
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
462017
PID control of biochemical reaction networks
M Whitby, L Cardelli, M Kwiatkowska, L Laurenti, M Tribastone, ...
IEEE Transactions on Automatic Control 67 (2), 1023-1030, 2021
402021
Fluid rewards for a stochastic process algebra
M Tribastone, J Ding, S Gilmore, J Hillston
IEEE Transactions on Software Engineering 38 (4), 861-874, 2011
402011
Approximate reduction of heterogenous nonlinear models with differential hulls
M Tschaikowski, M Tribastone
IEEE Transactions on Automatic Control 61 (4), 1099-1104, 2015
392015
Efficient syntax-driven lumping of differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
International Conference on Tools and Algorithms for the Construction and …, 2016
382016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20