| Efficiently solving quantified bit-vector formulas CM Wintersteiger, Y Hamadi, L De Moura Formal Methods in System Design 42, 3-23, 2013 | 148 | 2013 |
| Evercrypt: A fast, verified, cross-platform cryptographic provider J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ... 2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 2020 | 126 | 2020 |
| A concurrent portfolio approach to SMT solving CM Wintersteiger, Y Hamadi, L De Moura Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 106 | 2009 |
| Termination analysis with compositional transition invariants D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger International Conference on Computer Aided Verification, 89-103, 2010 | 102 | 2010 |
| SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data S Woodhouse, N Piterman, CM Wintersteiger, B Göttgens, J Fisher BMC systems biology 12, 1-7, 2018 | 99 | 2018 |
| Ranking function synthesis for bit-vector relations B Cook, D Kroening, P Rümmer, CM Wintersteiger Formal methods in system design 43 (1), 93-120, 2013 | 99 | 2013 |
| CCF: A framework for building confidential verifiable replicated services M Russinovich, E Ashton, C Avanessians, M Castro, A Chamayou, ... Microsoft, Redmond, WA, USA, Tech. Rep. MSR-TR-2019-16, 2019 | 92 | 2019 |
| Seven challenges in parallel SAT solving Y Hamadi, C Wintersteiger Ai Magazine 34 (2), 99-99, 2013 | 92 | 2013 |
| Programming Z3 N Bjřrner, L de Moura, L Nachmanson, CM Wintersteiger Engineering Trustworthy Software Systems: 4th International School, SETSS …, 2019 | 89 | 2019 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger International Symposium on Automated Technology for Verification and …, 2008 | 73 | 2008 |
| Loop summarization and termination analysis A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2011 | 72 | 2011 |
| A first step towards a unified proof checker for QBF T Jussila, A Biere, C Sinz, D Kröning, CM Wintersteiger Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007 | 67 | 2007 |
| Stochastic local search for satisfiability modulo theories A Fröhlich, A Biere, C Wintersteiger, Y Hamadi Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 53 | 2015 |
| Deciding Bit-Vector Formulas with mcSAT A Zeljić, CM Wintersteiger, P Rümmer Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 43 | 2016 |
| SMT-based analysis of biological computation B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 36 | 2013 |
| {IA-CCF}: Individual accountability for permissioned ledgers A Shamis, P Pietzuch, B Canakci, M Castro, C Fournet, E Ashton, ... 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2022 | 32 | 2022 |
| Loop summarization using state and transition invariants D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger Formal Methods in System Design 42, 221-261, 2013 | 32 | 2013 |
| Snmalloc: a message passing allocator P Liétar, T Butler, S Clebsch, S Drossopoulou, J Franco, MJ Parkinson, ... Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory …, 2019 | 31 | 2019 |
| Analyzing and synthesizing genomic logic functions N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 27 | 2014 |
| An approximation framework for solvers and decision procedures A Zeljić, CM Wintersteiger, P Rümmer Journal of automated reasoning 58, 127-147, 2017 | 19 | 2017 |
Daniel KroeningAmazonVerified email at amazon.com
