Publications

Export 7 results:
Type [ Year(Asc)]
Filters: Keyword is Stochastic model checking  [Clear All Filters]
2015
Bortolussi L, Hillston J.  2015.  Efficient Checking of Individual Rewards Properties in Markov Population Models. Quantitative Aspects of Programming Languages and Systems (QAPL). 194:32–47.
Bortolussi L, Lanciani R.  2015.  Fluid Model Checking of Timed Properties. Formal Modeling and Analysis of Timed Systems (FORMATS). 9268:172–188. (473.83 KB)
Bortolussi L, Hillston J.  2015.  Model checking single agent behaviours by fluid approximation. Information and Computation. 242:183-226. (1.61 MB)
2014
Bortolussi L, Lanciani R.  2014.  Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. 11th European Workshop on Computer Performance Engineering - {EPEW} 2014 . 8721:224–239. (412.18 KB)
2013
Bortolussi L, Hillston J.  2013.  Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. Formal Methods for Dynamical Systems. 7938:113–149. (823.71 KB)
2012
Bortolussi L, Hillston J.  2012.  Fluid Model Checking. 22th International Conference on Concurrency Theory, CONCUR 2012. 7454:333–347. (561.29 KB)
Bortolussi L, Hillston J.  2012.  Fluid Model Checking. CoRR ArXiv.