Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is J  [Clear All Filters]
2011
T. M. Gawlitza, Lammich, P., Müller-Olm, M., Seidl, H., and Wenner, A., “Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation”, in Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011), 2011.
2012
A. Lochbihler, “Java and the Java Memory Model – a Unified, Machine-Checked Formalisation”, in Proceedings of the ACM SIGPLAN 7th Workshop on Programming Languages and Systems (PLAS 2012), 2012.