Pascal Kesseli : Publications

Click here to download all publications in a single bibtex file

@article{Abate2019,
  title = "Automated formal synthesis of provably safe digital controllers for continuous plants",
  author = "Abate, Alessandro and Bessa, Iury and Cordeiro, Lucas and David, Cristina and Kesseli, Pascal and Kroening, Daniel and Polgreen, Elizabeth",
  year = "2019",
  issn = "1432-0525",
  journal = "Acta Informatica",
  month = "Dec",
  doi = "10.1007/s00236-019-00359-1",
}

@article{article,
  title = "Program Synthesis for Program Analysis",
  author = "David, Cristina and Kesseli, Pascal and Kroening, Daniel and Lewis, Matt",
  year = "2018",
  journal = "ACM Transactions on Programming Languages and Systems",
  month = "05",
  pages = "1-45",
  volume = "40",
}

@inproceedings{10.1007/978-3-319-96145-3_15,
  title = "Counterexample Guided Inductive Synthesis Modulo Theories",
  author = "Abate, Alessandro and David, Cristina and Kesseli, Pascal and Kroening, Daniel and Polgreen, Elizabeth",
  year = "2018",
  address = "Cham",
  booktitle = "Computer Aided Verification",
  editor = "Chockler, Hana and Weissenbacher, Georg",
  isbn = "978-3-319-96145-3",
  pages = "270--288",
  publisher = "Springer International Publishing",
}

@inproceedings{10.1007/978-3-319-96145-3_10,
  title = "JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode",
  author = "Cordeiro, Lucas and Kesseli, Pascal and Kroening, Daniel and Schrammel, Peter and Trtik, Marek",
  year = "2018",
  address = "Cham",
  booktitle = "Computer Aided Verification",
  editor = "Chockler, Hana and Weissenbacher, Georg",
  isbn = "978-3-319-96145-3",
  pages = "183--190",
  publisher = "Springer International Publishing",
}

@inbook{Abate2017,
  title = "Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants",
  author = "Abate, Alessandro and Bessa, Iury and Cattaruzza, Dario and Cordeiro, Lucas and David, Cristina and Kesseli, Pascal and Kroening, Daniel and Polgreen, Elizabeth",
  year = "2017",
  address = "Cham",
  booktitle = "Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I",
  editor = "Majumdar, Rupak and Kun{\v{c}}ak, Viktor",
  isbn = "978-3-319-63387-9",
  pages = "462--482",
  publisher = "Springer International Publishing",
  url = "https://doi.org/10.1007/978-3-319-63387-9_23",
  doi = "10.1007/978-3-319-63387-9_23",
}

@article{DBLP:journals/corr/abs-1712-07388,
  title = "Kayak: Safe Semantic Refactoring to Java Streams",
  author = "Cristina David and Pascal Kesseli and Daniel Kroening",
  year = "2017",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1712.07388",
  volume = "abs/1712.07388",
}

@inproceedings{DBLP:conf/kbse/AbateBCCCDKKP17,
  title = "DSSynth: an automated digital controller synthesis tool for physical plants",
  author = "Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas C. Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen",
  year = "2017",
  booktitle = "Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017",
  pages = "919--924",
  url = "https://doi.org/10.1109/ASE.2017.8115705",
  doi = "10.1109/ASE.2017.8115705",
}

@inproceedings{Abate:2017:SAS:3049797.3049802,
  title = "Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants",
  author = "Abate, Alessandro and Bessa, Iury and Cattaruzza, Dario and Cordeiro, Lucas and David, Cristina and Kesseli, Pascal and Kroening, Daniel",
  year = "2017",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control",
  isbn = "978-1-4503-4590-3",
  keywords = "Cegis, digital control synthesis, finite-word-length representation, quantization, time sampling",
  location = "Pittsburgh, Pennsylvania, USA",
  pages = "197--206",
  publisher = "ACM",
  series = "HSCC '17",
  url = "http://doi.acm.org/10.1145/3049797.3049802",
  doi = "10.1145/3049797.3049802",
}

@inbook{Nellis2016,
  title = "Assisted Coverage Closure",
  author = "Nellis, Adam and Kesseli, Pascal and Conmy, Philippa Ryan and Kroening, Daniel and Schrammel, Peter and Tautschnig, Michael",
  year = "2016",
  address = "Cham",
  booktitle = "NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings",
  editor = "Rayadurgam, Sanjai and Tkachuk, Oksana",
  isbn = "978-3-319-40648-0",
  pages = "49--64",
  publisher = "Springer International Publishing",
  url = "http://dx.doi.org/10.1007/978-3-319-40648-0_5",
  doi = "10.1007/978-3-319-40648-0_5",
}

@inbook{David2016,
  title = "Danger Invariants",
  author = "David, Cristina and Kesseli, Pascal and Kroening, Daniel and Lewis, Matt",
  year = "2016",
  address = "Cham",
  booktitle = "FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings",
  editor = "Fitzgerald, John and Heitmeyer, Constance and Gnesi, Stefania and Philippou, Anna",
  isbn = "978-3-319-48989-6",
  pages = "182--198",
  publisher = "Springer International Publishing",
  url = "http://dx.doi.org/10.1007/978-3-319-48989-6_12",
  doi = "10.1007/978-3-319-48989-6_12",
}

@inbook{Chapman2015,
  title = "Learning the Language of Error",
  author = "Chapman, Martin and Chockler, Hana and Kesseli, Pascal and Kroening, Daniel and Strichman, Ofer and Tautschnig, Michael",
  year = "2015",
  address = "Cham",
  booktitle = "Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings",
  editor = "Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun",
  isbn = "978-3-319-24953-7",
  pages = "114--130",
  publisher = "Springer International Publishing",
  url = "http://dx.doi.org/10.1007/978-3-319-24953-7_9",
  doi = "10.1007/978-3-319-24953-7_9",
}