Model checking Markov population models by central limit approximation L Bortolussi, R Lanciani Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013 | 37 | 2013 |
Stochastic approximation of global reachability probabilities of Markov population models L Bortolussi, R Lanciani Computer Performance Engineering: 11th European Workshop, EPEW 2014 …, 2014 | 18 | 2014 |
Model checking Markov population models by stochastic approximations L Bortolussi, R Lanciani, L Nenzi Information and Computation 262, 189-220, 2018 | 11 | 2018 |
Fluid model checking of timed properties L Bortolussi, R Lanciani Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015 | 4 | 2015 |
Verification of Complex Adaptive Systems L Bortolussi, G Cabri, GDM Serugendo, V Galpin, J Hillston, R Lanciani, ... Online]: http://homepage. lnu. se/staff/daweaa/papers/2015CASVerification. pdf, 2015 | 1 | 2015 |
Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification R Lanciani IMT Institute for Advanced Studies Lucca, 2017 | | 2017 |
4.2 Verification of CAS L Bortolussi, G Cabri, GDM Serugendo, V Galpin, J Hillston, R Lanciani, ... Collective Adaptive Systems: Qualitative and Quantitative Modelling and …, 0 | | |