default search action

combined dblp search
author search
venue search
publication search

ask others

6. VSTTE 2014: Vienna, Austria

> Home > Conferences and Workshops > VSTTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2014
Dimitra Giannakopoulou, Daniel Kroening:
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8471, Springer 2014, ISBN 978-3-319-12153-6

Analysis: Understanding and Explanation

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BanerjeeN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BanerjeeN14
Anindya Banerjee, David A. Naumann:
A Logical Analysis of Framing for Specifications with Pure Method Calls. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/DivakaranDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/DivakaranDS14
Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar:
Efficient Refinement Checking in VCC. 21-36
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ClochardFMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ClochardFMP14
Martin Clochard, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich:
Formalizing Semantics with an Automatic Program Verifier. 37-51

Verification Frameworks and Applications

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AhrendtBBBGGHHHKMSSU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AhrendtBBBGGHHHKMSSU14
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich:
The KeY Platform for Verification and Analysis of Java Programs. 55-71
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/JamiI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/JamiI14
Madiha Jami, Andrew Ireland:
A Verification Condition Visualizer. 72-86
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/TanSMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/TanSMS14
Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia:
Formal Modeling and Verification of CloudProxy. 87-104
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Neumann14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Neumann14
René Neumann:
Using Promela in a Fully Verified Executable LTL Model Checker. 105-114

Hypervisors and Dynamic Data Structures

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ChenCK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ChenCK14
Geng Chen, Ernie Cohen, Mikhail Kovalev:
Store Buffer Reduction with MMUs. 117-132
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/SananBH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/SananBH14
David Sanán, Andrew Butterfield, Mike Hinchey:
Separation Kernel Verification: The Xtratum Case Study. 133-149
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Krebbers14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Krebbers14
Robbert Krebbers:
Separation Algebras for C Verification in Coq. 150-166
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Clochard14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Clochard14
Martin Clochard:
Automatically Verified Implementation of Data Structures Based on AVL Trees. 167-180

Certification

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/FreitasJVW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/FreitasJVW14
Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside:
A Model for Capturing and Replaying Proof Strategies. 183-199
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/FouilheB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/FouilheB14
Alexis Fouilhé, Sylvain Boulmé:
A Certifying Frontend for (Sub)polyhedral Abstract Domains. 200-215
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/NageleTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/NageleTW14
Julian Nagele, René Thiemann, Sarah Winkler:
Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations. 216-232

Real Time and Security

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/SpalazziS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/SpalazziS14
Luca Spalazzi, Francesco Spegni:
Parameterized Model-Checking of Timed Systems with Conjunctive Guards. 235-251
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/DubasiSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/DubasiSW14
Mohana Asha Latha Dubasi, Sudarshan K. Srinivasan, Vidura Wijayasekara:
Timed Refinement for Verification of Real-Time Object Code Programs. 252-269
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/MuraliSTC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/MuraliSTC14
Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra:
What Gives? A Hybrid Algorithm for Error Trace Explanation. 270-286

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.