| Model Checking and the State Explosion Problem EM Clarke, W Klieber, M Nováček, P Zuliani Tools for Practical Software Verification, 1-30, 2012 | 456 | 2012 |
| 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 | 318* | 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 | 295 | 2014 |
| 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 | 103 | 2006 |
| 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 | 98 | 2010 |
| Efficient CNF encoding for selecting 1 from N objects W Klieber, G Kwon International Workshop on Constraints in Formal Verification, 2007 | 76 | 2007 |
| Non-CNF QBF Solving with QCIR. C Jordan, W Klieber, M Seidl AAAI Workshop: Beyond NP, 2016 | 38 | 2016 |
| On Conflicts and Strategies in QBF. N Bjørner, M Janota, W Klieber LPAR (short papers), 28-41, 2015 | 20 | 2015 |
| Solving QBF with Free Variables W Klieber, M Janota, J Marques-Silva, E Clarke Principles and Practice of Constraint Programming, 415-431, 2013 | 20 | 2013 |
| 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 | 18 | 2014 |
| Making DidFail succeed: Enhancing the CERT static taint analyzer for Android app sets J Burket, L Flynn, W Klieber, J Lim, W Snavely | 17 | 2015 |
| Smartphone Security L Flynn, W Klieber IEEE Pervasive Computing 14 (4), 16-21, 2015 | 14 | 2015 |
| 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 | 8 | 2018 |
| 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 | 6 | 2021 |
| Automated Code Repair Based on Inferred Specifications W Klieber, W Snavely Cybersecurity Development (SecDev), IEEE, 130-137, 2016 | 6 | 2016 |
| Formal Verification Using Quantified Boolean Formulas (QBF) W Klieber Carnegie Mellon University, 2014 | 6* | 2014 |
| GhostQ W Klieber Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 65-72, 2019 | 3 | 2019 |
| 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 | 2 | 2018 |
| Detecting leaks of sensitive data due to stale reads W Snavely, W Klieber, R Steele, D Svoboda, A Kotov IEEE SecDev, 2018 | 2 | 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 |
Mikoláš JanotaCTU Prague在 cvut.cz 的电子邮件经过验证
Mikoláš JanotaCTU Prague在 cvut.cz 的电子邮件经过验证
Joao Marques-SilvaResearch Professor, ICREA, University of Lleida在 icrea.cat 的电子邮件经过验证