Export 2 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is H and Author is M. Hecker [Clear All Filters]
, “Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks”, in 1st International Workshop on Interference and Dependence (ID 2013), 2013.
, “Using JOANA for Information Flow Control in Java Programs - A Practical Guide”, in Proceedings of the 6th Working Conference on Programming Languages (ATPS 2013), 2013.