R. Paskauskas

Multiscale modelling informed by smart grids

L. Bortolussi, J. Hillston, R. Paskauskas, 2022 .

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems

Vincenzo Ciancia, Diego Latella, Mieke Massink, 2016, ISoLA.

Exploring Spatio-temporal Properties of Bike-Sharing Systems

Vincenzo Ciancia, Diego Latella, Mieke Massink, 2015, 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models

Luca Bortolussi, Rytis Paskauskas, L. Bortolussi, 2014, QEST.

Model-Based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems

Mieke Massink, Rytis Paskauskas, M. Massink, 2015, 2015 IEEE 18th International Conference on Intelligent Transportation Systems.