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 | 29 | 2017 |
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 | 26 | 2018 |
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 | 26 | 2018 |
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 | 24 | 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 | 22 | 2015 |
Learning the language of error M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ... International Symposium on Automated Technology for Verification and …, 2015 | 22 | 2015 |
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 | 10 | 2017 |
Danger invariants C David, P Kesseli, D Kroening, M Lewis International Symposium on Formal Methods, 182-198, 2016 | 10 | 2016 |
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 | 5 | 2018 |
Kayak: Safe semantic refactoring to java streams C David, P Kesseli, D Kroening arXiv preprint arXiv:1712.07388, 2017 | 3 | 2017 |
Assisted coverage closure A Nellis, P Kesseli, PR Conmy, D Kroening, P Schrammel, M Tautschnig NASA Formal Methods Symposium, 49-64, 2016 | 2 | 2016 |
Loop Analysis and Transformation towards STL Algorithms P Kesseli HSR Hochschule für Technik Rapperswil, 2010 | 2 | 2010 |
Learning the Language of Software Errors H Chockler, P Kesseli, D Kroening, O Strichman Journal of Artificial Intelligence Research 67, 881-903, 2020 | 1 | 2020 |
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 | 1 | 2020 |
Learning the language of error P Kesseli | 1 | 2015 |
Learning the language of software errors D Kroenig, O Strichman, P Kesseli, H Chockler Journal of Artificial Intelligence Research 67 (2020), 2020 | | 2020 |
Counterexample Guided Inductive Synthesis Modulo Theories P Kesseli | | 2018 |
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode⋆ P Kesseli, M Trtik | | 2018 |
Kayak: Safe Semantic Refactoring to Java Streams P Kesseli, D Kroening CoRR, 2017 | | 2017 |
Automated Formal Synthesis of Digital Controllers for State− Space Physical Plants P Kesseli | | 2017 |