Thomas Wies
Titel
Zitiert von
Zitiert von
Jahr
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
2712007
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
International Conference on Computer Aided Verification, 773-789, 2013
1202013
Boolean heaps
A Podelski, T Wies
International Static Analysis Symposium, 268-283, 2005
922005
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
International Conference on Computer Aided Verification, 711-728, 2014
672014
Grasshopper
R Piskac, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2014
672014
Error invariants
E Ermis, M Schäf, T Wies
International Symposium on Formal Methods, 187-201, 2012
662012
Field constraint analysis
T Wies, V Kuncak, P Lam, A Podelski, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 2006
652006
Using first-order theorem provers in the Jahob data structure verification system
C Bouillaguet, V Kuncak, T Wies, K Zee, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 2007
632007
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
602010
Forward analysis of depth-bounded processes
T Wies, D Zufferey, TA Henzinger
International Conference on Foundations of Software Science and …, 2010
552010
Abstraction refinement for quantified array assertions
MN Seghir, A Podelski, T Wies
International Static Analysis Symposium, 3-18, 2009
502009
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
482017
Flow-sensitive fault localization
J Christ, E Ermis, M Schäf, T Wies
International Workshop on Verification, Model Checking, and Abstract …, 2013
462013
Combining theories with shared set operations
T Wies, R Piskac, V Kuncak
International Symposium on Frontiers of Combining Systems, 366-382, 2009
452009
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
392009
Finding minimum type error sources
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 49 (10), 525-542, 2014
382014
An efficient decision procedure for imperative tree data structures
T Wies, M Muñiz, V Kuncak
International Conference on Automated Deduction, 476-491, 2011
352011
Heap assumptions on demand
A Podelski, A Rybalchenko, T Wies
International Conference on Computer Aided Verification, 314-327, 2008
332008
Ideal abstractions for well-structured transition systems
D Zufferey, T Wies, TA Henzinger
International Workshop on Verification, Model Checking, and Abstract …, 2012
322012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20