Folgen
Pascal Kesseli
Pascal Kesseli
Diffblue Ltd.
Bestätigte E-Mail-Adresse bei diffblue.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
882018
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
792018
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
442017
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
272017
Learning the language of error
M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ...
Automated Technology for Verification and Analysis: 13th International …, 2015
272015
Danger invariants
C David, P Kesseli, D Kroening, M Lewis
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
232016
Learning the language of software errors
H Chockler, P Kesseli, D Kroening, O Strichman
Journal of Artificial Intelligence Research 67, 881-903, 2020
112020
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
102020
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
102018
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
102017
Kayak: Safe semantic refactoring to java streams
C David, P Kesseli, D Kroening
arXiv preprint arXiv:1712.07388, 2017
52017
Assisted coverage closure
A Nellis, P Kesseli, PR Conmy, D Kroening, P Schrammel, M Tautschnig
NASA Formal Methods Symposium, 49-64, 2016
52016
Loop Analysis and Transformation towards STL Algorithms
P Kesseli
HSR Hochschule für Technik Rapperswil, 2010
42010
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
32021
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
22023
Semantic refactorings
P Kesseli
University of Oxford, 2017
22017
Learning the language of error
P Kesseli
12015
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
Counterexample Guided Inductive Synthesis Modulo Theories
P Kesseli
2018
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
P Kesseli, M Trtik
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20