default search action

combined dblp search
author search
venue search
publication search

ask others

3rd SSV 2008: Sydney, Australia

> 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 @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/ssv/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/2008
Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008. Electronic Notes in Theoretical Computer Science 217, Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HuuckKS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HuuckKS08
Ralf Huuck, Gerwin Klein, Bastian Schlich:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EmanuelssonN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EmanuelssonN08
Pär Emanuelsson, Ulf Nilsson:
A Comparative Study of Industrial Static Analysis Tools. 5-21
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LeinenbachP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LeinenbachP08
Dirk Leinenbach, Elena Petrova:
Pervasive Compiler Verification - From Verified Programs to Verified Systems. 23-40
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Tuch08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Tuch08
Harvey Tuch:
Structured Types and Separation Logic. 41-59
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Kolanski08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kolanski08
Rafal Kolanski:
A Logic for Virtual Memory. 61-77
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TewsWV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TewsWV08
Hendrik Tews, Tjark Weber, Marcus Völp:
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. 79-96
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EfkemannH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EfkemannH08
Christof Efkemann, Tobias Hartmann:
Specification of Conditions for Error Diagnostics. 97-112
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LodingP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LodingP08
Helge Löding, Jan Peleska:
Symbolic and Abstract Interpretation for C/C++ Programs. 113-131
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HerberichSWN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HerberichSWN08
Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll:
Proving Correctness of an Efficient Abstraction for Interrupt Handling. 133-150
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RiedenT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RiedenT08
Thomas In der Rieden, Alexandra Tsyban:
CVM - A Verified Framework for Microkernel Programmers. 151-168
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/StarostinT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/StarostinT08
Artem Starostin, Alexandra Tsyban:
Correct Microkernel Primitives. 169-185
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Graunke08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Graunke08
Paul T. Graunke:
Verified Safety and Information Flow of a Block Device. 187-202
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Berkenkotter08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Berkenkotter08
Kirsten Berkenkötter:
Reliable UML Models and Profiles. 203-220
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CantLMMW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CantLMMW08
Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams:
The HiVe Writer. 221-234

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.