Follow
Thomas Wies
Title
Cited by
Cited by
Year
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
2882007
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1442013
Boolean heaps
A Podelski, T Wies
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
922005
GRASShopper Complete Heap Verification with Mixed Specifications
R Piskac, T Wies, D Zufferey
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
902014
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
852014
Full accounting for verifiable outsourcing
RS Wahby, Y Ji, AJ Blumberg, A Shelat, J Thaler, M Walfish, T Wies
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
762017
Error invariants
E Ermis, M Schäf, T Wies
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
752012
Using first-order theorem provers in the Jahob data structure verification system
C Bouillaguet, V Kuncak, T Wies, K Zee, M Rinard
Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007
692007
Field constraint analysis
T Wies, V Kuncak, P Lam, A Podelski, M Rinard
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006
652006
FlexPRICE: Flexible provisioning of resources in a cloud environment
TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey
2010 IEEE 3rd International Conference on Cloud Computing, 83-90, 2010
632010
Forward analysis of depth-bounded processes
T Wies, D Zufferey, TA Henzinger
Foundations of Software Science and Computational Structures: 13th …, 2010
572010
Flow-sensitive fault localization
J Christ, E Ermis, M Schäf, T Wies
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
562013
Abstraction refinement for quantified array assertions
MN Seghir, A Podelski, T Wies
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009
512009
Finding minimum type error sources
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 49 (10), 525-542, 2014
472014
Combining theories with shared set operations
T Wies, R Piskac, V Kuncak
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009 …, 2009
462009
Counterexample-guided focus
A Podelski, T Wies
Acm Sigplan Notices 45 (1), 249-260, 2010
402010
Symbolic shape analysis.
T Wies, A Podelski
University of Freiburg, 2009
402009
An efficient decision procedure for imperative tree data structures
T Wies, M Muniz, V Kuncak
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
392011
Learning privacy expectations by crowdsourcing contextual informational norms
Y Shvartzshnaider, S Tong, T Wies, P Kift, H Nissenbaum, L Subramanian, ...
Fourth AAAI conference on human computation and crowdsourcing, 2016
372016
Ideal abstractions for well-structured transition systems
D Zufferey, T Wies, TA Henzinger
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
352012
The system can't perform the operation now. Try again later.
Articles 1–20