Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/vstte/vstte2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/vstte/AdamsS18,
author = {Robin Adams and
Sibylle Schupp},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Constructing Independently Verifiable Privacy-Compliant Type Systems
for Message Passing Between Black-Box Components},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {196--214},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_11},
doi = {10.1007/978-3-030-03592-1\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AdamsS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AthanasiouCEMST18,
author = {Konstantinos Athanasiou and
Byron Cook and
Michael Emmi and
Colm MacC{\'{a}}rthaigh and
Daniel Schwartz{-}Narbonne and
Serdar Tasiran},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {SideTrail: Verifying Time-Balancing of Cryptosystems},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {215--228},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_12},
doi = {10.1007/978-3-030-03592-1\_12},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/AthanasiouCEMST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BeckertBK0UW18,
author = {Bernhard Beckert and
Timo Bingmann and
Moritz Kiefer and
Peter Sanders and
Mattias Ulbrich and
Alexander Weigl},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Relational Equivalence Proofs Between Imperative and MapReduce Algorithms},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {248--266},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_14},
doi = {10.1007/978-3-030-03592-1\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BeckertBK0UW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BohrerC18,
author = {Rose Bohrer and
Karl Crary},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {{TWAM:} {A} Certifying Abstract Machine for Logic Programs},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {112--134},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_7},
doi = {10.1007/978-3-030-03592-1\_7},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BohrerC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ChengNHR18,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Chung{-}Hao Huang and
Harald Ruess},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Verification of Binarized Neural Networks via Inter-neuron Factoring
- (Short Paper)},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {279--290},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_16},
doi = {10.1007/978-3-030-03592-1\_16},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/ChengNHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Coglio18,
author = {Alessandro Coglio},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {A Formalization of the {ABNF} Notation and a Verified Parser of {ABNF}
Grammars},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {177--195},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_10},
doi = {10.1007/978-3-030-03592-1\_10},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Coglio18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/CokT18,
author = {David R. Cok and
Serdar Tasiran},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Practical Methods for Reasoning About Java 8's Functional Programming
Features},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {267--278},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_15},
doi = {10.1007/978-3-030-03592-1\_15},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/CokT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/CzarnikCS18,
author = {Patryk Czarnik and
Jacek Chrzaszcz and
Aleksy Schubert},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {A Java Bytecode Formalisation},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {135--154},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_8},
doi = {10.1007/978-3-030-03592-1\_8},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/CzarnikCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DietschHHNP18,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {The Map Equality Domain},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {291--308},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_17},
doi = {10.1007/978-3-030-03592-1\_17},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/DietschHHNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Even-MendozaAHC18,
author = {Karine Even{-}Mendoza and
Sepideh Asadi and
Antti E. J. Hyv{\"{a}}rinen and
Hana Chockler and
Natasha Sharygina},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Lattice-Based Refinement in Bounded Model Checking},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {50--68},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_4},
doi = {10.1007/978-3-030-03592-1\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Even-MendozaAHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FereePKOMH18,
author = {Hugo F{\'{e}}r{\'{e}}e and
Johannes {\AA}man Pohjola and
Ramana Kumar and
Scott Owens and
Magnus O. Myreen and
Son Ho},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Program Verification in the Presence of {I/O} - Semantics, Verified
Library Routines, and Verified Applications},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {88--111},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_6},
doi = {10.1007/978-3-030-03592-1\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/FereePKOMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/GennariGKNS18,
author = {Jeffrey Gennari and
Arie Gurfinkel and
Temesghen Kahsai and
Jorge A. Navas and
Edward J. Schwartz},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Executable Counterexamples in Software Model Checking},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {17--37},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_2},
doi = {10.1007/978-3-030-03592-1\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/GennariGKNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/GhalePKN18,
author = {Milad K. Ghale and
Dirk Pattinson and
Ramana Kumar and
Michael Norrish},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Verified Certificate Checking for Counting Votes},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {69--87},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_5},
doi = {10.1007/978-3-030-03592-1\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/GhalePKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/HoenickeNP18,
author = {Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {A Tree-Based Approach to Data Flow Proofs},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {1--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_1},
doi = {10.1007/978-3-030-03592-1\_1},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/HoenickeNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/NishidaW18,
author = {Naoki Nishida and
Sarah Winkler},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Loop Detection by Logically Constrained Term Rewriting},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {309--321},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_18},
doi = {10.1007/978-3-030-03592-1\_18},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/NishidaW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Oberhauser18,
author = {Jonas Oberhauser},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Store Buffer Reduction in the Presence of Mixed-Size Accesses and
Misalignment},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {322--344},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_19},
doi = {10.1007/978-3-030-03592-1\_19},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Oberhauser18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/RajkhowaL18,
author = {Pritom Rajkhowa and
Fangzhen Lin},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Extending {VIAP} to Handle Array Programs},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {38--49},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_3},
doi = {10.1007/978-3-030-03592-1\_3},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/RajkhowaL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/TorriniNJC18,
author = {Paolo Torrini and
David Nowak and
Narjes Jomaa and
Mohamed Sami Cherif},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Formalising Executable Specifications of Low-Level Systems},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {155--176},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_9},
doi = {10.1007/978-3-030-03592-1\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/TorriniNJC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Zakrzewski18,
author = {Jakub Zakrzewski},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Towards Verification of Ethereum Smart Contracts: {A} Formalization
of Core of Solidity},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {229--247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_13},
doi = {10.1007/978-3-030-03592-1\_13},
timestamp = {Thu, 29 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Zakrzewski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2018,
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1},
doi = {10.1007/978-3-030-03592-1},
isbn = {978-3-030-03591-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2018.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 16:12 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:
