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.

• DOI
• Google Scholar
• BibTeX

 (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.

• DOI
• Google Scholar
• BibTeX

 (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.

• DOI
• Google Scholar
• BibTeX

 (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.

• DOI
• Google Scholar
• BibTeX

 (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.

• DOI
• Google Scholar
• BibTeX

 (838.99 KB)

Galpin V, Bortolussi L, Hillston J.  2013.  HYPE: Hybrid modelling by composition of flows. Formal Aspects Of Computing. 25:503–541.

• DOI
• Google Scholar
• BibTeX

 (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.

• DOI
• Google Scholar
• BibTeX

 (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.

• DOI
• Google Scholar
• BibTeX

 (1.37 MB)

Bortolussi L, Wiklicky H.  2013.  Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems. QAPL. EPTCS 117

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Bujorianu ML, Pola G.  2013.  Proceedings Third International Workshop on Hybrid Autonomous Systems. HAS. EPTCS 124

• DOI
• Google Scholar
• BibTeX

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.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Latella D, Massink M.  2013.  Stochastic Process Algebra and Stability Analysis of Collective Systems. Coordination Models and Languages. 7890:1–15.

• DOI
• Google Scholar
• BibTeX

 (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.

• DOI
• Google Scholar
• BibTeX

 (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

• Google Scholar
• BibTeX

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.

• DOI
• Google Scholar
• BibTeX

 (1.25 MB)

Bartocci E, Bortolussi L, Smolka SA.  2014.  Hybrid Systems and Biology. Information and Computation. 236:1–2.

• DOI
• Google Scholar
• BibTeX

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.

• DOI
• Google Scholar
• BibTeX

 (408.24 KB)

Bertrand N, Bortolussi L.  2014.  Proceedings 12th International Workshop on Quantitative Aspects of Programming Languages and Systems. QAPL. EPTCS 155

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Milios D, Sanguinetti G.  2014.  Smoothed Model Checking for Uncertain Continuous Time Markov Chains. ArXiv.

• DOI
• Google Scholar
• BibTeX

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.

• DOI
• Google Scholar
• BibTeX

 (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.

• DOI
• Google Scholar
• BibTeX

 (412.18 KB)

Bortolussi L, Galpin V, Hillston J.  2014.  Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. arXiv preprint .

• Google Scholar
• BibTeX

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.

• DOI
• Google Scholar
• BibTeX

 (407.92 KB)

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.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Dinu LP, Franzoi L, Sgarro A.  2015.  Coding Theory: A General Framework and Two Inverse Problems. Fundamenta Informaticae. 141:297–310.

• DOI
• Google Scholar
• BibTeX