Pascal Kesseli : Publications
Book chapters
-
[1]
Automated Formal Synthesis of Digital Controllers for State−Space Physical Plants
Alessandro Abate‚ Iury Bessa‚ Dario Cattaruzza‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In Rupak Majumdar and Viktor Kunčak, editors, Computer Aided Verification: 29th International Conference‚ CAV 2017‚ Heidelberg‚ Germany‚ July 24−28‚ 2017‚ Proceedings‚ Part I. Pages 462–482. Springer International Publishing, Cham. 2017.
Details about Automated Formal Synthesis of Digital Controllers for State−Space Physical Plants | BibTeX data for Automated Formal Synthesis of Digital Controllers for State−Space Physical Plants | DOI (10.1007/978-3-319-63387-9_23) | Link to Automated Formal Synthesis of Digital Controllers for State−Space Physical Plants
-
[2]
Assisted Coverage Closure
Adam Nellis‚ Pascal Kesseli‚ Philippa Ryan Conmy‚ Daniel Kroening‚ Peter Schrammel and Michael Tautschnig
In Sanjai Rayadurgam and Oksana Tkachuk, editors, NASA Formal Methods: 8th International Symposium‚ NFM 2016‚ Minneapolis‚ MN‚ USA‚ June 7−9‚ 2016‚ Proceedings. Pages 49–64. Springer International Publishing, Cham. 2016.
Details about Assisted Coverage Closure | BibTeX data for Assisted Coverage Closure | DOI (10.1007/978-3-319-40648-0_5) | Link to Assisted Coverage Closure
-
[3]
Danger Invariants
Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Matt Lewis
In John Fitzgerald‚ Constance Heitmeyer‚ Stefania Gnesi and Anna Philippou, editors, FM 2016: Formal Methods: 21st International Symposium‚ Limassol‚ Cyprus‚ November 9−11‚ 2016‚ Proceedings. Pages 182–198. Springer International Publishing, Cham. 2016.
Details about Danger Invariants | BibTeX data for Danger Invariants | DOI (10.1007/978-3-319-48989-6_12) | Link to Danger Invariants
-
[4]
Learning the Language of Error
Martin Chapman‚ Hana Chockler‚ Pascal Kesseli‚ Daniel Kroening‚ Ofer Strichman and Michael Tautschnig
In Bernd Finkbeiner‚ Geguang Pu and Lijun Zhang, editors, Automated Technology for Verification and Analysis: 13th International Symposium‚ ATVA 2015‚ Shanghai‚ China‚ October 12−15‚ 2015‚ Proceedings. Pages 114–130. Springer International Publishing, Cham. 2015.
Details about Learning the Language of Error | BibTeX data for Learning the Language of Error | DOI (10.1007/978-3-319-24953-7_9) | Link to Learning the Language of Error
Journal papers
-
[1]
Automated formal synthesis of provably safe digital controllers for continuous plants
Alessandro Abate‚ Iury Bessa‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In Acta Informatica. December, 2019.
Details about Automated formal synthesis of provably safe digital controllers for continuous plants | BibTeX data for Automated formal synthesis of provably safe digital controllers for continuous plants | DOI (10.1007/s00236-019-00359-1)
-
[2]
Program Synthesis for Program Analysis
Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Matt Lewis
In ACM Transactions on Programming Languages and Systems. Vol. 40. Pages 1−45. 2018.
Details about Program Synthesis for Program Analysis | BibTeX data for Program Synthesis for Program Analysis
-
[3]
Kayak: Safe Semantic Refactoring to Java Streams
Cristina David‚ Pascal Kesseli and Daniel Kroening
In CoRR. Vol. abs/1712.07388. 2017.
Details about Kayak: Safe Semantic Refactoring to Java Streams | BibTeX data for Kayak: Safe Semantic Refactoring to Java Streams | Link to Kayak: Safe Semantic Refactoring to Java Streams
Conference papers
-
[1]
Counterexample Guided Inductive Synthesis Modulo Theories
Alessandro Abate‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In Hana Chockler and Georg Weissenbacher, editors, Computer Aided Verification. Pages 270–288. Cham. 2018. Springer International Publishing.
Details about Counterexample Guided Inductive Synthesis Modulo Theories | BibTeX data for Counterexample Guided Inductive Synthesis Modulo Theories
-
[2]
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
Lucas Cordeiro‚ Pascal Kesseli‚ Daniel Kroening‚ Peter Schrammel and Marek Trtik
In Hana Chockler and Georg Weissenbacher, editors, Computer Aided Verification. Pages 183–190. Cham. 2018. Springer International Publishing.
Details about JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode | BibTeX data for JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
-
[3]
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 and Elizabeth Polgreen
In 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. 2017.
Details about DSSynth: an automated digital controller synthesis tool for physical plants | BibTeX data for DSSynth: an automated digital controller synthesis tool for physical plants | DOI (10.1109/ASE.2017.8115705) | Link to DSSynth: an automated digital controller synthesis tool for physical plants
-
[4]
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Alessandro Abate‚ Iury Bessa‚ Dario Cattaruzza‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli and Daniel Kroening
In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. Pages 197–206. New York‚ NY‚ USA. 2017. ACM.
Details about Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants | BibTeX data for Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants | DOI (10.1145/3049797.3049802) | Link to Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants