Pascal Kesseli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | INDIN | Towards establishing formal verification and inductive code synthesis in the PLC domain. | Matthias Wei, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich |
| 2018 | CAV | Counterexample Guided Inductive Synthesis Modulo Theories. | Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
| 2018 | CAV | JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. | Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtk |
| 2017 | CAV | 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 |
| 2016 | FM | Danger Invariants. | Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis |
| 2015 | ATVA | Learning the Language of Error. | Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig |