Publications

Export 117 results:
Type [ Year(Desc)]
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
2014
Bartocci E, Bortolussi L, Sanguinetti G.  2014.  Data-Driven Statistical Learning of Temporal Logic Properties. 12th International Conference on Formal Modeling and Analysis of Timed Systems, {FORMATS} 2014.. 8711:23–37. (1.25 MB)
Bartocci E, Bortolussi L, Smolka SA.  2014.  Hybrid Systems and Biology. Information and Computation. 236:1–2.
Bortolussi L, Paskauskas R.  2014.  Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models. 11th International Conference on Quantitative Evaluation of SysTems, QEST 2014. 8657:106-121. (408.24 KB)
Bertrand N, Bortolussi L.  2014.  Proceedings 12th International Workshop on Quantitative Aspects of Programming Languages and Systems. QAPL. EPTCS 155
Bortolussi L, Milios D, Sanguinetti G.  2014.  Smoothed Model Checking for Uncertain Continuous Time Markov Chains. ArXiv.
Bortolussi L, Sanguinetti G.  2014.  A statistical approach for computing reachability of non-linear and stochastic dynamical systems. 11th International Conference on Quantitative Evaluation of SysTems, QEST 2014. 8657:41-56. (484.53 KB)
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)
2015
Bortolussi L, De Nicola R, Galpin V, Gilmore S, Hillston J, Latella D, Loreti M, Massink M.  2015.  CARMA: Collective Adaptive Resource-sharing Markovian Agents. Quantitative Aspects of Programming Languages and Systems (QAPL). 194:16–31.
Bortolussi L, Dinu LP, Franzoi L, Sgarro A.  2015.  Coding Theory: A General Framework and Two Inverse Problems. Fundamenta Informaticae. 141:297–310.

Pages