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.
    • Local Reasoning for Global Graph Properties

      Krishna, S., Summers, A. J. & Wies, T., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 308-335 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

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

      Open Access
    • TarTar: A Timed Automata Repair Tool

      Kölbl, M., Leue, S. & Wies, T., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 529-540 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

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

      Open Access
    • Verifying concurrent search structure templates

      Krishna, S., Patel, N., Shasha, D. & Wies, T., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 181-196 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

      Open Access
    • 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., 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
    Your message has successfully been sent.
    Your message was not sent due to an error.
    If you made any changes in Pure these will be visible here soon.