Searching for authors named "Christian Hammer" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Information flow control for java based on path conditions in dependence graphs
- …Christian Hammer ∗ University of Passau, Passau, Germany. hammer@(email omitted); Information…
- Cited by 14 (1 self) – Add To MetaCart
-
Intransitive Noninterference in Dependence Graphs
- …Intransitive Noninterference in Dependence Graphs Christian Hammer University of Passau, Germany…
- Cited by 1 (0 self) – Add To MetaCart
-
Dynamic Path Conditions in Dependence Graphs
- …Abstract Dynamic Path Conditions in Dependence Graphs Christian Hammer ∗ University of Passau…
- Cited by 4 (2 self) – Add To MetaCart
-
An Improved Slicer for Java
- …An Improved Slicer for Java Christian Hammer Universität Passau Lehrstuhl Softwaresysteme hammer…
- Cited by 11 (3 self) – Add To MetaCart
-
Dynamic Detection of Atomic-Set-Serializability Violations
- …Dynamic Detection of Atomic-Set-Serializability Violations Christian Hammer †∗ Julian Dolby…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 5.
