Producción científica

Producción científica por año 2014 2014 2017 2018 2018

• 3 Contribución a la conferencia

Producción científica por año

Producción científica por año

Resultados de la búsqueda

• 2018

  Verifying the long-run behavior of probabilistic system models in the presence of uncertainty

  Llerena, Y. R. S., Böhme, M., Brünink, M., Su, G. & Rosenblum, D. D., 26 oct. 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 587-597 11 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

  Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

  • Simulation Mode 100%
  • Stochastic System 100%
  • Probability 75%
  • Safety Critical Systems 50%
  • Application 25%
  8 Citas (Scopus)
• 2017

  Probabilistic model checking of perturbed MDPs with applications to cloud computing

  Llerena, Y. R. S., Su, G. & Rosenblum, D. S., 21 ago. 2017, ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. Zisman, A., Bodden, E., Schafer, W. & van Deursen, A. (eds.). Association for Computing Machinery, p. 454-464 11 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. Part F130154).

  Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

  • Model Checking 100%
  9 Citas (Scopus)
• 2014

  Dealing with uncertainty in verification of nondeterministic systems

  Llerena, Y. R. S., 16 nov. 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, p. 787-790 4 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 16-21-November-2014).

  Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

  • Formal Verification 100%
  • Markov Decision Process 50%
  • Perturbation Analysis 50%
  • Confidence Degree 50%
  • Resource Limitation 50%
  4 Citas (Scopus)