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. 22th International Conference on Concurrency Theory, CONCUR 2012. 7454:333–347. (561.29 KB)
Bortolussi L, Hillston J.  2012.  Fluid Model Checking. CoRR ArXiv.
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)