Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 0

Yamilet R. Serrano Llerena

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers3 papers

Sort

By YearBy Citation

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, pp.587-597, (2018)

Cited by3EIBibtex

Probabilistic model checking of perturbed MDPs with applications to cloud computing

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

ESEC/SIGSOFT FSE, pp.454-464, (2017)

Cited by6EIBibtex

Dealing with uncertainty in verification of nondeterministic systems

Yamilet R. Serrano Llerena

SIGSOFT FSE, pp.787-790, (2014)

Cited by1EIBibtex

View All

Base Info Papers Patents Projects