Follow
William Klieber
Title
Cited by
Cited by
Year
Model Checking and the State Explosion Problem
EM Clarke, W Klieber, M Nováček, P Zuliani
Tools for Practical Software Verification, 1-30, 2012
4202012
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
311*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
2932014
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
1032006
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
962010
Efficient CNF encoding for selecting 1 from N objects
W Klieber, G Kwon
International Workshop on Constraints in Formal Verification, 2007
732007
Non-CNF QBF Solving with QCIR.
C Jordan, W Klieber, M Seidl
AAAI Workshop: Beyond NP, 2016
342016
On Conflicts and Strategies in QBF.
N Bjřrner, M Janota, W Klieber
LPAR (short papers), 28-41, 2015
202015
QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games
M Janota, C Jordan, W Klieber, F Lonsing, M Seidl, A Van Gelder
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 187-206, 2014
182014
Solving QBF with Free Variables
W Klieber, M Janota, J Marques-Silva, E Clarke
Principles and Practice of Constraint Programming, 415-431, 2013
182013
Making DidFail succeed: Enhancing the CERT static taint analyzer for Android app sets
J Burket, L Flynn, W Klieber, J Lim, W Snavely
172015
Smartphone Security
L Flynn, W Klieber
IEEE Pervasive Computing 14 (4), 16-21, 2015
142015
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
82018
Automated Code Repair Based on Inferred Specifications
W Klieber, W Snavely
Cybersecurity Development (SecDev), IEEE, 130-137, 2016
72016
Formal Verification Using Quantified Boolean Formulas (QBF)
W Klieber
Carnegie Mellon University, 2014
6*2014
Automated Code Repair to Ensure Spatial Memory Safety
W Klieber, R Martins, R Steele, M Churilla, M McCall, D Svoboda
2021 IEEE/ACM International Workshop on Automated Program Repair (APR), 23-30, 2021
52021
GhostQ
W Klieber
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 65-72, 2019
32019
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
22018
Detecting leaks of sensitive data due to stale reads
W Snavely, W Klieber, R Steele, D Svoboda, A Kotov
IEEE SecDev, 2018
22018
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
The system can't perform the operation now. Try again later.
Articles 1–20