William Klieber
Title
Cited by
Cited by
Year
Solving QBF with Counterexample Guided Refinement
M Janota, W Klieber, J Marques-Silva, E Clarke
Theory and Applications of Satisfiability Testing–SAT 2012, 114-128, 2012
242*2012
Android taint flow analysis for app sets
W Klieber, L Flynn, A Bhosale, L Jia, L Bauer
Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of …, 2014
2252014
Model Checking and the State Explosion Problem
EM Clarke, W Klieber, M Nováček, P Zuliani
Tools for Practical Software Verification, 1-30, 2012
2252012
Adaptive simulations of two-phase flow by discontinuous Galerkin methods
W Klieber, B Rivière
Computer methods in applied mechanics and engineering 196 (1), 404-419, 2006
862006
A non-prenex, non-clausal QBF solver with game-state learning
W Klieber, S Sapra, S Gao, E Clarke
Theory and Applications of Satisfiability Testing–SAT 2010, 128-142, 2010
822010
Efficient CNF encoding for selecting 1 from N objects
W Klieber, G Kwon
International Workshop on Constraints in Formal Verification, 2007
512007
Non-CNF QBF Solving with QCIR.
C Jordan, W Klieber, M Seidl
AAAI Workshop: Beyond NP, 2016
202016
The QBFGallery 2014: The QBF competition at the FLoC olympic games
M Janota, C Jordan, W Klieber, F Lonsing, M Seidl, A Van Gelder
Journal on Satisfiability, Boolean Modeling and Computation 9, 187-206, 2016
18*2016
Solving QBF with Free Variables
W Klieber, M Janota, J Marques-Silva, E Clarke
Principles and Practice of Constraint Programming, 415-431, 2013
142013
Making DidFail succeed: Enhancing the CERT static taint analyzer for Android app sets
J Burket, L Flynn, W Klieber, J Lim, W Snavely
132015
On Conflicts and Strategies in QBF.
N Bjørner, M Janota, W Klieber
LPAR (short papers), 28-41, 2015
132015
Formal Verification Using Quantified Boolean Formulas (QBF)
W Klieber
Carnegie Mellon University, 2014
6*2014
Automated Code Repair Based on Inferred Specifications
W Klieber, W Snavely
Cybersecurity Development (SecDev), IEEE, 130-137, 2016
52016
Smartphone Security
L Flynn, W Klieber
IEEE Pervasive Computing 14 (4), 16-21, 2015
5*2015
GhostQ
W Klieber
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 65-72, 2019
22019
Practical Precise Taint-flow Static Analysis for Android App Sets
W Klieber, L Flynn, W Snavely, M Zheng
Proceedings of the 13th International Conference on Availability …, 2018
22018
Detecting leaks of sensitive data due to stale reads
W Snavely, W Klieber, R Steele, D Svoboda, A Kotov
2018 IEEE Cybersecurity Development (SecDev), 37-44, 2018
2018
Detecting leaks of sensitive data due to stale reads
W Snavely, W Klieber, R Steele, D Svoboda, A Kotov
IEEE SecDev, 2018
2018
Extending DPLL-Based QBF Solvers to Handle Free Variables
W Klieber, M Janota, J Marques-Silva, E Clarke
International Workshop on Quantified Boolean Formulas 20131 Informal …, 2013
2013
GhostQ QBF Solver System Description
W Klieber
2012
The system can't perform the operation now. Try again later.
Articles 1–20