| JBMC: A bounded model checking tool for verifying Java bytecode L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik International Conference on Computer Aided Verification, 183-190, 2018 | 127 | 2018 |
| 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 | 118 | 2018 |
| Automated formal synthesis of digital controllers for state-space physical plants A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ... International Conference on Computer Aided Verification, 462-482, 2017 | 47 | 2017 |
| Learning the language of error M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ... International Symposium on Automated Technology for Verification and …, 2015 | 31 | 2015 |
| 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 |
| Danger invariants C David, P Kesseli, D Kroening, M Lewis International Symposium on Formal Methods, 182-198, 2016 | 23 | 2016 |
| Automated formal synthesis of provably safe digital controllers for continuous plants A Abate, I Bessa, L Cordeiro, C David, P Kesseli, D Kroening, E Polgreen Acta Informatica 57 (1), 223-244, 2020 | 19 | 2020 |
| Program synthesis for program analysis C David, P Kesseli, D Kroening, M Lewis ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (2), 1-45, 2018 | 13 | 2018 |
| Learning the language of software errors H Chockler, P Kesseli, D Kroening, O Strichman Journal of Artificial Intelligence Research 67, 881-903, 2020 | 11 | 2020 |
| DSSynth: an automated digital controller synthesis tool for physical plants A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ... 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 11 | 2017 |
| Logic. py: Bridging the Gap between LLMs and Constraint Solvers P Kesseli, P O'Hearn, RS Cabral arXiv preprint arXiv:2502.15776, 2025 | 10 | 2025 |
| Kayak: Safe semantic refactoring to java streams C David, P Kesseli, D Kroening arXiv preprint arXiv:1712.07388, 2017 | 10 | 2017 |
| Towards establishing formal verification and inductive code synthesis in the PLC domain M Weiß, P Marks, B Maschler, D White, P Kesseli, M Weyrich 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 1-8, 2021 | 6 | 2021 |
| Semantic refactorings P Kesseli University of Oxford, 2017 | 5 | 2017 |
| Assisted coverage closure A Nellis, P Kesseli, PR Conmy, D Kroening, P Schrammel, M Tautschnig NASA Formal Methods Symposium, 49-64, 2016 | 5 | 2016 |
| Loop Analysis and Transformation towards STL Algorithms P Kesseli HSR Hochschule für Technik Rapperswil, 2010 | 4 | 2010 |
| Synthesising programs with non-trivial constants A Abate, H Barbosa, C Barrett, C David, P Kesseli, D Kroening, ... Journal of automated reasoning 67 (2), 19, 2023 | 3 | 2023 |
| Quantifying the benefits of code hints for refactoring deprecated Java APIs C David, P Kesseli, D Kroening, H Zhang Proceedings of the 33rd ACM International Conference on the Foundations of …, 2025 | 1 | 2025 |
| Learning the language of error P Kesseli | 1 | 2015 |
| Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ... Seventh Workshop on Synthesis, 2018 | | 2018 |
