Follow
Roberta Lanciani
Roberta Lanciani
Verified email at imtlucca.it
Title
Cited by
Cited by
Year
Model checking Markov population models by central limit approximation
L Bortolussi, R Lanciani
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
372013
Stochastic approximation of global reachability probabilities of Markov population models
L Bortolussi, R Lanciani
Computer Performance Engineering: 11th European Workshop, EPEW 2014 …, 2014
182014
Model checking Markov population models by stochastic approximations
L Bortolussi, R Lanciani, L Nenzi
Information and Computation 262, 189-220, 2018
112018
Fluid model checking of timed properties
L Bortolussi, R Lanciani
Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015
42015
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
12015
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
The system can't perform the operation now. Try again later.
Articles 1–7