| Efficiently solving quantified bit-vector formulas CM Wintersteiger, Y Hamadi, L De Moura Formal Methods in System Design 42, 3-23, 2013 | 136 | 2013 |
| 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 | 98 | 2013 |
| Termination analysis with compositional transition invariants D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 96 | 2010 |
| Seven challenges in parallel SAT solving Y Hamadi, C Wintersteiger AI Magazine 34 (2), 99-99, 2013 | 84 | 2013 |
| A concurrent portfolio approach to SMT solving CM Wintersteiger, Y Hamadi, L De Moura Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 79 | 2009 |
| 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 | 71 | 2020 |
| Loop Summarization and Termination Analysis. A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening TACAS 11, 81-95, 2011 | 67 | 2011 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger Automated Technology for Verification and Analysis: 6th International …, 2008 | 66 | 2008 |
| 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 | 60 | 2007 |
| 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 | 59 | 2018 |
| CCF: A framework for building confidential verifiable replicated services M Russinovich, E Ashton, C Avanessians, M Castro, A Chamayou, ... Technical report, Microsoft Research and Microsoft Azure, 2019 | 50 | 2019 |
| Programming Z3 N Bjørner, L de Moura, L Nachmanson, CM Wintersteiger Engineering Trustworthy Software Systems: 4th International School, SETSS …, 2019 | 43 | 2019 |
| 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 | 43 | 2015 |
| Deciding Bit-Vector Formulas with mcSAT A Zeljić, CM Wintersteiger, P Rümmer Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 38 | 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 | 35 | 2013 |
| 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 | 25 | 2014 |
| 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 | 25 | 2013 |
| Digitaltechnik—Eine praxisnahe Einführung A Biere, D Kröning, G Weissenbacher, CM Wintersteiger Digitaltechnik—Eine praxisnahe Einführung, 39-83, 2008 | 20 | 2008 |
| Loopfrog: A static analyzer for ANSI-C programs D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 18 | 2009 |
| An approximation framework for solvers and decision procedures A Zeljić, CM Wintersteiger, P Rümmer Journal of automated reasoning 58, 127-147, 2017 | 17 | 2017 |
Daniel KroeningAmazonVerified email at amazon.com
