Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. ; Nalon, Claudia (eds.) (2017):
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
In: Lecture Notes in Computer Science, 10501, pp. 22-43, Springer, Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings, DOI: 10.1007/978-3-319-66902-1₂,
[Conference or Workshop Item]

Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael
Larsen, Kim G. ; Srba, Jiří (eds.) (2016):
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
pp. 37-39, Aalborg, Nordic Workshop on Programming Theory (NWPT'16), [Conference or Workshop Item]

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2016):
Information Flow Analysis for Go.
9952, In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, pp. 431-445, Springer International Publishing, ISBN 978-3-319-47166-2,
DOI: 10.1007/978-3-319-47166-2_30,
[Book Section]

Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker (2012):
Delta-oriented Monitor Specification.
Springer, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), [Conference or Workshop Item]