Pascal Kesseli
Pascal Kesseli
Diffblue Ltd.
Verified email at diffblue.com - Homepage
TitleCited byYear
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
222017
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
222017
Learning the language of error
M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ...
International Symposium on Automated Technology for Verification and …, 2015
162015
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
142018
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
122018
DSSynth: an automated digital controller synthesis tool for physical plants
A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ...
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
82017
Danger invariants
C David, P Kesseli, D Kroening, M Lewis
International Symposium on Formal Methods, 182-198, 2016
72016
Kayak: Safe semantic refactoring to java streams
C David, P Kesseli, D Kroening
arXiv preprint arXiv:1712.07388, 2017
32017
Assisted coverage closure
A Nellis, P Kesseli, PR Conmy, D Kroening, P Schrammel, M Tautschnig
NASA Formal Methods Symposium, 49-64, 2016
22016
Loop Analysis and Transformation towards STL Algorithms
P Kesseli
HSR Hochschule für Technik Rapperswil, 2010
22010
Program Synthesis for Program Analysis
C David, P Kesseli, D Kroening, M Lewis
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (2), 5, 2018
12018
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, 1-22, 2019
2019
Counterexample Guided Inductive Synthesis Modulo Theories
P Kesseli
2018
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode⋆
P Kesseli, M Trtik
2018
Automated Formal Synthesis of Digital Controllers for State− Space Physical Plants
P Kesseli
2017
Semantic refactorings
P Kesseli
University of Oxford, 2017
2017
Danger Invariants
P Kesseli
2016
Learning the language of error
P Kesseli
2015
King’s Research Portal
MD Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ...
ICECCS 2014 Additional Reviewers
F Albogamy, P Ballarini, M Brain, J Cano, D Cenni, Y Chen, ...
The system can't perform the operation now. Try again later.
Articles 1–20