Research output per year
Research output per year
- 21 results
Search results
-
2020
Fluid approximation of broadcasting systems
Bortolussi, L., Hillston, J. & Loreti, M., 6 May 2020, In: Theoretical Computer Science. 816, p. 221-248 28 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2019
Analysis of spatio-temporal properties of stochastic systems using TSTL
Luisa Vissat, L., Loreti, M., Nenzi, L., Hillston, J. & Marion, G., 13 Dec 2019, In: ACM Transactions on Modeling and Computer Simulation. 29, 4, p. 20:1-20:24 25 p., 20.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2018
Spatio-temporal model-checking of vehicular movement in public transport systems
Ciancia, V., Gilmore, S., Griletti, G., Latella, D., Loreti, M. & Massink, M., 1 Jun 2018, In: International Journal on Software Tools for Technology Transfer. 20, 3, p. 289-311 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Mesoscopic modelling of pedestrian movement using Carma and its tools
Galpin, V., Zon, N., Wilsdorf, P. & Gilmore, S., 3 Apr 2018, In: ACM Transactions on Modeling and Computer Simulation. 28, 2, 25 p., 3155338.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Stochastic Process Algebras and their Markovian Semantics
Hillston, J., 1 Apr 2018, In: SIGLOG News. 5, 2, p. 20-35 15 p.Research output: Contribution to journal › Article
Open AccessFile -
Accelerating Simulation of Population Continuous Time Markov Chains via Automatic Model Reduction
Feng, C. & Hillston, J., Apr 2018, In: Performance Evaluation. 120, p. 20-35 39 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
ProPPA: Probabilistic Programming for Stochastic Dynamical Systems
Georgoulas, A., Hillston, J. & Sanguinetti, G., 23 Jan 2018, In: ACM Transactions on Modeling and Computer Simulation. 28, 1, 23 p., 3.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2017
Moment-based Availability Prediction for Bike-Sharing Systems
Feng, C., Hillston, J. & Reijsbergen, D., 1 Dec 2017, In: Performance Evaluation. 117, p. 58-74 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes
Bartocci, E., Bortolussi, L., Brázdil, T., Milios, D. & Sanguinetti, G., 1 Nov 2017, In: Performance Evaluation. 116, p. 84-100 28 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Unbiased Bayesian inference for population Markov jump processes via random truncations
Georgoulas, A., Hillston, J. & Sanguinetti, G., 1 Jul 2017, In: Statistics and Computing. 27, 4, p. 991–1002 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2016
Smoothed model checking for uncertain Continuous-Time Markov Chains
Bortolussi, L., Milios, D. & Sanguinetti, G., 1 Apr 2016, In: Information and Computation. 247, p. 235-253 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems
Feng, C., Hillston, J. & Galpin, V., 1 Mar 2016, In: ACM Transactions on Modeling and Computer Simulation. 26, 4, 22 p., 26.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2015
Component Aggregation for PEPA Models: An Approach Based on Approximate Strong Equivalence
Milios, D. & Gilmore, S., Dec 2015, In: Performance Evaluation. 94, p. 43-71 29 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Validation of Automatic Vehicle Location Data in Public Transport Systems
Gilmore, S. & Reijsbergen, D., 25 Nov 2015, In: Electronic Notes in Theoretical Computer Science. 318, p. 31-51 21 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Performance Analysis of Collective Adaptive Behaviour in Time and Space
Feng, C., Gribaudo, M. & Hillston, J., 18 Nov 2015, In: Electronic Notes in Theoretical Computer Science. 318, p. 53-68 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
System design of stochastic models using robustness of temporal properties
Bartocci, E., Bortolussi, L., Nenzi, L. & Sanguinetti, G., 1 Jul 2015, In: Theoretical Computer Science. 587, p. 3-25 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Model Checking Single Agent Behaviours by Fluid Approximation
Bortolussi, L. & Hillston, J., Jun 2015, In: Information and Computation. 242, p. 183-226 44 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A sequential hypothesis test based on a generalized Azuma inequality
Reijsbergen, D., Scheinhardt, W. & de Boer, P.-T., Feb 2015, In: Statistics and Probability Letters. 97, p. 192-196 5 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Finding Optimal Timetables for Edinburgh Bus Routes
Vissat, L. L., Clark, A. & Gilmore, S., 5 Jan 2015, In: Electronic Notes in Theoretical Computer Science. 310, p. 179-199 21 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2014
On hypothesis testing for statistical model checking
Reijsbergen, D., de Boer, P.-T., Scheinhardt, W. & Haverkort, B. R., 1 Oct 2014, In: International Journal on Software Tools for Technology Transfer. 19 p.Research output: Contribution to journal › Article › peer-review
-
Hybrid semantics for Bio-PEPA
Galpin, V., Aug 2014, In: Information and Computation. 236, 0, p. 122 - 145 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile