No photo of Thomas Wies

Thomas Wies

Associate Professor of Computer Science

    20052020

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Fingerprint Weighted list of dominant concepts in the person's research.

    • 1 Similar Profiles

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    Static scheduling in clouds

    Henzinger, T. A., Singh, A. V., Zufferey, D., Singh, V. & Wies, T., Jan 1 2020.

    Research output: Contribution to conferencePaper

  • Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures

    Moore, P., Cappos, J., Frankl, P. & Wies, T., Oct 2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 1-12 12 p. 8987577. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Clock Bound Repair for Timed Systems

    Kölbl, M., Leue, S. & Wies, T., Jan 1 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 79-96 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Vaccine: Using contextual integrity for data leakage detection

    Shvartzshnaider, Y., Wies, T., Pavlinovic, Z., Lakshminarayanan, Mittal, P., Balashankar, A. & Nissenbaum, H., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 1702-1712 11 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Full accounting for verifiable outsourcing

    Wahby, R. S., Ji, Y., Blumberg, A. J., Shelat, A., Thaler, J., Walfish, M. & Wies, T., Oct 30 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2071-2086 16 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution