Scalable differential analysis of process algebra models M Tribastone, S Gilmore, J Hillston IEEE Transactions on Software Engineering 38 (1), 205-219, 2010 | 144 | 2010 |
The PEPA eclipse plugin M Tribastone, A Duguid, S Gilmore ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009 | 114 | 2009 |
Stochastic process algebras A Clark, S Gilmore, J Hillston, M Tribastone International School on Formal Methods for the Design of Computer …, 2007 | 98 | 2007 |
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 | 96 | 2015 |
The PEPA Plug-in Project M Tribastone QEST 7, 53-54, 2007 | 73 | 2007 |
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 | 72 | 2008 |
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 | 67 | 2011 |
Forward and backward bisimulations for chemical reaction networks L Cardelli, M Tribastone, M Tschaikowski, A Vandin arXiv preprint arXiv:1507.00163, 2015 | 66 | 2015 |
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 | 65 | 2017 |
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 | 60 | 2017 |
Symbolic computation of differential equivalences L Cardelli, M Tribastone, M Tschaikowski, A Vandin ACM SIGPLAN Notices 51 (1), 137-150, 2016 | 57 | 2016 |
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 | 57 | 2011 |
A fluid model for layered queueing networks M Tribastone IEEE Transactions on Software Engineering 39 (6), 744-756, 2012 | 54 | 2012 |
Exact Fluid Lumpability for Markovian Process Algebra M Tschaikowski, M Tribastone CONCUR 7545, 380-394, 2012 | 53 | 2012 |
Automatic translation of UML sequence diagrams into PEPA models M Tribastone, S Gilmore 2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008 | 48 | 2008 |
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 | 46 | 2017 |
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 | 44 | 2021 |
Noise reduction in complex biological switches L Cardelli, A Csikász-Nagy, N Dalchau, M Tribastone, M Tschaikowski Scientific reports 6 (1), 20214, 2016 | 40 | 2016 |
Approximate reduction of heterogenous nonlinear models with differential hulls M Tschaikowski, M Tribastone IEEE Transactions on Automatic Control 61 (4), 1099-1104, 2015 | 40 | 2015 |
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 | 40 | 2011 |