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