Obserwuj
Thomas Wies
Tytuł
Cytowane przez
Cytowane przez
Rok
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
International Conference on Computer Aided Verification, 178-192, 2007
3082007
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1712013
Grasshopper: complete heap verification with mixed specifications
R Piskac, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2014
1102014
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1062014
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
1012017
Boolean heaps
A Podelski, T Wies
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
912005
Error invariants
E Ermis, M Schäf, T Wies
International Symposium on Formal Methods, 187-201, 2012
832012
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
Finding minimum type error sources
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 49 (10), 525-542, 2014
672014
Field constraint analysis
T Wies, V Kuncak, P Lam, A Podelski, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 2006
642006
Learning privacy expectations by crowdsourcing contextual informational norms
Y Shvartzshnaider, S Tong, T Wies, P Kift, H Nissenbaum, L Subramanian, ...
Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 4 …, 2016
632016
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
Flow-sensitive fault localization
J Christ, E Ermis, M Schäf, T Wies
International Workshop on Verification, Model Checking, and Abstract …, 2013
612013
Combining theories with shared set operations
T Wies, R Piskac, V Kuncak
International Symposium on Frontiers of Combining Systems, 366-382, 2009
572009
Forward analysis of depth-bounded processes
T Wies, D Zufferey, TA Henzinger
Foundations of Software Science and Computational Structures: 13th …, 2010
562010
Abstraction refinement for quantified array assertions
MN Seghir, A Podelski, T Wies
International Static Analysis Symposium, 3-18, 2009
542009
Learning invariants using decision trees
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
432015
Vaccine: Using contextual integrity for data leakage detection
Y Shvartzshnaider, Z Pavlinovic, A Balashankar, T Wies, L Subramanian, ...
The World Wide Web Conference, 1702-1712, 2019
422019
Symbolic shape analysis.
T Wies, A Podelski
University of Freiburg, 2009
422009
An efficient decision procedure for imperative tree data structures
T Wies, M Muniz, V Kuncak
International Conference on Automated Deduction, 476-491, 2011
402011
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20