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/vstte2015.bht:"
download as .bib file
@proceedings{DBLP:conf/vstte/2015,
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29613-5},
doi = {10.1007/978-3-319-29613-5},
isbn = {978-3-319-29612-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AltFHS15,
author = {Leonardo Alt and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {A Proof-Sensitive Approach for Small Propositional Interpolants},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {1--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_1},
doi = {10.1007/978-3-319-29613-5\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AltFHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BeyeneCPR15,
author = {Tewodros A. Beyene and
Swarat Chaudhuri and
Corneliu Popeea and
Andrey Rybalchenko},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Recursive Games for Compositional Program Synthesis},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {19--39},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_2},
doi = {10.1007/978-3-319-29613-5\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BeyeneCPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BruckerHNW15,
author = {Achim D. Brucker and
Oto Havle and
Yakoub Nemouchi and
Burkhart Wolff},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Testing the {IPC} Protocol for a Real-Time Operating System},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {40--60},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_3},
doi = {10.1007/978-3-319-29613-5\_3},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BruckerHNW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ClochardFP15,
author = {Martin Clochard and
Jean{-}Christophe Filli{\^{a}}tre and
Andrei Paskevich},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {How to Avoid Proving the Absence of Integer Overflows},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {94--109},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_6},
doi = {10.1007/978-3-319-29613-5\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ClochardFP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DorreK15,
author = {Felix D{\"{o}}rre and
Vladimir Klebanov},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Pseudo-Random Number Generator Verification: {A} Case Study},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {61--72},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_4},
doi = {10.1007/978-3-319-29613-5\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/DorreK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ErnstPSR15,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Inside a Verified Flash File System: Transactions and Garbage Collection},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {73--93},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_5},
doi = {10.1007/978-3-319-29613-5\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ErnstPSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/KatisGW15,
author = {Andreas Katis and
Andrew Gacek and
Michael W. Whalen},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Machine-Checked Proofs for Realizability Checking Algorithms},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {110--123},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_7},
doi = {10.1007/978-3-319-29613-5\_7},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/KatisGW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Mostowski15,
author = {Wojciech Mostowski},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Dynamic Frames Based Verification Method for Concurrent Java Programs},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {124--141},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_8},
doi = {10.1007/978-3-319-29613-5\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/Mostowski15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Oberhauser15,
author = {Jonas Oberhauser},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {A Simpler Reduction Theorem for x86-TSO},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {142--164},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_9},
doi = {10.1007/978-3-319-29613-5\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/Oberhauser15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/SezginT15,
author = {Ali Sezgin and
Serdar Tasiran},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Moving Around: Lipton's Reduction for {TSO} - (Regular Submission)},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {165--182},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_10},
doi = {10.1007/978-3-319-29613-5\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/SezginT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/SmithC15,
author = {Eric Smith and
Alessandro Coglio},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Android Platform Modeling and Android App Verification in the {ACL2}
Theorem Prover},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {183--201},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_11},
doi = {10.1007/978-3-319-29613-5\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/SmithC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/TanTGN15,
author = {Jiaqi Tan and
Hui Jun Tay and
Rajeev Gandhi and
Priya Narasimhan},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {{AUSPICE:} Automatic Safety Property Verification for Unmodified Executables},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {202--222},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_12},
doi = {10.1007/978-3-319-29613-5\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/TanTGN15.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-05-05 09:42 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:
