Secure Partitioning of Application Logic In a Trustworthy Cloud. | 0 | 0.34 | 2015 |
The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios. | 2 | 0.44 | 2014 |
Privacy for Cloud Storage | 1 | 0.37 | 2014 |
Safe Browsing. | 0 | 0.34 | 2013 |
The TClouds platform: concept, architecture and instantiations | 3 | 0.44 | 2013 |
TClouds - Herausforderungen und erste Schritte zur sicheren und datenschutzkonformen Cloud. | 0 | 0.34 | 2011 |
State Spaces --- The Locale Way | 3 | 0.46 | 2009 |
Pervasive Theory of Memory | 1 | 0.36 | 2009 |
Invariants, Modularity, and Rights | 60 | 1.98 | 2009 |
A Better Reduction Theorem for Store Buffers | 4 | 0.60 | 2009 |
Formal pervasive verification of a paging mechanism | 25 | 2.35 | 2008 |
A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment. | 2 | 0.37 | 2008 |
BDD Normalisation. | 0 | 0.34 | 2008 |
Jive Data and Store Model. | 0 | 0.34 | 2005 |
Verification of BDD normalization | 6 | 0.47 | 2005 |
Integration of a software model checker into isabelle | 7 | 1.98 | 2005 |
A Verification Environment for Sequential Imperative Programs in Isabelle/HOL. | 31 | 3.77 | 2004 |
Analysing The Java Package/Access Concepts In Isabelle/Hol | 4 | 0.70 | 2004 |