Pascal Kesseli
Pascal Kesseli
Diffblue Ltd.
Verified email at diffblue.com - Homepage
TitleCited byYear
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
202017
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
192017
Learning the language of error
M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ...
International Symposium on Automated Technology for Verification and …, 2015
152015
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
112018
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
92018
Danger invariants
C David, P Kesseli, D Kroening, M Lewis
International Symposium on Formal Methods, 182-198, 2016
72016
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
52017
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
Semantic refactorings
P Kesseli
University of Oxford, 2017
2017
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode⋆
P Kesseli, M Trtik
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, ...
Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
ICECCS 2015 Additional Reviewers
R Arshad, C Attiogbe, P Ballarini, JL Béchennec, A Belaggoun, S Bijo, ...
The system can't perform the operation now. Try again later.
Articles 1–17