Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pascal Kesseli
@article{DBLP:journals/jar/AbateBBDKKPRT23,
author = {Alessandro Abate and
Haniel Barbosa and
Clark W. Barrett and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen and
Andrew Reynolds and
Cesare Tinelli},
title = {Synthesising Programs with Non-trivial Constants},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {19},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09664-4},
doi = {10.1007/S10817-023-09664-4},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AbateBBDKKPRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/WeissMMWKW21,
author = {Matthias Wei{\ss} and
Philipp Marks and
Benjamin Maschler and
Dustin White and
Pascal Kesseli and
Michael Weyrich},
title = {Towards establishing formal verification and inductive code synthesis
in the {PLC} domain},
booktitle = {19th {IEEE} International Conference on Industrial Informatics, {INDIN}
2021, Palma de Mallorca, Spain, July 21-23, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/INDIN45523.2021.9557423},
doi = {10.1109/INDIN45523.2021.9557423},
timestamp = {Mon, 18 Oct 2021 17:08:58 +0200},
biburl = {https://dblp.org/rec/conf/indin/WeissMMWKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15878,
author = {Matthias Wei{\ss} and
Philipp Marks and
Benjamin Maschler and
Dustin White and
Pascal Kesseli and
Michael Weyrich},
title = {Towards establishing formal verification and inductive code synthesis
in the {PLC} domain},
journal = {CoRR},
volume = {abs/2106.15878},
year = {2021},
url = {https://arxiv.org/abs/2106.15878},
eprinttype = {arXiv},
eprint = {2106.15878},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AbateBCDKKP20,
author = {Alessandro Abate and
Iury Bessa and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
title = {Automated formal synthesis of provably safe digital controllers for
continuous plants},
journal = {Acta Informatica},
volume = {57},
number = {1-2},
pages = {223--244},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00359-1},
doi = {10.1007/S00236-019-00359-1},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AbateBCDKKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ChocklerKKS20,
author = {Hana Chockler and
Pascal Kesseli and
Daniel Kroening and
Ofer Strichman},
title = {Learning the Language of Software Errors},
journal = {J. Artif. Intell. Res.},
volume = {67},
pages = {881--903},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11798},
doi = {10.1613/JAIR.1.11798},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ChocklerKKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DavidKKL18,
author = {Cristina David and
Pascal Kesseli and
Daniel Kroening and
Matt Lewis},
title = {Program Synthesis for Program Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {40},
number = {2},
pages = {5:1--5:45},
year = {2018},
url = {https://doi.org/10.1145/3174802},
doi = {10.1145/3174802},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DavidKKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CordeiroKKST18,
author = {Lucas C. Cordeiro and
Pascal Kesseli and
Daniel Kroening and
Peter Schrammel and
Marek Trt{\'{\i}}k},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {{JBMC:} {A} Bounded Model Checking Tool for Verifying Java Bytecode},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {183--190},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_10},
doi = {10.1007/978-3-319-96145-3\_10},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/CordeiroKKST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateDKKP18,
author = {Alessandro Abate and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Counterexample Guided Inductive Synthesis Modulo Theories},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {270--288},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_15},
doi = {10.1007/978-3-319-96145-3\_15},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbateDKKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Kesseli17,
author = {Pascal Kesseli},
title = {Semantic refactorings},
school = {University of Oxford, {UK}},
year = {2017},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748687},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Kesseli17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateBCCDKKP17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Automated Formal Synthesis of Digital Controllers for State-Space
Physical Plants},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {462--482},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_23},
doi = {10.1007/978-3-319-63387-9\_23},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbateBCCDKKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbateBCCDKK17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening},
editor = {Goran Frehse and
Sayan Mitra},
title = {Sound and Automated Synthesis of Digital Stabilizing Controllers for
Continuous Plants},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {197--206},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049802},
doi = {10.1145/3049797.3049802},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AbateBCCDKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AbateBCCCDKKP17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lennon C. Chaves and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {DSSynth: an automated digital controller synthesis tool for physical
plants},
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},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115705},
doi = {10.1109/ASE.2017.8115705},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AbateBCCCDKKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbateBCCDKKP17,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen},
title = {Automated Formal Synthesis of Digital Controllers for State-Space
Physical Plants},
journal = {CoRR},
volume = {abs/1705.00981},
year = {2017},
url = {http://arxiv.org/abs/1705.00981},
eprinttype = {arXiv},
eprint = {1705.00981},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbateBCCDKKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-07388,
author = {Cristina David and
Pascal Kesseli and
Daniel Kroening},
title = {Kayak: Safe Semantic Refactoring to Java Streams},
journal = {CoRR},
volume = {abs/1712.07388},
year = {2017},
url = {http://arxiv.org/abs/1712.07388},
eprinttype = {arXiv},
eprint = {1712.07388},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-07388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DavidKKL16,
author = {Cristina David and
Pascal Kesseli and
Daniel Kroening and
Matt Lewis},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Danger Invariants},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {182--198},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_12},
doi = {10.1007/978-3-319-48989-6\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/DavidKKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NellisKCKST16,
author = {Adam Nellis and
Pascal Kesseli and
Philippa Ryan Conmy and
Daniel Kroening and
Peter Schrammel and
Michael Tautschnig},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Assisted Coverage Closure},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {49--64},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_5},
doi = {10.1007/978-3-319-40648-0\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NellisKCKST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbateBCCDKK16,
author = {Alessandro Abate and
Iury Bessa and
Dario Cattaruzza and
Lucas C. Cordeiro and
Cristina David and
Pascal Kesseli and
Daniel Kroening},
title = {Sound and Automated Synthesis of Digital Stabilizing Controllers for
Continuous Plants},
journal = {CoRR},
volume = {abs/1610.04761},
year = {2016},
url = {http://arxiv.org/abs/1610.04761},
eprinttype = {arXiv},
eprint = {1610.04761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbateBCCDKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChapmanCKKST15,
author = {Martin Chapman and
Hana Chockler and
Pascal Kesseli and
Daniel Kroening and
Ofer Strichman and
Michael Tautschnig},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Learning the Language of Error},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {114--130},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_9},
doi = {10.1007/978-3-319-24953-7\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChapmanCKKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NellisKCKST15,
author = {Adam Nellis and
Pascal Kesseli and
Philippa Ryan Conmy and
Daniel Kroening and
Peter Schrammel and
Michael Tautschnig},
title = {Assisted Coverage Closure},
journal = {CoRR},
volume = {abs/1509.04587},
year = {2015},
url = {http://arxiv.org/abs/1509.04587},
eprinttype = {arXiv},
eprint = {1509.04587},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NellisKCKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
