- 2008
- Kirsten Berkenkötter:
Reliable UML Models and Profiles. SSV 2008: 203-220 - Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams:
The HiVe Writer. SSV 2008: 221-234 - Christof Efkemann, Tobias Hartmann:
Specification of Conditions for Error Diagnostics. SSV 2008: 97-112 - Pär Emanuelsson, Ulf Nilsson:
A Comparative Study of Industrial Static Analysis Tools. SSV 2008: 5-21 - Paul T. Graunke:
Verified Safety and Information Flow of a Block Device. SSV 2008: 187-202 - Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll
:
Proving Correctness of an Efficient Abstraction for Interrupt Handling. SSV 2008: 133-150 - Ralf Huuck, Gerwin Klein, Bastian Schlich:
Preface. SSV 2008: 1-3 - Rafal Kolanski:
A Logic for Virtual Memory. SSV 2008: 61-77 - Dirk Leinenbach, Elena Petrova:
Pervasive Compiler Verification - From Verified Programs to Verified Systems. SSV 2008: 23-40 - Helge Löding, Jan Peleska:
Symbolic and Abstract Interpretation for C/C++ Programs. SSV 2008: 113-131 - Thomas In der Rieden, Alexandra Tsyban:
CVM - A Verified Framework for Microkernel Programmers. SSV 2008: 151-168 - Artem Starostin, Alexandra Tsyban:
Correct Microkernel Primitives. SSV 2008: 169-185 - Hendrik Tews, Tjark Weber, Marcus Völp:
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. SSV 2008: 79-96 - Harvey Tuch:
Structured Types and Separation Logic. SSV 2008: 41-59 - 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 [contents] - Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009. Electronic Notes in Theoretical Computer Science 254, Elsevier 2008 [contents]
