Roberta Lanciani

According to our database, Roberta Lanciani authored at least 4 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Model checking Markov population models by stochastic approximations.

Luca Bortolussi, Roberta Lanciani, Laura Nenzi

Inf. Comput., 2018

2015

Fluid Model Checking of Timed Properties.

Luca Bortolussi, Roberta Lanciani

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Stochastic Approximation of Global Reachability Probabilities of Markov Population Models.

Luca Bortolussi, Roberta Lanciani

Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2013

Model Checking Markov Population Models by Central Limit Approximation.

Luca Bortolussi, Roberta Lanciani

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013