Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/hcvs:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-2211-12225,
author = {Robert Gl{\"{u}}ck and
Tetsuo Yokoyama},
editor = {Geoffrey William Hamilton and
Temesghen Kahsai and
Maurizio Proietti},
title = {Reversible Programming: {A} Case Study of Two String-Matching Algorithms},
booktitle = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
and 10th International Workshop on Verification and Program Transformation,
HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
and Program TransformationMunich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {373},
pages = {1--13},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.373.1},
doi = {10.4204/EPTCS.373.1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12225.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12227,
author = {Bruno Blanchet},
editor = {Geoffrey William Hamilton and
Temesghen Kahsai and
Maurizio Proietti},
title = {The Security Protocol Verifier ProVerif and its Horn Clause Resolution
Algorithm},
booktitle = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
and 10th International Workshop on Verification and Program Transformation,
HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
and Program TransformationMunich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {373},
pages = {14--22},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.373.2},
doi = {10.4204/EPTCS.373.2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12228,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Geoffrey William Hamilton and
Temesghen Kahsai and
Maurizio Proietti},
title = {Contract Strengthening through Constrained Horn Clause Verification},
booktitle = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
and 10th International Workshop on Verification and Program Transformation,
HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
and Program TransformationMunich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {373},
pages = {23--34},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.373.3},
doi = {10.4204/EPTCS.373.3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12229,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer},
editor = {Geoffrey William Hamilton and
Temesghen Kahsai and
Maurizio Proietti},
title = {OptiRica: Towards an Efficient Optimizing Horn Solver},
booktitle = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
and 10th International Workshop on Verification and Program Transformation,
HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
and Program TransformationMunich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {373},
pages = {35--43},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.373.4},
doi = {10.4204/EPTCS.373.4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12231,
author = {Emanuele {De Angelis} and
Hari Govind V. K.},
editor = {Geoffrey William Hamilton and
Temesghen Kahsai and
Maurizio Proietti},
title = {{CHC-COMP} 2022: Competition Report},
booktitle = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
and 10th International Workshop on Verification and Program Transformation,
HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
and Program TransformationMunich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {373},
pages = {44--62},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.373.5},
doi = {10.4204/EPTCS.373.5},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2211-10675,
editor = {Geoffrey William Hamilton and
Temesghen Kahsai and
Maurizio Proietti},
title = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
and 10th International Workshop on Verification and Program Transformation,
HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
and Program TransformationMunich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {373},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.373},
doi = {10.4204/EPTCS.373},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04629,
author = {Naoki Kobayashi},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {An Overview of the {HFL} Model Checking Project},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {1--12},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.1},
doi = {10.4204/EPTCS.344.1},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04630,
author = {Jes{\'{u}}s J. Dom{\'{e}}nech and
Samir Genaim},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Termination Analysis of Programs with Multiphase Control-Flow},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {13--21},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.2},
doi = {10.4204/EPTCS.344.2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04631,
author = {Bishoksan Kafle and
John P. Gallagher and
Manuel V. Hermenegildo and
Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Regular Path Clauses and Their Application in Solving Loops},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {22--35},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.3},
doi = {10.4204/EPTCS.344.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04632,
author = {Jerome Jochems},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Reducing Higher-order Recursion Scheme Equivalence to Coinductive
Higher-order Constrained Horn Clauses},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {36--64},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.4},
doi = {10.4204/EPTCS.344.4},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04633,
author = {Stefan Hetzl and
Johannes Kloibhofer},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {A Fixed-point Theorem for Horn Formula Equations},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {65--78},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.5},
doi = {10.4204/EPTCS.344.5},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04634,
author = {Brendan Hall and
Sarat Chandra Varanasi and
Jan Fiedor and
Joaqu{\'{\i}}n Arias and
Kinjal Basu and
Fang Li and
Devesh Bhatt and
Kevin Driscoll and
Elmer Salazar and
Gopal Gupta},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Knowledge-Assisted Reasoning of Model-Augmented System Requirements
with Event Calculus and Goal-Directed Answer Set Programming},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {79--90},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.6},
doi = {10.4204/EPTCS.344.6},
timestamp = {Sun, 08 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04635,
author = {Grigory Fedyukovich and
Philipp R{\"{u}}mmer},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Competition Report: {CHC-COMP-21}},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {91--108},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.7},
doi = {10.4204/EPTCS.344.7},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-03988,
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344},
doi = {10.4204/EPTCS.344},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-06659,
author = {Fabian Zaiser and
C.{-}H. Luke Ong},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {The Extended Theory of Trees and Algebraic (Co)datatypes},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {167--196},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.14},
doi = {10.4204/EPTCS.320.14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-06659.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02927,
author = {Alberto Pettorossi},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {A Historical Account of My Early Research Interests},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {1--28},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.1},
doi = {10.4204/EPTCS.320.1},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02927.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02929,
author = {Alain Finkel},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {From Well Structured Transition Systems to Program Verification},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {44--49},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.3},
doi = {10.4204/EPTCS.320.3},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02931,
author = {John P. Gallagher and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {50--64},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.4},
doi = {10.4204/EPTCS.320.4},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02932,
author = {Neil D. Jones and
Siddharth Bhaskar and
Cynthia Kop and
Jakob Grue Simonsen},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Cons-free Programs and Complexity Classes between {LOGSPACE} and {PTIME}},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {65--79},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.5},
doi = {10.4204/EPTCS.320.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02933,
author = {Michael Leuschel},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Prolog for Verification, Analysis and Transformation Tools},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {80--94},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.6},
doi = {10.4204/EPTCS.320.6},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02934,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Maurizio Proietti},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Transformational Verification of Quicksort},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {95--109},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.7},
doi = {10.4204/EPTCS.320.7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02934.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02935,
author = {Horatiu Cirstea and
Alexis Grall and
Dominique M{\'{e}}ry},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Generating Distributed Programs from Event-B Models},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {110--124},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.8},
doi = {10.4204/EPTCS.320.8},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02936,
author = {Geoff W. Hamilton},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Distilling Programs to Prove Termination},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {140--154},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.10},
doi = {10.4204/EPTCS.320.10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02936.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02937,
author = {John P. Gallagher and
Robert Gl{\"{u}}ck},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {An Experiment Combining Specialization with Abstract Interpretation},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {155--158},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.11},
doi = {10.4204/EPTCS.320.11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02939,
author = {Philipp R{\"{u}}mmer},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Competition Report: {CHC-COMP-20}},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {197--219},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.15},
doi = {10.4204/EPTCS.320.15},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02939.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-04667,
author = {Lorenzo Clemente},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {On the Complexity of the Universality and Inclusion Problems for Unambiguous
Context-Free Grammars},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {29--43},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.2},
doi = {10.4204/EPTCS.320.2},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-04669,
author = {Dimitur Nikolaev Krustev},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Optimizing Program Size Using Multi-result Supercompilation},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {125--139},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.9},
doi = {10.4204/EPTCS.320.9},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2008-02483,
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320},
doi = {10.4204/EPTCS.320},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02483.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 29 Dec 2020 00:00:00 +0100},
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}
}
@inproceedings{DBLP:journals/corr/AngelisFPP16,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Removing Unnecessary Variables from Horn Clause Verification Conditions},
booktitle = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
pages = {49--55},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219.5},
doi = {10.4204/EPTCS.219.5},
timestamp = {Sat, 30 Sep 2023 10:07:57 +0200},
biburl = {https://dblp.org/rec/journals/corr/AngelisFPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BeyenePR16,
author = {Tewodros A. Beyene and
Corneliu Popeea and
Andrey Rybalchenko},
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Efficient {CTL} Verification via Horn Constraints Solving},
booktitle = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
pages = {1--14},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219.1},
doi = {10.4204/EPTCS.219.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeyenePR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GarocheKT16,
author = {Pierre{-}Lo{\"{\i}}c Garoche and
Temesghen Kahsai and
Xavier Thirioux},
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Hierarchical State Machines as Modular Horn Clauses},
booktitle = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
pages = {15--28},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219.2},
doi = {10.4204/EPTCS.219.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GarocheKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleGG16,
author = {Bishoksan Kafle and
John P. Gallagher and
Pierre Ganty},
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Solving non-linear Horn clauses using a linear Horn clause solver},
booktitle = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
pages = {33--48},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219.4},
doi = {10.4204/EPTCS.219.4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KafleGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Paganelli16,
author = {Gabriele Paganelli},
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Horn Binary Serialization Analysis},
booktitle = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
pages = {56--68},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219.6},
doi = {10.4204/EPTCS.219.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Paganelli16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Schrammel16,
author = {Peter Schrammel},
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Challenges in Decomposing Encodings of Verification Problems},
booktitle = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
pages = {29--32},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219.3},
doi = {10.4204/EPTCS.219.3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Schrammel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GallagherR16,
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219},
doi = {10.4204/EPTCS.219},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GallagherR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AngelisFNP14,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Jorge A. Navas and
Maurizio Proietti},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Verification of Programs by Combining Iterated Specialization with
Interpolation},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {3--18},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.3},
doi = {10.4204/EPTCS.169.3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AngelisFNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GarocheGK14,
author = {Pierre{-}Lo{\"{\i}}c Garoche and
Arie Gurfinkel and
Temesghen Kahsai},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Synthesizing Modular Invariants for Synchronous Code},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {19--30},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.4},
doi = {10.4204/EPTCS.169.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GarocheGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HojjatRSY14,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer and
Pavle Subotic and
Wang Yi},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Horn Clauses for Communicating Timed Systems},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {39--52},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.6},
doi = {10.4204/EPTCS.169.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HojjatRSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleG14,
author = {Bishoksan Kafle and
John P. Gallagher},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Convex polyhedral abstractions, specialisation and property-based
predicate splitting in Horn clause verification},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {53--67},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.7},
doi = {10.4204/EPTCS.169.7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KafleG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PerottiBG14,
author = {Alan Perotti and
Guido Boella and
Artur S. d'Avila Garcez},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Runtime Verification Through Forward Chaining},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {68--81},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.8},
doi = {10.4204/EPTCS.169.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PerottiBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-7378,
author = {Ashutosh Gupta and
Corneliu Popeea and
Andrey Rybalchenko},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Generalised Interpolation by Solving Recursion-Free Horn Clauses},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {31--38},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.5},
doi = {10.4204/EPTCS.169.5},
timestamp = {Fri, 23 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-7378.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BjornerFRS14,
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169},
doi = {10.4204/EPTCS.169},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BjornerFRS14.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.
retrieved on 2024-04-25 12:56 CEST from data curated 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:
