Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/vstte/AlkassarHPP10,
  author       = {Eyad Alkassar and
                  Mark A. Hillebrand and
                  Wolfgang J. Paul and
                  Elena Petrova},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Automated Verification of a Small Hypervisor},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {40--54},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_3},
  doi          = {10.1007/978-3-642-15057-9\_3},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/AlkassarHPP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/AlkassarPST10,
  author       = {Eyad Alkassar and
                  Wolfgang J. Paul and
                  Artem Starostin and
                  Alexandra Tsyban},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Pervasive Verification of an {OS} Microkernel - Inline Assembly, Memory
                  Consumption, Concurrent Devices},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_5},
  doi          = {10.1007/978-3-642-15057-9\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/AlkassarPST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/BallHLQV10,
  author       = {Thomas Ball and
                  Brian Hackett and
                  Shuvendu K. Lahiri and
                  Shaz Qadeer and
                  Julien Vanegue},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Towards Scalable Modular Checking of User-Defined Properties},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_1},
  doi          = {10.1007/978-3-642-15057-9\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/BallHLQV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/BarnettL10,
  author       = {Michael Barnett and
                  K. Rustan M. Leino},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {To Goto Where No Statement Has Gone Before},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {157--168},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_11},
  doi          = {10.1007/978-3-642-15057-9\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/BarnettL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Dinsdale-YoungGW10,
  author       = {Thomas Dinsdale{-}Young and
                  Philippa Gardner and
                  Mark J. Wheelhouse},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Abstraction and Refinement for Local Reasoning},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {199--215},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_14},
  doi          = {10.1007/978-3-642-15057-9\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Dinsdale-YoungGW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/JastramHLR10,
  author       = {Michael Jastram and
                  Stefan Hallerstede and
                  Michael Leuschel and
                  Aryldo G. Russo},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {An Approach of Requirements Tracing in Formal Refinement},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_7},
  doi          = {10.1007/978-3-642-15057-9\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/JastramHLR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Klein10,
  author       = {Gerwin Klein},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {The L4.verified Project - Next Steps},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {86--96},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_6},
  doi          = {10.1007/978-3-642-15057-9\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/Klein10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/LeinoM10,
  author       = {K. Rustan M. Leino and
                  Rosemary Monahan},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Dafny Meets the Verification Benchmarks Challenge},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {112--126},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_8},
  doi          = {10.1007/978-3-642-15057-9\_8},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/LeinoM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Myreen10,
  author       = {Magnus O. Myreen},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Reusable Verification of a Copying Collector},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {142--156},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_10},
  doi          = {10.1007/978-3-642-15057-9\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Myreen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Parkinson10,
  author       = {Matthew J. Parkinson},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {The Next 700 Separation Logics - (Invited Paper)},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {169--182},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_12},
  doi          = {10.1007/978-3-642-15057-9\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Parkinson10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/PolikarpovaFM10,
  author       = {Nadia Polikarpova and
                  Carlo A. Furia and
                  Bertrand Meyer},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Specifying Reusable Components},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {127--141},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_9},
  doi          = {10.1007/978-3-642-15057-9\_9},
  timestamp    = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/PolikarpovaFM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Ridge10,
  author       = {Tom Ridge},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {A Rely-Guarantee Proof System for x86-TSO},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {55--70},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_4},
  doi          = {10.1007/978-3-642-15057-9\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Ridge10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/RosenbergBN10,
  author       = {Stan Rosenberg and
                  Anindya Banerjee and
                  David A. Naumann},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Local Reasoning and Dynamic Framing for the Composite Pattern and
                  Its Clients},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {183--198},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_13},
  doi          = {10.1007/978-3-642-15057-9\_13},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/RosenbergBN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/SezginTQ10,
  author       = {Ali Sezgin and
                  Serdar Tasiran and
                  Shaz Qadeer},
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Tressa: Claiming the Future},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  pages        = {25--39},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9\_2},
  doi          = {10.1007/978-3-642-15057-9\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/SezginTQ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vstte/2010,
  editor       = {Gary T. Leavens and
                  Peter W. O'Hearn and
                  Sriram K. Rajamani},
  title        = {Verified Software: Theories, Tools, Experiments, Third International
                  Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6217},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15057-9},
  doi          = {10.1007/978-3-642-15057-9},
  isbn         = {978-3-642-15056-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/2010.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.