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/vpt:"
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-02810,
author = {Maria Bendix Mikkelsen and
Robert Gl{\"{u}}ck and
Maja H. Kirkeby},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {An Inversion Tool for Conditional Term Rewriting Systems - {A} Case
Study of Ackermann Inversion},
booktitle = {Proceedings of the 9th International Workshop on Verification and
Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th
and 28th of March 2021},
series = {{EPTCS}},
volume = {341},
pages = {33--41},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.341.3},
doi = {10.4204/EPTCS.341.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02812,
author = {Antonina Nepeivoda},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Program Specialization as a Tool for Solving Word Equations},
booktitle = {Proceedings of the 9th International Workshop on Verification and
Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th
and 28th of March 2021},
series = {{EPTCS}},
volume = {341},
pages = {42--72},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.341.4},
doi = {10.4204/EPTCS.341.4},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02813,
author = {Isabella Mastroeni and
Vincenzo Arceri},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Improving Dynamic Code Analysis by Code Abstraction},
booktitle = {Proceedings of the 9th International Workshop on Verification and
Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th
and 28th of March 2021},
series = {{EPTCS}},
volume = {341},
pages = {17--32},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.341.2},
doi = {10.4204/EPTCS.341.2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02814,
author = {Ekaterina Verbitskaia and
Daniil Berezun and
Dmitry Boulytchev},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {An Empirical Study of Partial Deduction for miniKanren},
booktitle = {Proceedings of the 9th International Workshop on Verification and
Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th
and 28th of March 2021},
series = {{EPTCS}},
volume = {341},
pages = {73--94},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.341.5},
doi = {10.4204/EPTCS.341.5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-03721,
author = {Moa Johansson and
Nicholas Smallbone},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Conjectures, Tests and Proofs: An Overview of Theory Exploration},
booktitle = {Proceedings of the 9th International Workshop on Verification and
Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th
and 28th of March 2021},
series = {{EPTCS}},
volume = {341},
pages = {1--16},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.341.1},
doi = {10.4204/EPTCS.341.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03721.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-02001,
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Proceedings of the 9th International Workshop on Verification and
Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th
and 28th of March 2021},
series = {{EPTCS}},
volume = {341},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.341},
doi = {10.4204/EPTCS.341},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02001.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-1808-07827,
author = {Vincenzo Arceri and
Isabella Mastroeni},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {An Automata-based Abstract Semantics for String Manipulation Languages},
booktitle = {Proceedings Seventh International Workshop on Verification and Program
Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
series = {{EPTCS}},
volume = {299},
pages = {19--33},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.299.5},
doi = {10.4204/EPTCS.299.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-07827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-09685,
author = {Isaac Oscar Gariano and
Marco Servetto and
Alex Potanin and
Hrshikesh Arora},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Iteratively Composing Statically Verified Traits},
booktitle = {Proceedings Seventh International Workshop on Verification and Program
Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
series = {{EPTCS}},
volume = {299},
pages = {49--55},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.299.7},
doi = {10.4204/EPTCS.299.7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-07188,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Lemma Generation for Horn Clause Satisfiability: {A} Preliminary Study},
booktitle = {Proceedings Seventh International Workshop on Verification and Program
Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
series = {{EPTCS}},
volume = {299},
pages = {4--18},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.299.4},
doi = {10.4204/EPTCS.299.4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-07188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-07189,
author = {John P. Gallagher},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Polyvariant Program Specialisation with Property-based Abstraction},
booktitle = {Proceedings Seventh International Workshop on Verification and Program
Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
series = {{EPTCS}},
volume = {299},
pages = {34--48},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.299.6},
doi = {10.4204/EPTCS.299.6},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-07189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1908-06723,
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Proceedings Seventh International Workshop on Verification and Program
Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
series = {{EPTCS}},
volume = {299},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.299},
doi = {10.4204/EPTCS.299},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06723.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10319,
author = {Josip Bozic and
Lina Marsso and
Radu Mateescu and
Franz Wotawa},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {A Formal {TLS} Handshake Model in {LNT}},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {1--40},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.1},
doi = {10.4204/EPTCS.268.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10322,
author = {Hubert Garavel and
Lina Marsso},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Comparative Study of Eight Formal Specifications of the Message Authenticator
Algorithm},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {41--87},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.2},
doi = {10.4204/EPTCS.268.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10323,
author = {Quentin L. Meunier and
Yann Thierry{-}Mieg and
Emmanuelle Encrenaz},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Modeling a Cache Coherence Protocol with the Guarded Action Language},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {88--103},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.3},
doi = {10.4204/EPTCS.268.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10324,
author = {Franco Mazzanti and
Alessio Ferrari},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Ten Diverse Formal Models for a {CBTC} Automatic Train Supervision
System},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {104--149},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.4},
doi = {10.4204/EPTCS.268.4},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10327,
author = {Robert Gl{\"{u}}ck},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {An Experiment in Ping-Pong Protocol Verification by Nondeterministic
Pushdown Automata},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {169--184},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.6},
doi = {10.4204/EPTCS.268.6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10328,
author = {Bernhard Beckert and
Timo Bingmann and
Moritz Kiefer and
Peter Sanders and
Mattias Ulbrich and
Alexander Weigl},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Proving Equivalence Between Imperative and MapReduce Implementations
Using Program Transformations},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {185--199},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.7},
doi = {10.4204/EPTCS.268.7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-11050,
author = {Pujie Han and
Zhengjun Zhai and
Brian Nielsen and
Ulrik Nyman},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {A Modeling Framework for Schedulability Analysis of Distributed Avionics
Systems},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {150--168},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.5},
doi = {10.4204/EPTCS.268.5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-11050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1803-08668,
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
year = {2018},
url = {http://arxiv.org/abs/1803.08668},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-08668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07222,
author = {Vincent Nys and
Danny De Schreye},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {Transforming Coroutining Logic Programs into Equivalent {CHR} Programs},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {9--35},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.4},
doi = {10.4204/EPTCS.253.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07223,
author = {Geoff W. Hamilton},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {Generating Loop Invariants for Program Verification by Transformation},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {36--53},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.5},
doi = {10.4204/EPTCS.253.5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07224,
author = {Gyula Sallai and
{\'{A}}kos Hajdu and
Tam{\'{a}}s T{\'{o}}th and
Zolt{\'{a}}n Micskei},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {Towards Evaluating Size Reduction Techniques for Software Model Checking},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {75--91},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.7},
doi = {10.4204/EPTCS.253.7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07225,
author = {D{\'{a}}niel Horp{\'{a}}csi and
Judit K{\"{o}}szegi and
Zolt{\'{a}}n Horv{\'{a}}th},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {Trustworthy Refactoring via Decomposition and Schemes: {A} Complex
Case Study},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {92--108},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.8},
doi = {10.4204/EPTCS.253.8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07225.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07226,
author = {Allan Blanchard and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Nikolai Kosmatov},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {From Concurrent Programs to Simulating Sequential Programs: Correctness
of a Transformation},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {109--123},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.9},
doi = {10.4204/EPTCS.253.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-09002,
author = {Alexei P. Lisitsa and
Andrei P. Nemytykh},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {Verification of Programs via Intermediate Interpretation},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {54--74},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.6},
doi = {10.4204/EPTCS.253.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-09002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1708-06887,
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
year = {2017},
url = {http://arxiv.org/abs/1708.06887},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-06887.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Barany16,
author = {Gerg{\"{o}} Barany},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Hybrid Information Flow Analysis for Programs with Arrays},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {5--23},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.1},
doi = {10.4204/EPTCS.216.1},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/Barany16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ben-AmramP14,
author = {Amir M. Ben{-}Amram and
Aviad Pineles},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Flowchart Programs, Regular Expressions, and Decidability of Polynomial
Growth-Rate},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {24--49},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.2},
doi = {10.4204/EPTCS.216.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ben-AmramP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cohen16c,
author = {Julien Cohen},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Renaming Global Variables in {C} Mechanically Proved Correct},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {50--64},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.3},
doi = {10.4204/EPTCS.216.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cohen16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Hamilton16,
author = {Geoff W. Hamilton},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Generating Counterexamples for Model Checking by Transformation},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {65--82},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.4},
doi = {10.4204/EPTCS.216.4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hamilton16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HorpacsiKT16,
author = {D{\'{a}}niel Horp{\'{a}}csi and
Judit K{\"{o}}szegi and
Simon J. Thompson},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Towards Trustworthy Refactoring in Erlang},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {83--103},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.5},
doi = {10.4204/EPTCS.216.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HorpacsiKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleG16,
author = {Bishoksan Kafle and
John P. Gallagher},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Interpolant tree automata and their application in Horn clause verification},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {104--117},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.6},
doi = {10.4204/EPTCS.216.6},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KafleG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KannanH16,
author = {Venkatesh Kannan and
Geoff W. Hamilton},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Program Transformation to Identify List-Based Parallel Skeletons},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {118--136},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.7},
doi = {10.4204/EPTCS.216.7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KannanH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Nepeivoda16,
author = {Antonina Nepeivoda},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Turchin's Relation for Call-by-Name Computations: {A} Formal Approach},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {137--159},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.8},
doi = {10.4204/EPTCS.216.8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Nepeivoda16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/HamiltonLN16,
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216},
doi = {10.4204/EPTCS.216},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HamiltonLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Hamilton15,
author = {Geoff W. Hamilton},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Alberto Pettorossi},
title = {Verifying Temporal Properties of Reactive Systems by Transformation},
booktitle = {Proceedings of the Third International Workshop on Verification and
Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
April 2015},
series = {{EPTCS}},
volume = {199},
pages = {33--49},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.199.3},
doi = {10.4204/EPTCS.199.3},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hamilton15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleGG15,
author = {Bishoksan Kafle and
John P. Gallagher and
Pierre Ganty},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Alberto Pettorossi},
title = {Decomposition by tree dimension in Horn clause verification},
booktitle = {Proceedings of the Third International Workshop on Verification and
Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
April 2015},
series = {{EPTCS}},
volume = {199},
pages = {1--14},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.199.1},
doi = {10.4204/EPTCS.199.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KafleGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Lester15,
author = {Martin Lester},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Alberto Pettorossi},
title = {Control Flow Analysis for {SF} Combinator Calculus},
booktitle = {Proceedings of the Third International Workshop on Verification and
Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
April 2015},
series = {{EPTCS}},
volume = {199},
pages = {51--67},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.199.4},
doi = {10.4204/EPTCS.199.4},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Lester15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LisitsaN15,
author = {Alexei P. Lisitsa and
Andrei P. Nemytykh},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Alberto Pettorossi},
title = {Finite Countermodel Based Verification for Program Transformation
{(A} Case Study)},
booktitle = {Proceedings of the Third International Workshop on Verification and
Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
April 2015},
series = {{EPTCS}},
volume = {199},
pages = {15--32},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.199.2},
doi = {10.4204/EPTCS.199.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LisitsaN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LisitsaNP15,
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Alberto Pettorossi},
title = {Proceedings of the Third International Workshop on Verification and
Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
April 2015},
series = {{EPTCS}},
volume = {199},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.199},
doi = {10.4204/EPTCS.199},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LisitsaNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AngelisFPP14,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Program Verification using Constraint Handling Rules and Array Constraint
Generalizations},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {3--18},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/dkxs},
doi = {10.29007/DKXS},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/cav/AngelisFPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FruminL14,
author = {Daniil Frumin and
Irina A. Lomazova},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Branching Processes of Conservative Nested Petri Nets},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {19--35},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/6ntb},
doi = {10.29007/6NTB},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FruminL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GleissenthallRB14,
author = {Klaus von Gleissenthall and
Andrey Rybalchenko and
Santiago Zanella B{\'{e}}guelin},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Towards Automated Proving of Relational Properties of Probabilistic
Programs (Invited Talk)},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {2},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/t2h1},
doi = {10.29007/T2H1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GleissenthallRB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HamiltonS14,
author = {Geoff W. Hamilton and
Morten Heine S{\o}rensen},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {36--51},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/t4gz},
doi = {10.29007/T4GZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HamiltonS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Leuschel14,
author = {Michael Leuschel},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Towards Constraint-Solving over Higher-Order Unbounded Datatypes using
Formal Methods Tools},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {1},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/3rvf},
doi = {10.29007/3RVF},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Leuschel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LisitsaN14,
author = {Alexei Lisitsa and
Andrei P. Nemytykh},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {A Note on Program Specialization. What Syntactical Properties of Residual
Programs Can Reveal?},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {52--65},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/cj27},
doi = {10.29007/CJ27},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LisitsaN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Nemytykh14,
author = {Andrei P. Nemytykh},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {On Unfolding for Programs Using Strings as a Data Type},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {66--83},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/m8rr},
doi = {10.29007/M8RR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Nemytykh14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Nepeivoda14,
author = {Antonina Nepeivoda},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Verification of Multi-Party Ping-Pong Protocols via Program Transformation},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {84--98},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/1r2w},
doi = {10.29007/1R2W},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Nepeivoda14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Sewell14,
author = {Thomas Sewell},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Formal Replay of Translation Validation for Highly Optimised {C}},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {99--111},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/dw2m},
doi = {10.29007/DW2M},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Sewell14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014vpt,
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
publisher = {EasyChair},
year = {2014},
url = {https://easychair.org/publications/volume/VPT\_2014},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2014vpt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AhmedLN13,
author = {Abdulbasit Ahmed and
Alexei Lisitsa and
Andrei P. Nemytykh},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Cryptographic Protocol Verification via Supercompilation {(A} Case
Study)},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {16--29},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/gpsh},
doi = {10.29007/GPSH},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AhmedLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AngelisFPP13,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Verification of Imperative Programs through Transformation of Constraint
Logic Programs},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {30--41},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/163x},
doi = {10.29007/163X},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AngelisFPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Ben-Amram13,
author = {Amir M. Ben{-}Amram},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Ranking Functions for Linear-Constraint Loops},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {1--8},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/rvs4},
doi = {10.29007/RVS4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Ben-Amram13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Finkbeiner13,
author = {Bernd Finkbeiner},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Transforming Undecidable Synthesis Problems into Decidable Problems},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {9},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/tj84},
doi = {10.29007/TJ84},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Finkbeiner13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Hamilton13,
author = {Geoff W. Hamilton},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {On the Termination of Positive Supercompilation},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {42--56},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/4vl2},
doi = {10.29007/4VL2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Hamilton13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Leroux13,
author = {J{\'{e}}r{\^{o}}me Leroux},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Acceleration For Presburger Petri Nets},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {10--12},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/8wkd},
doi = {10.29007/8WKD},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Leroux13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeryM13,
author = {Dominique M{\'{e}}ry and
Rosemary Monahan},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Transforming Event {B} Models into Verified C{\#} Implementations},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {57--73},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/9wm9},
doi = {10.29007/9WM9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeryM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Nepeivoda13,
author = {Antonina Nepeivoda},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Ping-Pong Protocols as Prefix Grammars and Turchin Relation},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {74--87},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/lw7c},
doi = {10.29007/LW7C},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Nepeivoda13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PettorossiP13,
author = {Alberto Pettorossi and
Maurizio Proietti},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Program Transformation for Program Verification},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {13--14},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/t9v2},
doi = {10.29007/T9V2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PettorossiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Thompson13,
author = {Simon Thompson},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Building trustworthy refactoring tools},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {15},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/z7pq},
doi = {10.29007/Z7PQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Thompson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2013vpt,
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/VPT\_2013},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2013vpt.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 03:57 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:
