Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/vstte/AhrendtBBBGGHHHKMSSU14,
  author       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Daniel Bruns and
                  Richard Bubel and
                  Christoph Gladisch and
                  Sarah Grebing and
                  Reiner H{\"{a}}hnle and
                  Martin Hentschel and
                  Mihai Herda and
                  Vladimir Klebanov and
                  Wojciech Mostowski and
                  Christoph Scheben and
                  Peter H. Schmitt and
                  Mattias Ulbrich},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {The KeY Platform for Verification and Analysis of Java Programs},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {55--71},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_4},
  doi          = {10.1007/978-3-319-12154-3\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/AhrendtBBBGGHHHKMSSU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/BanerjeeN14,
  author       = {Anindya Banerjee and
                  David A. Naumann},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {A Logical Analysis of Framing for Specifications with Pure Method
                  Calls},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_1},
  doi          = {10.1007/978-3-319-12154-3\_1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/BanerjeeN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/ChenCK14,
  author       = {Geng Chen and
                  Ernie Cohen and
                  Mikhail Kovalev},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Store Buffer Reduction with MMUs},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {117--132},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_8},
  doi          = {10.1007/978-3-319-12154-3\_8},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/ChenCK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Clochard14,
  author       = {Martin Clochard},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Automatically Verified Implementation of Data Structures Based on
                  {AVL} Trees},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {167--180},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_11},
  doi          = {10.1007/978-3-319-12154-3\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Clochard14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/ClochardFMP14,
  author       = {Martin Clochard and
                  Jean{-}Christophe Filli{\^{a}}tre and
                  Claude March{\'{e}} and
                  Andrei Paskevich},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Formalizing Semantics with an Automatic Program Verifier},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_3},
  doi          = {10.1007/978-3-319-12154-3\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/ClochardFMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/DivakaranDS14,
  author       = {Sumesh Divakaran and
                  Deepak D'Souza and
                  Nigamanth Sridhar},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Efficient Refinement Checking in {VCC}},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {21--36},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_2},
  doi          = {10.1007/978-3-319-12154-3\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/DivakaranDS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/DubasiSW14,
  author       = {Mohana Asha Latha Dubasi and
                  Sudarshan K. Srinivasan and
                  Vidura Wijayasekara},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Timed Refinement for Verification of Real-Time Object Code Programs},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {252--269},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_16},
  doi          = {10.1007/978-3-319-12154-3\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/DubasiSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/FouilheB14,
  author       = {Alexis Fouilh{\'{e}} and
                  Sylvain Boulm{\'{e}}},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {A Certifying Frontend for (Sub)polyhedral Abstract Domains},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {200--215},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_13},
  doi          = {10.1007/978-3-319-12154-3\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/FouilheB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/FreitasJVW14,
  author       = {Leo Freitas and
                  Cliff B. Jones and
                  Andrius Velykis and
                  Iain Whiteside},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {A Model for Capturing and Replaying Proof Strategies},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {183--199},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_12},
  doi          = {10.1007/978-3-319-12154-3\_12},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/FreitasJVW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/JamiI14,
  author       = {Madiha Jami and
                  Andrew Ireland},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {A Verification Condition Visualizer},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {72--86},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_5},
  doi          = {10.1007/978-3-319-12154-3\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/JamiI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Krebbers14,
  author       = {Robbert Krebbers},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Separation Algebras for {C} Verification in Coq},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {150--166},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_10},
  doi          = {10.1007/978-3-319-12154-3\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Krebbers14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/MuraliSTC14,
  author       = {Vijayaraghavan Murali and
                  Nishant Sinha and
                  Emina Torlak and
                  Satish Chandra},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {What Gives? {A} Hybrid Algorithm for Error Trace Explanation},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {270--286},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_17},
  doi          = {10.1007/978-3-319-12154-3\_17},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/MuraliSTC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/NageleTW14,
  author       = {Julian Nagele and
                  Ren{\'{e}} Thiemann and
                  Sarah Winkler},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Certification of Nontermination Proofs Using Strategies and Nonlooping
                  Derivations},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {216--232},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_14},
  doi          = {10.1007/978-3-319-12154-3\_14},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/NageleTW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Neumann14,
  author       = {Ren{\'{e}} Neumann},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Using Promela in a Fully Verified Executable {LTL} Model Checker},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {105--114},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_7},
  doi          = {10.1007/978-3-319-12154-3\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Neumann14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/SananBH14,
  author       = {David San{\'{a}}n and
                  Andrew Butterfield and
                  Mike Hinchey},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Separation Kernel Verification: The Xtratum Case Study},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_9},
  doi          = {10.1007/978-3-319-12154-3\_9},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/SananBH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/SpalazziS14,
  author       = {Luca Spalazzi and
                  Francesco Spegni},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Parameterized Model-Checking of Timed Systems with Conjunctive Guards},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {235--251},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_15},
  doi          = {10.1007/978-3-319-12154-3\_15},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/SpalazziS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/TanSMS14,
  author       = {Wei Yang Tan and
                  Rohit Sinha and
                  John L. Manferdelli and
                  Sanjit A. Seshia},
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Formal Modeling and Verification of CloudProxy},
  booktitle    = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  pages        = {87--104},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3\_6},
  doi          = {10.1007/978-3-319-12154-3\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/TanSMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vstte/2014,
  editor       = {Dimitra Giannakopoulou and
                  Daniel Kroening},
  title        = {Verified Software: Theories, Tools and Experiments - 6th International
                  Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8471},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12154-3},
  doi          = {10.1007/978-3-319-12154-3},
  isbn         = {978-3-319-12153-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/2014.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.