Yamilet R. Serrano Llerena

According to our database, Yamilet R. Serrano Llerena authored at least 3 papers between 2014 and 2018.

Collaborative distances:

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

2018

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.

Yamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, David S. Rosenblum

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

Probabilistic model checking of perturbed MDPs with applications to cloud computing.

Yamilet R. Serrano Llerena, Guoxin Su, David S. Rosenblum

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2014

Dealing with uncertainty in verification of nondeterministic systems.

Yamilet R. Serrano Llerena

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014