Learning the Language of Error. - Martin Chapman; Hana Chockler; Pascal Kesseli; Daniel Kroening; Ofer Strichman; Michael Tautschnig (ATVA, 2015)

Danger Invariants. - Cristina David; Pascal Kesseli; Daniel Kroening; Matt Lewis (FM, 2016)

Assisted Coverage Closure. - Adam Nellis; Pascal Kesseli; Philippa Ryan Conmy; Daniel Kroening; Peter Schrammel; Michael Tautschnig (NFM, 2016)

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 (CAV (1), 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 (HSCC, 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 (ASE, 2017)

Kayak: Safe Semantic Refactoring to Java Streams. - Cristina David; Pascal Kesseli; Daniel Kroening (CoRR, 2017)

Semantic refactorings. - Pascal Kesseli (2017)

Counterexample Guided Inductive Synthesis Modulo Theories. - Alessandro Abate; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (CAV (1), 2018)

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. - Lucas C. Cordeiro; Pascal Kesseli; Daniel Kroening; Peter Schrammel; Marek Trtík (CAV (1), 2018)

Program Synthesis for Program Analysis. - Cristina David; Pascal Kesseli; Daniel Kroening; Matt Lewis (ACM Trans. Program. Lang. Syst., 2018)

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)

Learning the Language of Software Errors. - Hana Chockler; Pascal Kesseli; Daniel Kroening; Ofer Strichman (J. Artif. Intell. Res., 2020)

Towards establishing formal verification and inductive code synthesis in the PLC domain. - Matthias Weiß; Philipp Marks; Benjamin Maschler; Dustin White; Pascal Kesseli; Michael Weyrich (INDIN, 2021)

Synthesising Programs with Non-trivial Constants. - Alessandro Abate; Haniel Barbosa; Clark W. Barrett; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen; Andrew Reynolds 001; Cesare Tinelli (J. Autom. Reason., 2023)

Quantifying the benefits of code hints for refactoring deprecated Java APIs. - Cristina David; Pascal Kesseli; Daniel Kroening; Hanliang Zhang (SIGSOFT FSE Companion, 2025)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers. - Pascal Kesseli; Peter W. O'Hearn; Ricardo Silveira Cabral (CoRR, 2025)