| Scalable differential analysis of process algebra models M Tribastone, S Gilmore, J Hillston IEEE Transactions on Software Engineering 38 (1), 205-219, 2010 | 146 | 2010 |
| The PEPA eclipse plugin M Tribastone, A Duguid, S Gilmore ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009 | 118 | 2009 |
| 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 | 104 | 2015 |
| Stochastic process algebras A Clark, S Gilmore, J Hillston, M Tribastone International School on Formal Methods for the Design of Computer …, 2007 | 102 | 2007 |
| ERODE: a tool for the evaluation and reduction of ordinary differential equations L Cardelli, M Tribastone, M Tschaikowski, A Vandin International Conference on Tools and Algorithms for the Construction and …, 2017 | 87 | 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 | 84 | 2017 |
| The PEPA Plug-in Project M Tribastone QEST 7, 53-54, 2007 | 75 | 2007 |
| Forward and backward bisimulations for chemical reaction networks L Cardelli, M Tribastone, M Tschaikowski, A Vandin arXiv preprint arXiv:1507.00163, 2015 | 73 | 2015 |
| 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 | 73 | 2008 |
| Symbolic computation of differential equivalences L Cardelli, M Tribastone, M Tschaikowski, A Vandin ACM SIGPLAN Notices 51 (1), 137-150, 2016 | 71 | 2016 |
| 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 | 67 | 2021 |
| 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 (3), 287-311, 2011 | 66 | 2011 |
| 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 | 61 | 2011 |
| Challenging ChatGPT'Intelligence'with human tools: a neuropsychological investigation on prefrontal functioning of a large language model R Loconte, G Orrù, M Tribastone, P Pietrini, G Sartori Available at SSRN 4471829, 2023 | 60 | 2023 |
| A fluid model for layered queueing networks M Tribastone IEEE Transactions on Software Engineering 39 (6), 744-756, 2012 | 56 | 2012 |
| Exact Fluid Lumpability for Markovian Process Algebra M Tschaikowski, M Tribastone CONCUR 7545, 380-394, 2012 | 53 | 2012 |
| 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 | 50 | 2017 |
| 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 |
| Comparing chemical reaction networks: A categorical and algorithmic perspective L Cardelli, M Tribastone, M Tschaikowski, A Vandin Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 46 | 2016 |
| 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 | 45 | 2016 |
Max TschaikowskiAssociate Professor, Sapienza University RomeVerified email at uniroma1.it
