Department of Data Science and Information Systems

Organization profile

Fingerprint

Dive into the research topics where Department of Data Science and Information Systems is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
  • 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 proceedingConference contributionpeer-review

    7 Scopus citations