Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein 0001, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp |
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 156-166, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter |
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 115-124, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess |
Distributed Priority Synthesis ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 57-72, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski |
Static Analysis of Lockless Microcontroller C Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 103-114, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Matichuk |
Automatic Function Annotations for Hoare Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 46-56, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif |
A Formal Model of a Virtual Filesystem Switch ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 33-45, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba |
Time-Darts: A Data Structure for Verification of Closed Timed Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 141-155, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu |
Automatic Verification of Message-Based Device Drivers ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 4-17, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tatiana Mangels, Jan Peleska 0001 |
CTGEN - a Unit Test Generator for C ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 88-102, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Tews, Marcus Völp, Tjark Weber |
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 73-87, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) |
Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba |
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 125-140, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David A. Cock |
Verifying Probabilistic Correctness in Isabelle with pGCL ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 167-178, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 18-32, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Marco Roveri, Hendrik Tews (eds.) |
6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Dominique Gückel, Stefan Kowalewski |
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands, pp. 71-83, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Holger Gast |
Structuring Interactive Correctness Proofs by Formalizing Coding Idioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands, pp. 1-14, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands, pp. 44-56, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | |
Frontmatter, Table of Contents, Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Berghofer |
Verification of Dependable Software using SPARK and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands, pp. 15-31, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Olaf Blech |
A Tool for the Certification of Sequential Function Chart based System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands, pp. 57-70, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen |
Adaptable Value-Set Analysis for Low-Level Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands, pp. 32-43, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Volker Kamin, Thomas Noll 0001 |
Loop Refinement Using Octagons and Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Carsten Sinz, Stephan Falke 0001, Florian Merz 0001 |
A Precise Memory Model for Low-Level Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Toshiyuki Maeda, Akinori Yonezawa |
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Justin Cappos, Jonathan Jacky |
Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | J. Aaron Pendergrass |
Verification of Stack Manipulation in the SCIP Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Sebastian Biallas, Jörg Brauer, Stefan Kowalewski |
Counterexample-Guided Abstraction Refinement for PLCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | David A. Cock |
Lyrebird - Assigning Meanings to Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | June Andronick, David Greenaway, Kevin Elphinstone |
Towards Proving Security in the Presence of Large Untrusted Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jianjun Duan, John Regehr |
Correctness Proofs for Device Drivers in Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jirí Simsa, Randy Bryant, Garth A. Gibson |
dBug: Systematic Evaluation of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) |
5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![USENIX Association The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andrew Boyton |
A Verified Shared Capability Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 25-44, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker |
An Abstract Specification Language for Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 181-197, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte |
A Precise Yet Efficient Memory Model For C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 85-103, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Schirmer, Makarius Wenzel |
State Spaces - The Locale Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 161-179, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuusuke Hashimoto, Shin Nakajima 0001 |
Modular Checking with Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 105-122, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Bastian Schlich, Stefan Kowalewski |
Parallel and Distributed Invariant Checking of Microcontroller Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 45-63, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Ralf Huuck, Bastian Schlich |
Interprocedural Pointer Analysis in Goanna. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 65-83, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mark A. Hillebrand, Dirk Leinenbach |
Formal Verification of a Reader-Writer Lock Implementation in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 123-141, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matko Botincan, Matthew J. Parkinson, Wolfram Schulte |
Separation Logic Verification of C Programs with an SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 5-23, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Huuck, Gerwin Klein, Bastian Schlich |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 1-3, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb, Mourad Debbabi, Lingyu Wang 0001, Makan Pourzandi |
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009, pp. 143-160, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas In der Rieden, Alexandra Tsyban |
CVM - A Verified Framework for Microkernel Programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 151-168, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Artem Starostin, Alexandra Tsyban |
Correct Microkernel Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 169-185, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pär Emanuelsson, Ulf Nilsson |
A Comparative Study of Industrial Static Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 5-21, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kirsten Berkenkötter |
Reliable UML Models and Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 203-220, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paul T. Graunke |
Verified Safety and Information Flow of a Block Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 187-202, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams |
The HiVe Writer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 221-234, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Leinenbach, Elena Petrova |
Pervasive Compiler Verification - From Verified Programs to Verified Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 23-40, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christof Efkemann, Tobias Hartmann 0002 |
Specification of Conditions for Error Diagnostics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 97-112, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Huuck, Gerwin Klein, Bastian Schlich |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 1-3, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rafal Kolanski |
A Logic for Virtual Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 61-77, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Helge Löding, Jan Peleska 0001 |
Symbolic and Abstract Interpretation for C/C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 113-131, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll 0001 |
Proving Correctness of an Efficient Abstraction for Interrupt Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 133-150, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Harvey Tuch |
Structured Types and Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 41-59, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Tews, Tjark Weber, Marcus Völp |
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 79-96, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) |
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) |
Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|