Items where Author is "Bortolussi, Luca"

Bortolussi, Luca and Tschaikowski, Max Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. In: Analytical and Stochastic Modelling Techniques and Applications. ASMTA 2016. Lecture Notes in Computer Science (9845). Springer, pp. 92-106. ISBN 978-3-319-43904-4 (2016)

Bortolussi, Luca and Hillston, Jane and Tribastone, Mirco Fluid performability analysis of nested automata models. Electronic Notes in Theoretical Computer Science, 310. pp. 27-47. ISSN 1571-0661 (2015)

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Bortolussi, Luca and Tribastone, Mirco Differential Analysis of Interacting Automata with Immediate Actions. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 10-12 Decembre, 2013, Torino pp. 49-58. ISBN 978-1-936968-48-0. (2013)

Bortolussi, Luca and Tribastone, Mirco Fluid limits of queueing networks with batches. In: Proceedings of the third joint WOSP/SIPEW international conference on Performance Engineering - ICPE '12. ACM, pp. 45-56. ISBN 978-1-4503-1202-8 (2012)

Bortolussi, Luca and Galpin, Vashti and Hillston, Jane and Tribastone, Mirco Hybrid semantics for PEPA. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, pp. 181-190. ISBN 978-1-4244-8082-1 (2010)