Publications

Export 117 results:
Type [ Year(Asc)]
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)
Bortolussi L, Galpin V, Hillston J.  2014.  Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. arXiv preprint .
Bufo S, Bartocci E, Sanguinetti G, Borelli M, Lucangelo U, Bortolussi L.  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)
2013
Bortolussi L, Hayden R.  2013.  Bounds on the deviation of discrete-time Markov chains from their mean-field model. Performance Evaluation. 70(10):736-749. (627.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. (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)
Bortolussi L, Tribastone M.  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)
Bortolussi L, Policriti A.  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)
Galpin V, Bortolussi L, Hillston J.  2013.  HYPE: Hybrid modelling by composition of flows. Formal Aspects Of Computing. 25:503–541. (636.61 KB)
Bortolussi L, Sanguinetti G.  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)
Bortolussi L, Lanciani R.  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)
Bortolussi L, Wiklicky H.  2013.  Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems. QAPL. EPTCS 117
Bortolussi L, Bujorianu ML, Pola G.  2013.  Proceedings Third International Workshop on Hybrid Autonomous Systems. HAS. EPTCS 124
Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G.  2013.  On the Robustness of Temporal Properties for Stochastic Models. Proceedings Second International Workshop on Hybrid Systems and Biology. 125:3-19.
Bortolussi L, Latella D, Massink M.  2013.  Stochastic Process Algebra and Stability Analysis of Collective Systems. Coordination Models and Languages. 7890:1–15. (399.44 KB)
Bartocci E, Bortolussi L, Nenzi L.  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)
Bartocci E, Bortolussi L, Nenzi L.  2013.  A temporal logic approach to modular design of synthetic biological circuits. CoRR ArXiv. abs/1306.4493
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)
Houdt B.V, Bortolussi L.  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)
Bortolussi L, Tribastone M.  2012.  Fluid limits of queueing networks with batches. ICPE 2012. :45–56. (576.43 KB)
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)
Bortolussi L.  2012.  Hybrid Behaviour of Markov Population Models. CoRR ArXiv.
Bortolussi L, Galpin V, Hillston J.  2012.  Hybrid performance modelling of opportunistic networks. QAPL 2012. 85:106–121.

Pages