Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/vstte/AlkassarH08,
  author       = {Eyad Alkassar and
                  Mark A. Hillebrand},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Formal Functional Verification of Device Drivers},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {225--239},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_19},
  doi          = {10.1007/978-3-540-87873-5\_19},
  timestamp    = {Fri, 17 Feb 2023 09:02:02 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/AlkassarH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/AlkassarHLSS08,
  author       = {Eyad Alkassar and
                  Mark A. Hillebrand and
                  Dirk Leinenbach and
                  Norbert Schirmer and
                  Artem Starostin},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {The Verisoft Approach to Systems Verification},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_18},
  doi          = {10.1007/978-3-540-87873-5\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/AlkassarHLSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/BanerjeeBN08,
  author       = {Anindya Banerjee and
                  Michael Barnett and
                  David A. Naumann},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Boogie Meets Regions: {A} Verification Experience Report},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {177--191},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_16},
  doi          = {10.1007/978-3-540-87873-5\_16},
  timestamp    = {Thu, 22 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/BanerjeeBN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Bickford08,
  author       = {Mark Bickford},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Unguessable Atoms: {A} Logical Foundation for Security},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {30--53},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_7},
  doi          = {10.1007/978-3-540-87873-5\_7},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/Bickford08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/ChalinJK08,
  author       = {Patrice Chalin and
                  Perry R. James and
                  George Karabotsos},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {{JML4:} Towards an Industrial Grade {IVE} for Java and Next Generation
                  Research Platform for {JML}},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {70--83},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_9},
  doi          = {10.1007/978-3-540-87873-5\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/ChalinJK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Coleman08,
  author       = {Joey W. Coleman},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Expression Decomposition in a Rely/Guarantee Context},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {146--160},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_14},
  doi          = {10.1007/978-3-540-87873-5\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Coleman08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/DaumDSW08,
  author       = {Matthias Daum and
                  Jan D{\"{o}}rrenb{\"{a}}cher and
                  Mareike Schmidt and
                  Burkhart Wolff},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {A Verification Approach for System-Level Concurrent Programs},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {161--176},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_15},
  doi          = {10.1007/978-3-540-87873-5\_15},
  timestamp    = {Fri, 22 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/DaumDSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/DennisYJ08,
  author       = {Greg Dennis and
                  Kuat Yessenov and
                  Daniel Jackson},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Bounded Verification of Voting Software},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {130--145},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_13},
  doi          = {10.1007/978-3-540-87873-5\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/DennisYJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/ElkaduweKE08,
  author       = {Dhammika Elkaduwe and
                  Gerwin Klein and
                  Kevin Elphinstone},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Verified Protection Model of the seL4 Microkernel},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {99--114},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_11},
  doi          = {10.1007/978-3-540-87873-5\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/ElkaduweKE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/FengSGD08,
  author       = {Xinyu Feng and
                  Zhong Shao and
                  Yu Guo and
                  Yuan Dong},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Combining Domain-Specific and Foundational Logics to Verify Complete
                  Software Systems},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {54--69},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_8},
  doi          = {10.1007/978-3-540-87873-5\_8},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/FengSGD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/GopinathanNR08,
  author       = {Madhu Gopinathan and
                  Aditya V. Nori and
                  Sriram K. Rajamani},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Combining Tests and Proofs},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {4--5},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_4},
  doi          = {10.1007/978-3-540-87873-5\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/GopinathanNR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/KolanskiK08,
  author       = {Rafal Kolanski and
                  Gerwin Klein},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Mapped Separation Logic},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {15--29},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_6},
  doi          = {10.1007/978-3-540-87873-5\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/KolanskiK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/LeinoMW08,
  author       = {K. Rustan M. Leino and
                  Peter M{\"{u}}ller and
                  Angela Wallenburg},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Flexible Immutability with Frozen Objects},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {192--208},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_17},
  doi          = {10.1007/978-3-540-87873-5\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/LeinoMW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Leivant08,
  author       = {Daniel Leivant},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Propositional Dynamic Logic for Recursive Procedures},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {6--14},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_5},
  doi          = {10.1007/978-3-540-87873-5\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Leivant08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Podelski08,
  author       = {Andreas Podelski},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Verification, Least-Fixpoint Checking, Abstraction},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {3},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_3},
  doi          = {10.1007/978-3-540-87873-5\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Podelski08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Reynolds08,
  author       = {John C. Reynolds},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Readable Formal Proofs},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {1},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_1},
  doi          = {10.1007/978-3-540-87873-5\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Reynolds08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/StarostinT08,
  author       = {Artem Starostin and
                  Alexandra Tsyban},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Verified Process-Context Switch for C-Programmed Kernels},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {240--254},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_20},
  doi          = {10.1007/978-3-540-87873-5\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/StarostinT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Vardi08,
  author       = {Moshe Y. Vardi},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {From Verification to Synthesis},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {2},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_2},
  doi          = {10.1007/978-3-540-87873-5\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Vardi08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/WeideSHABBHKF08,
  author       = {Bruce W. Weide and
                  Murali Sitaraman and
                  Heather K. Harton and
                  Bruce M. Adcock and
                  Paolo Bucci and
                  Derek Bronish and
                  Wayne D. Heym and
                  Jason Kirschenbaum and
                  David Frazier},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Incremental Benchmarks for Software Verification Tools and Techniques},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {84--98},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_10},
  doi          = {10.1007/978-3-540-87873-5\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/WeideSHABBHKF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/YuasaTST08,
  author       = {Yoshifumi Yuasa and
                  Yoshinori Tanabe and
                  Toshifusa Sekizawa and
                  Koichi Takahashi},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal
                  Logic},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {115--129},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_12},
  doi          = {10.1007/978-3-540-87873-5\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/YuasaTST08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vstte/2008,
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87873-5},
  doi          = {10.1007/978-3-540-87873-5},
  isbn         = {978-3-540-87872-8},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/OHalloran05,
  author       = {Colin O'Halloran},
  editor       = {Natarajan Shankar and
                  Jim Woodcock},
  title        = {Where Is the Value in a Program Verifier?},
  booktitle    = {Verified Software: Theories, Tools, Experiments, Second International
                  Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5295},
  pages        = {255--262},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-87873-5\_21},
  doi          = {10.1007/978-3-540-87873-5\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/OHalloran05.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.