default search action

combined dblp search
author search
venue search
publication search

ask others

7th SSV 2012: Sydney, Australia

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-5873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-5873
Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. EPTCS 102, 2012
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6185
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu:
Automatic Verification of Message-Based Device Drivers. 4-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6186
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6186
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer:
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck. 18-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6187
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif:
A Formal Model of a Virtual Filesystem Switch. 33-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6188
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6188
Daniel Matichuk:
Automatic Function Annotations for Hoare Logic. 46-56
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6189
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6189
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess:
Distributed Priority Synthesis. 57-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6190
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6190
Hendrik Tews, Marcus Völp, Tjark Weber:
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code. 73-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6191
Tatiana Mangels, Jan Peleska:
CTGEN - a Unit Test Generator for C. 88-102
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6192
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6192
Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski:
Static Analysis of Lockless Microcontroller C Programs. 103-114
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6193
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6193
Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter:
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications. 115-124
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6194
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6194
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba:
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets. 125-140
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6195
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6195
Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba:
Time-Darts: A Data Structure for Verification of Closed Timed Automata. 141-155
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6196
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, 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. 156-166
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6197
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6197
David A. Cock:
Verifying Probabilistic Correctness in Isabelle with pGCL. 167-178

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.