79 citations · 424 across the 54 of their papers we have counts for
4 papers · 1 filter
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems
Luca Bortolussi, Vashti Galpin, Jane Hillston
Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by…
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems
Nathalie Bertrand, Luca Bortolussi
This volume contains the proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), held in Grenoble, France, on 12 and 13 April,…
Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models
Luca Bortolussi, Rytis Paškauskas
Markov Population Model is a commonly used framework to describe stochastic systems. Their exact analysis is unfeasible in most cases because of the state space explosion. Approxim…
Smoothed Model Checking for Uncertain Continuous Time Markov Chains
Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty. We show that this satisfaction probability is a sm…