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.

• DOI
• Google Scholar
• BibTex

Bortolussi L, Lanciani R.  2015.  Fluid Model Checking of Timed Properties. Formal Modeling and Analysis of Timed Systems (FORMATS). 9268:172–188.

• DOI
• Google Scholar
• BibTex

 (473.83 KB)

Bortolussi L, Hillston J.  2015.  Model checking single agent behaviours by fluid approximation. Information and Computation. 242:183-226.

• DOI
• Google Scholar
• BibTex

 (1.61 MB)

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.

• DOI
• Google Scholar
• BibTex

 (412.18 KB)

Bortolussi L, Hillston J.  2013.  Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. Formal Methods for Dynamical Systems. 7938:113–149.

• DOI
• Google Scholar
• BibTex

 (823.71 KB)

Bortolussi L, Hillston J.  2012.  Fluid Model Checking. 22th International Conference on Concurrency Theory, CONCUR 2012. 7454:333–347.

• DOI
• Google Scholar
• BibTex

 (561.29 KB)

Bortolussi L, Hillston J.  2012.  Fluid Model Checking. CoRR ArXiv.

• Google Scholar
• BibTex