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
1152009
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
International School on Formal Methods for the Design of Computer …, 2007
1012007
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
962015
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
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
arXiv preprint arXiv:1507.00163, 2015
662015
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
662011
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
642017
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
592017
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
582016
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
582011
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
532012
Automatic translation of UML sequence diagrams into PEPA models
M Tribastone, S Gilmore
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
492008
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
472021
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
472017
Noise reduction in complex biological switches
L Cardelli, A Csikász-Nagy, N Dalchau, M Tribastone, M Tschaikowski
Scientific reports 6 (1), 20214, 2016
402016
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
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
392016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20