Pascal Kesseli

According to our database, Pascal Kesseli authored at least 10 papers between 2015 and 2018.

Collaborative distances:

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

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

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

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon 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