Dealing with uncertainty in verification of nondeterministic systems. - Yamilet R. Serrano Llerena (SIGSOFT FSE, 2014)

Probabilistic model checking of perturbed MDPs with applications to cloud computing. - Yamilet R. Serrano Llerena; Guoxin Su; David S. Rosenblum (ESEC/SIGSOFT FSE, 2017)

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 (ESEC/SIGSOFT FSE, 2018)