Publications
] .
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)
(412.18 KB).
2014. Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. arXiv preprint .
.
2014. Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014. . 8803:391–403. (407.92 KB)
(407.92 KB).
2013. Bounds on the deviation of discrete-time Markov chains from their mean-field model. Performance Evaluation. 70(10):736-749. (627.18 KB)
(627.18 KB).
2013. Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. Formal Methods for Dynamical Systems. 7938:113–149. (823.71 KB)
(823.71 KB).
2013. Continuous approximation of collective system behaviour: A tutorial. Performance Evaluation. 70:317–349. (2.62 MB)
(2.62 MB).
2013. Differential Analysis of Interacting Automata with Immediate Actions. 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013. :49-58. (519.4 KB)
(519.4 KB).
2013. (Hybrid) Automata and (Stochastic) Programs. The hybrid automata lattice of a stochastic program. Journal Of Logic And Computation. 23(4):761-798. (838.99 KB)
(838.99 KB).
2013. HYPE: Hybrid modelling by composition of flows. Formal Aspects Of Computing. 25:503–541. (636.61 KB)
(636.61 KB).
2013. Learning and designing stochastic processes from logical constraints. 10th International Conference on Quantitative Evaluation of SysTems, QEST 2013. 8054:89-105. (650.46 KB)
(650.46 KB).
2013. Model Checking Markov Population Models by Central Limit Approximation. 10th International Conference on Quantitative Evaluation of SysTems, QEST 2013. 8054:123-138. (1.37 MB)
(1.37 MB).
2013. Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems. QAPL. EPTCS 117
.
2013. Proceedings Third International Workshop on Hybrid Autonomous Systems. HAS. EPTCS 124
.
2013. On the Robustness of Temporal Properties for Stochastic Models. Proceedings Second International Workshop on Hybrid Systems and Biology. 125:3-19.
.
2013. Stochastic Process Algebra and Stability Analysis of Collective Systems. Coordination Models and Languages. 7890:1–15. (399.44 KB)
(399.44 KB).
2013. A temporal logic approach to modular design of synthetic biological circuits. CoRR ArXiv. abs/1306.4493
.
2013. A temporal logic approach to modular design of synthetic biological circuits. 11th Conference on Computational Methods in Systems Biology, CMSB 2013 . 8130:164-177. (580.77 KB)
(580.77 KB).
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.
.
2012. Fluid Approximation of CTMC with Deterministic Delays. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012. :53–62. (1.57 MB)
(1.57 MB).
2012. Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion. ACM SIGMETRICS/PERFORMANCE. :113–124. (340.47 KB)
(340.47 KB).
2012. Fluid limits of queueing networks with batches. ICPE 2012. :45–56. (576.43 KB)
(576.43 KB).
2012. Fluid Model Checking. CoRR ArXiv.
.
2012. Fluid Model Checking. 22th International Conference on Concurrency Theory, CONCUR 2012. 7454:333–347. (561.29 KB)
(561.29 KB).
2012. Hybrid Behaviour of Markov Population Models. CoRR ArXiv.
.
2012. Hybrid performance modelling of opportunistic networks. QAPL 2012. 85:106–121.