Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1907-03996,
  author       = {Mihai Herda and
                  Michael Kirsten and
                  Etienne Brunner and
                  Joana Plewnia and
                  Ulla Scheler and
                  Chiara Staudenmaier and
                  Benedikt Wagner and
                  Pascal Zwick and
                  Bernhard Beckert},
  editor       = {Emanuele {De Angelis} and
                  Grigory Fedyukovich and
                  Nikos Tzevelekos and
                  Mattias Ulbrich},
  title        = {Understanding Counterexamples for Relational Properties with DIbugger},
  booktitle    = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
                  and Synthesis and Third Workshop on Program Equivalence and Relational
                  Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
                  2019},
  series       = {{EPTCS}},
  volume       = {296},
  pages        = {6--13},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.296.4},
  doi          = {10.4204/EPTCS.296.4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1907-03997,
  author       = {Qi Zhou and
                  David Heath and
                  William Harris},
  editor       = {Emanuele {De Angelis} and
                  Grigory Fedyukovich and
                  Nikos Tzevelekos and
                  Mattias Ulbrich},
  title        = {Relational Verification via Invariant-Guided Synchronization},
  booktitle    = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
                  and Synthesis and Third Workshop on Program Equivalence and Relational
                  Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
                  2019},
  series       = {{EPTCS}},
  volume       = {296},
  pages        = {28--41},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.296.6},
  doi          = {10.4204/EPTCS.296.6},
  timestamp    = {Mon, 22 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1907-03998,
  author       = {Daniel Dietsch and
                  Matthias Heizmann and
                  Jochen Hoenicke and
                  Alexander Nutz and
                  Andreas Podelski},
  editor       = {Emanuele {De Angelis} and
                  Grigory Fedyukovich and
                  Nikos Tzevelekos and
                  Mattias Ulbrich},
  title        = {Ultimate TreeAutomizer {(CHC-COMP} Tool Description)},
  booktitle    = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
                  and Synthesis and Third Workshop on Program Equivalence and Relational
                  Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
                  2019},
  series       = {{EPTCS}},
  volume       = {296},
  pages        = {42--47},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.296.7},
  doi          = {10.4204/EPTCS.296.7},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1907-03999,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Emanuele {De Angelis} and
                  Grigory Fedyukovich and
                  Nikos Tzevelekos and
                  Mattias Ulbrich},
  title        = {Proving Properties of Sorting Programs: {A} Case Study in Horn Clause
                  Verification},
  booktitle    = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
                  and Synthesis and Third Workshop on Program Equivalence and Relational
                  Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
                  2019},
  series       = {{EPTCS}},
  volume       = {296},
  pages        = {48--75},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.296.8},
  doi          = {10.4204/EPTCS.296.8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1907-04319,
  author       = {Ozan Kahramanogullari},
  editor       = {Emanuele {De Angelis} and
                  Grigory Fedyukovich and
                  Nikos Tzevelekos and
                  Mattias Ulbrich},
  title        = {On Quantitative Comparison of Chemical Reaction Network Models},
  booktitle    = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
                  and Synthesis and Third Workshop on Program Equivalence and Relational
                  Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
                  2019},
  series       = {{EPTCS}},
  volume       = {296},
  pages        = {14--27},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.296.5},
  doi          = {10.4204/EPTCS.296.5},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-04319.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1907-03523,
  editor       = {Emanuele {De Angelis} and
                  Grigory Fedyukovich and
                  Nikos Tzevelekos and
                  Mattias Ulbrich},
  title        = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
                  and Synthesis and Third Workshop on Program Equivalence and Relational
                  Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
                  2019},
  series       = {{EPTCS}},
  volume       = {296},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.296},
  doi          = {10.4204/EPTCS.296},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03523.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}