BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
Collaborated with:
G.Su D.S.Rosenblum M.Böhme M.Brünink
Talks about:
uncertainti (2) probabilist (2) system (2) model (2) nondeterminist (1) behavior (1) presenc (1) perturb (1) verifi (1) comput (1)

Person: Yamilet R. Serrano Llerena

DBLP DBLP: Llerena:Yamilet_R=_Serrano

Contributed to:

FSE 20142014
ESEC/FSE 20172017
ESEC/FSE 20182018

Wrote 3 papers:

FSE-2014-Llerena #nondeterminism #verification
Dealing with uncertainty in verification of nondeterministic systems (YRSL), pp. 787–790.
ESEC-FSE-2017-LlerenaSR #in the cloud #model checking #probability
Probabilistic model checking of perturbed MDPs with applications to cloud computing (YRSL, GS, DSR), pp. 454–464.
ESEC-FSE-2018-LlerenaBBSR #behaviour #modelling #nondeterminism #probability #verification
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (YRSL, MB, MB, GS, DSR), pp. 587–597.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.