![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/vstte/vstte2019.bht:"
@proceedings{DBLP:conf/vstte/2019, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-41600-3}, doi = {10.1007/978-3-030-41600-3}, isbn = {978-3-030-41599-0}, timestamp = {Mon, 16 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/0001LCPDBNF19, author = {Yuepeng Wang and Shuvendu K. Lahiri and Shuo Chen and Rong Pan and Isil Dillig and Cody Born and Immad Naseer and Kostas Ferles}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {87--106}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_7}, doi = {10.1007/978-3-030-41600-3\_7}, timestamp = {Mon, 16 Mar 2020 13:24:49 +0100}, biburl = {https://dblp.org/rec/conf/vstte/0001LCPDBNF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/BeckerM19, author = {Benedikt F. H. Becker and Claude March{\'{e}}}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Ghost Code in Action: Automated Verification of a Symbolic Interpreter}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {107--123}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_8}, doi = {10.1007/978-3-030-41600-3\_8}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/BeckerM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/Bultan19, author = {Tevfik Bultan}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Quantifying Information Leakage Using Model Counting Constraint Solvers}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {30--35}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_3}, doi = {10.1007/978-3-030-41600-3\_3}, timestamp = {Mon, 16 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/Bultan19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/ChechikKRSV19, author = {Marsha Chechik and Sahar Kokaly and Mona Rahimi and Rick Salay and Torin Viger}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {19--29}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_2}, doi = {10.1007/978-3-030-41600-3\_2}, timestamp = {Mon, 16 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/ChechikKRSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/DurejaLPVR19, author = {Rohit Dureja and Jianwen Li and Geguang Pu and Moshe Y. Vardi and Kristin Y. Rozier}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Intersection and Rotation of Assumption Literals Boosts Bug-Finding}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {180--192}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_12}, doi = {10.1007/978-3-030-41600-3\_12}, timestamp = {Mon, 16 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/DurejaLPVR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/GrebingKU19, author = {Sarah Grebing and Jonas Klamroth and Mattias Ulbrich}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Seamless Interactive Program Verification}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {68--86}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_6}, doi = {10.1007/978-3-030-41600-3\_6}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/GrebingKU19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/HainesPT19, author = {Thomas Haines and Dirk Pattinson and Mukesh Tiwari}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {36--53}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_4}, doi = {10.1007/978-3-030-41600-3\_4}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/HainesPT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/HajduJ19, author = {{\'{A}}kos Hajdu and Dejan Jovanovic}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {solc-verify: {A} Modular Verifier for Solidity Smart Contracts}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {161--179}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_11}, doi = {10.1007/978-3-030-41600-3\_11}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/HajduJ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/HomburgD19, author = {Jonathan Homburg and Parasara Sridhar Duggirala}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Incremental Minimization of Symbolic Automata}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {54--67}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_5}, doi = {10.1007/978-3-030-41600-3\_5}, timestamp = {Mon, 16 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/HomburgD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/JournaultMMO19, author = {Matthieu Journault and Antoine Min{\'{e}} and Rapha{\"{e}}l Monat and Abdelraouf Ouadjaout}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {1--18}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_1}, doi = {10.1007/978-3-030-41600-3\_1}, timestamp = {Mon, 16 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/JournaultMMO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/Shinn19, author = {Maxwell Shinn}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {Refinement Type Contracts for Verification of Scientific Investigative Software}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {143--160}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_10}, doi = {10.1007/978-3-030-41600-3\_10}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/Shinn19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/WakankarPM19, author = {Amol Wakankar and Paritosh K. Pandya and Raj Mohan Matteplackel}, editor = {Supratik Chakraborty and Jorge A. Navas}, title = {DCSynth: Guided Reactive Synthesis with Soft Requirements}, booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12031}, pages = {124--142}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41600-3\_9}, doi = {10.1007/978-3-030-41600-3\_9}, timestamp = {Mon, 16 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/WakankarPM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.