| 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  |
SSV  |
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 |
SSV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess |
Distributed Priority Synthesis |
SSV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski |
Static Analysis of Lockless Microcontroller C Programs |
SSV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Matichuk |
Automatic Function Annotations for Hoare Logic |
SSV |
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 |
SSV |
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 |
SSV |
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 |
SSV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatiana Mangels, Jan Peleska 0001 |
CTGEN - a Unit Test Generator for C |
SSV |
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 |
SSV |
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. |
SSV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba |
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets |
SSV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cock |
Verifying Probabilistic Correctness in Isabelle with pGCL |
SSV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck |
SSV |
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 |
SSV |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dominique Gückel, Stefan Kowalewski |
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. |
SSV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Gast |
Structuring Interactive Correctness Proofs by Formalizing Coding Idioms. |
SSV |
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. |
SSV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Frontmatter, Table of Contents, Preface. |
SSV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Berghofer |
Verification of Dependable Software using SPARK and Isabelle. |
SSV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Olaf Blech |
A Tool for the Certification of Sequential Function Chart based System Specifications. |
SSV |
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. |
SSV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Kamin, Thomas Noll 0001 |
Loop Refinement Using Octagons and Satisfiability. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carsten Sinz, Stephan Falke 0001, Florian Merz 0001 |
A Precise Memory Model for Low-Level Bounded Model Checking. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toshiyuki Maeda, Akinori Yonezawa |
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | Justin Cappos, Jonathan Jacky |
Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | J. Aaron Pendergrass |
Verification of Stack Manipulation in the SCIP Processor. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Biallas, Jörg Brauer, Stefan Kowalewski |
Counterexample-Guided Abstraction Refinement for PLCs. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | David A. Cock |
Lyrebird - Assigning Meanings to Machines. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | June Andronick, David Greenaway, Kevin Elphinstone |
Towards Proving Security in the Presence of Large Untrusted Components. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jianjun Duan, John Regehr |
Correctness Proofs for Device Drivers in Embedded Systems. |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jirí Simsa, Randy Bryant, Garth A. Gibson |
dBug: Systematic Evaluation of Distributed Systems. |
SSV |
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 |
SSV |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andrew Boyton |
A Verified Shared Capability Model. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker |
An Abstract Specification Language for Static Program Analysis. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte |
A Precise Yet Efficient Memory Model For C. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Schirmer, Makarius Wenzel |
State Spaces - The Locale Way. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuusuke Hashimoto, Shin Nakajima 0001 |
Modular Checking with Model Checking. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Bastian Schlich, Stefan Kowalewski |
Parallel and Distributed Invariant Checking of Microcontroller Software. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Ralf Huuck, Bastian Schlich |
Interprocedural Pointer Analysis in Goanna. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark A. Hillebrand, Dirk Leinenbach |
Formal Verification of a Reader-Writer Lock Implementation in C. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matko Botincan, Matthew J. Parkinson, Wolfram Schulte |
Separation Logic Verification of C Programs with an SMT Solver. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Huuck, Gerwin Klein, Bastian Schlich |
Preface. |
SSV |
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. |
SSV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas In der Rieden, Alexandra Tsyban |
CVM - A Verified Framework for Microkernel Programmers. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Starostin, Alexandra Tsyban |
Correct Microkernel Primitives. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pär Emanuelsson, Ulf Nilsson |
A Comparative Study of Industrial Static Analysis Tools. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Berkenkötter |
Reliable UML Models and Profiles. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul T. Graunke |
Verified Safety and Information Flow of a Block Device. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams |
The HiVe Writer. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Leinenbach, Elena Petrova |
Pervasive Compiler Verification - From Verified Programs to Verified Systems. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Efkemann, Tobias Hartmann 0002 |
Specification of Conditions for Error Diagnostics. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Huuck, Gerwin Klein, Bastian Schlich |
Preface. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafal Kolanski |
A Logic for Virtual Memory. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Helge Löding, Jan Peleska 0001 |
Symbolic and Abstract Interpretation for C/C++ Programs. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll 0001 |
Proving Correctness of an Efficient Abstraction for Interrupt Handling. |
SSV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey Tuch |
Structured Types and Separation Logic. |
SSV |
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. |
SSV |
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 |
SSV |
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 |
SSV |
2008 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license