Research output per year
Research output per year
Research output
- 3 Conference contribution
Search results
-
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8 Scopus citations -
2017
Probabilistic model checking of perturbed MDPs with applications to cloud computing
Llerena, Y. R. S., Su, G. & Rosenblum, D. S., 21 Aug 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
9 Scopus citations -
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations