No photo of Thomas Wies

Thomas Wies

Associate Professor of Computer Science

    20052019
    If you made any changes in Pure, your changes will be visible here soon.

    Fingerprint Weighted list of dominant concepts in the researcher's publications (titles and abstracts).

    • 1 Similar Profiles
    Data structures Engineering & Materials Science
    Data Structures Mathematics
    Heap Mathematics
    Decision Procedures Mathematics
    Separation Logic Mathematics
    Assertion Mathematics
    Interpolation Engineering & Materials Science
    Logic Mathematics

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

    Research Output 2005 2019

    • 42 Conference contribution
    • 5 Article
    • 1 Other report
    • 1 Editorial

    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
    Repair
    Clocks
    Timed Automata
    Admissibility
    Diagnostics

    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

    Vaccines
    Electronic mail
    Syntactics
    Ion exchange
    Semantics

    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, Vol. Part F131467. p. 2071-2086 16 p.

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

    Outsourcing
    Costs
    Application specific integrated circuits
    Hardware

    Partitioned memory models for program analysis

    Wang, W., Barrett, C. & Wies, T., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Springer Verlag, Vol. 10145 LNCS. p. 539-558 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

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

    Program Analysis
    Memory Model
    Data storage equipment
    Data Structures
    Scalability

    Preface

    Paskevich, A. & Wies, T., Jan 1 2017, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10712 LNCS, p. V

    Research output: Contribution to journalEditorial