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: Llerena:Yamilet_R=_Serrano
Contributed to:
2014
20172018Wrote 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.