I agree that this site is using cookies. You can find further informations here.
X
Llerena, Yamilet R. Serrano
3  results:
Search for persons X
?
1

Verifying the long-run behavior of probabilistic system mod..:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Llerena, Yamilet R. Serrano ; Böhme, Marcel ; Brünink, Marc.. - p. 587-597 , 2018
Link: https://dl.acm.org/doi/1..
 
?
2

Probabilistic model checking of perturbed MDPs with applica..:

, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering,
Llerena, Yamilet R. Serrano ; Su, Guoxin ; Rosenblum, David S. - p. 454-464 , 2017
Link: https://dl.acm.org/doi/1..
 
?
3

Dealing with uncertainty in verification of nondeterministi..:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,
Llerena, Yamilet R. Serrano - p. 787-790 , 2014
Link: https://dl.acm.org/doi/1..
 
1-3