
@conference {inp:NordhoffMuellerOlmLammich2013,
	title = {{Iterable Forward Reachability Analysis of Monitor-DPNs}},
	booktitle = {Proceedings of Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt)},
	year = {2013},
	author = {B. Nordhoff and M. M{\"u}ller-Olm and P. Lammich}
}
@conference {inp:GrafHeckerMohrNordhoff2013,
	title = {Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks},
	booktitle = {1st International Workshop on Interference and Dependence (ID 2013)},
	year = {2013},
	author = {J. Graf and M. Hecker and M. Mohr and B. Nordhoff}
}
