Pascal Kesseli

ORCID

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 16

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
Synthesising Programs with Non-trivial Constants. J. Autom. Reason. 67 (2) (2023)
Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
Towards establishing formal verification and inductive code synthesis in the PLC domain. INDIN (2021)
Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
Towards establishing formal verification and inductive code synthesis in the PLC domain. CoRR (2021)
Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman
Learning the Language of Software Errors. J. Artif. Intell. Res. 67 (2020)
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica 57 (1-2) (2020)
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
Program Synthesis for Program Analysis. ACM Trans. Program. Lang. Syst. 40 (2) (2018)
Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Counterexample Guided Inductive Synthesis Modulo Theories. CAV (1) (2018)
Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. CAV (1) (2018)
Cristina David, Pascal Kesseli, Daniel Kroening
Kayak: Safe Semantic Refactoring to Java Streams. CoRR (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
DSSynth: an automated digital controller synthesis tool for physical plants. ASE (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. HSCC (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CAV (1) (2017)
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
Danger Invariants. FM (2016)
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Assisted Coverage Closure. NFM (2016)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR (2016)
Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig
Learning the Language of Error. ATVA (2015)
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Assisted Coverage Closure. CoRR (2015)

Pascal Kesseli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pascal Kesseli