Mirco Tribastone
Titel
Citeras av
Citeras av
År
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
IEEE Transactions on Software Engineering 38 (1), 205-219, 2010
1232010
The PEPA eclipse plugin
M Tribastone, A Duguid, S Gilmore
ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009
902009
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
International School on Formal Methods for the Design of Computer …, 2007
752007
The PEPA Plug-in Project
M Tribastone
QEST 7, 53-54, 2007
702007
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
612008
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
602015
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
592011
Exact Fluid Lumpability for Markovian Process Algebra
M Tschaikowski, M Tribastone
CONCUR 7545, 380-394, 2012
442012
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
442011
Automatic translation of UML sequence diagrams into PEPA models
M Tribastone, S Gilmore
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
412008
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
382016
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
arXiv preprint arXiv:1507.00163, 2015
362015
A fluid model for layered queueing networks
M Tribastone
IEEE Transactions on Software Engineering 39 (6), 744-756, 2012
352012
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
322011
Replicating web services for scalability
M Bravetti, S Gilmore, C Guidi, M Tribastone
International Symposium on Trustworthy Global Computing, 204-221, 2007
312007
Noise reduction in complex biological switches
L Cardelli, A Csikász-Nagy, N Dalchau, M Tribastone, M Tschaikowski
Scientific reports 6, 20214, 2016
302016
Approximate reduction of heterogenous nonlinear models with differential hulls
M Tschaikowski, M Tribastone
IEEE Transactions on Automatic Control 61 (4), 1099-1104, 2015
292015
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity
M Wirsing, M Hölzl, L Acciai, F Banti, A Clark, A Fantechi, S Gilmore, ...
International Symposium On Leveraging Applications of Formal Methods …, 2008
292008
Evaluating the scalability of a web service-based distributed e-learning and course management system
S Gilmore, M Tribastone
International Workshop on Web Services and Formal Methods, 214-226, 2006
292006
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
272017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20