Yamilet R. Serrano Llerena

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 2

Top Topics

Cloud Computing

Reachability Analysis

Probabilistic Model

Top Venues

ESEC/SIGSOFT FSE

Publications

Yamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, David S. Rosenblum
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty. ESEC/SIGSOFT FSE (2018)
Yamilet R. Serrano Llerena, Guoxin Su, David S. Rosenblum
Probabilistic model checking of perturbed MDPs with applications to cloud computing. ESEC/SIGSOFT FSE (2017)
Yamilet R. Serrano Llerena
Dealing with uncertainty in verification of nondeterministic systems. SIGSOFT FSE (2014)