default search action

combined dblp search
author search
venue search
publication search

ask others

SSV 2011: Nijmegen, The Netherlands

> Home > Conferences and Workshops > SSV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/ssv/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/2011
Jörg Brauer, Marco Roveri, Hendrik Tews:
6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, The Netherlands, August 26, 2011. OASIcs 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-36-1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssv/X11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/X11
Frontmatter, Table of Contents, Preface.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssv/Gast11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/Gast11
Holger Gast:
Structuring Interactive Correctness Proofs by Formalizing Coding Idioms. 1-14
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssv/Berghofer11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/Berghofer11
Stefan Berghofer:
Verification of Dependable Software using SPARK and Isabelle. 15-31
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssv/BrauerHKLO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/BrauerHKLO11
Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen:
Adaptable Value-Set Analysis for Low-Level Code. 32-43
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssv/JaaskelainenKKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/JaaskelainenKKV11
Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen:
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. 44-56
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssv/Blech11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/Blech11
Jan Olaf Blech:
A Tool for the Certification of Sequential Function Chart based System Specifications. 57-70
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssv/GuckelK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/GuckelK11
Dominique Gückel, Stefan Kowalewski:
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. 71-83

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.