Software (theme 1)
preprint (not CWI, to be used with submitted papers)
accepted for post-proceedings of WADT 2014. Springer LNCS. Published paper: DOI: 10.1007/978-3-319-28114-8_4
Computer Security

Fortin, M, Bonsangue, M.M, & Rutten, J.J.M.M. (2015). Coalgebraic semantics of heavy-weighted automata. preprint (not CWI, to be used with submitted papers).