Pascal Kesseli

According to our database, Pascal Kesseli authored at least 15 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Synthesising Programs with Non-trivial Constants.

Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli

J. Autom. Reason., June, 2023

2021

Towards establishing formal verification and inductive code synthesis in the PLC domain.

Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich

Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

2020

Learning the Language of Software Errors.

Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman

J. Artif. Intell. Res., 2020

Automated formal synthesis of provably safe digital controllers for continuous plants.

Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Acta Informatica, 2020

2018

Program Synthesis for Program Analysis.

Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis

ACM Trans. Program. Lang. Syst., 2018

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.

Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Counterexample Guided Inductive Synthesis Modulo Theories.

Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Semantic refactorings.

Pascal Kesseli

PhD thesis, 2017

Kayak: Safe Semantic Refactoring to Java Streams.

Cristina David, Pascal Kesseli, Daniel Kroening

CoRR, 2017

DSSynth: an automated digital controller synthesis tool for physical plants.

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Assisted Coverage Closure.

Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Danger Invariants.

Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis

Proceedings of the FM 2016: Formal Methods, 2016

2015

Learning the Language of Error.

Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig

Proceedings of the Automated Technology for Verification and Analysis, 2015