Publications

Export 13 results:
Type [ Year(Asc)]
Filters: Keyword is fluid approximation  [Clear All Filters]
In Press
Bortolussi L.  In Press.  Hybrid behaviour of Markov population models. Information and Computation. :-. (3.14 MB)
2015
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, Tribastone M.  2015.  Fluid Performability Analysis of Nested Automata Models. Practical Application of Stochastic Modelling (PASM14). 310:27–47.
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)
Bortolussi L, Hillston J, Latella D, Massink M.  2013.  Continuous approximation of collective system behaviour: A tutorial. Performance Evaluation. 70:317–349. (2.62 MB)
2012
Pourranjbar A, Hillston J, Bortolussi L.  2012.  Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. 9th European Workshop on Computer Performance Engineering, EPEW 2012, and 28th UK Workshop on Computer Performance Engineering, UKPEW 2012. 7587:156–171.
Bortolussi L, Hillston J.  2012.  Fluid Approximation of CTMC with Deterministic Delays. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012. :53–62. (1.57 MB)
Bortolussi L, Hillston J.  2012.  Fluid Model Checking. CoRR ArXiv.
Bortolussi L, Hillston J.  2012.  Fluid Model Checking. 22th International Conference on Concurrency Theory, CONCUR 2012. 7454:333–347. (561.29 KB)
2011
Bortolussi L.  2011.  Hybrid Limits of Continuous Time Markov Chains. 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. :3–12. (1015.88 KB)
2009
Bortolussi L, Policriti A.  2009.  Dynamical Systems and Stochastic Programming - From Ordinary Differential Equations and Back.. Transactions On Computational Systems Biology. 11:216–267. (1.76 MB)