Search dblp for Publications

export results for "toc:db/conf/vstte/vstte2019.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.