Segui
Mirco Tribastone
Titolo
Citata da
Citata da
Anno
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
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
1002015
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
International School on Formal Methods for the Design of Computer …, 2007
1002007
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
752017
The PEPA Plug-in Project
M Tribastone
QEST 7, 53-54, 2007
742007
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
732008
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
702017
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
arXiv preprint arXiv:1507.00163, 2015
692015
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
652011
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
642016
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
602021
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
602011
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
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
502017
Automatic translation of UML sequence diagrams into PEPA models
M Tribastone, S Gilmore
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
492008
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
Intelligence, 2023
462023
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
442016
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
412016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20