| Automated verification of shape, size and bag properties via user-defined predicates in separation logic WN Chin, C David, HH Nguyen, S Qin Science of Computer Programming 77 (9), 1006-1036, 2012 | 212 | 2012 |
| Automated verification of shape and size properties via separation logic HH Nguyen, C David, S Qin, WN Chin International Workshop on Verification, Model Checking, and Abstract …, 2007 | 210 | 2007 |
| Enhancing modular OO verification with separation logic WN Chin, C David, HH Nguyen, S Qin ACM SIGPLAN Notices 43 (1), 87-99, 2008 | 100 | 2008 |
| Counterexample guided inductive synthesis modulo theories A Abate, C David, P Kesseli, D Kroening, E Polgreen International Conference on Computer Aided Verification, 270-288, 2018 | 90 | 2018 |
| Program synthesis: challenges and opportunities C David, D Kroening Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017 | 63 | 2017 |
| Automatically inferring quantified loop invariants by algorithmic learning from simple templates S Kong, Y Jung, C David, BY Wang, K Yi Asian Symposium on Programming Languages and Systems, 328-343, 2010 | 50 | 2010 |
| Impact parameter determination in experimental analysis using a neural network F Haddad, K Hagel, J Li, N Mdeiwayeh, JB Natowitz, R Wada, B Xiao, ... Physical Review C 55 (3), 1371, 1997 | 47 | 1997 |
| Automated formal synthesis of digital controllers for state-space physical plants A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ... Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 44 | 2017 |
| Synthesising interprocedural bit-precise termination proofs (T) HY Chen, C David, D Kroening, P Schrammel, B Wachter 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 44 | 2015 |
| Automated verification of shape, size and bag properties WN Chin, C David, HH Nguyen, S Qin 12th IEEE International Conference on Engineering Complex Computer Systems …, 2007 | 34 | 2007 |
| Using program synthesis for program analysis C David, D Kroening, M Lewis Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 30 | 2015 |
| Unrestricted termination and non-termination arguments for bit-vector programs C David, D Kroening, M Lewis Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 30 | 2015 |
| Structured specifications for better verification of heap-manipulating programs C Gherghina, C David, S Qin, WN Chin FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011 | 29 | 2011 |
| Sound and automated synthesis of digital stabilizing controllers for continuous plants A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ... Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 27 | 2017 |
| Bi-abduction with pure properties for specification inference MT Trinh, QL Le, C David, WN Chin Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013 | 27 | 2013 |
| Danger invariants C David, P Kesseli, D Kroening, M Lewis FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 25 | 2016 |
| A HIP and SLEEK verification system WN Chin, C David, C Gherghina Proceedings of the ACM international conference companion on Object oriented …, 2011 | 22 | 2011 |
| Timing performance of a multi-pad PICOSEC-Micromegas detector prototype S Aune, J Bortfeldt, F Brunbauer, C David, D Desforge, G Fanourakis, ... Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2021 | 21 | 2021 |
| Immutable specifications for more concise and precise verification C David, WN Chin Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 21 | 2011 |
| Bit-precise procedure-modular termination analysis HY Chen, C David, D Kroening, P Schrammel, B Wachter ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-38, 2017 | 20 | 2017 |
