For a full list of my publications, please see my website, listed above.
Yatapanage, N. and Winter, K. (2015). Next-preserving Branching Bisimulation, Theoretical Computer Science. 594:120-142.
Lindsay, P.A., Yatapanage, N. and Winter, K. (2012). Cut Set Analysis using Behavior Trees and Model Checking, Formal Aspects of Computing. 24(2):249-266.
Grunske, L., Winter, K., Yatapanage, N., Zafar, S. and Lindsay, P.A. (2011). Experience with Fault Injection Experiments for FMEA, Journal of Software: Practice and Experience. 41(11):1233-1258.
Grunske, L., Winter, K. and Yatapanage, N. (2008). Defining the Abstract Syntax of Visual Languages with Advanced Graph Grammars - A Case Study Based on Behavior Trees. Journal of Visual Languages and Computing. 19(3):343-379.
Jones, C. B. and Yatapanage, N. (2015). Reasoning about Separation using Abstraction and Reification. Software Engineering and Formal Methods (SEFM 2015), Proc., LNCS. Springer-Verlag. vol. 4674, pp. 122-131.
Yatapanage, N., Winter, K. and Zafar, S. (2010). Slicing Behavior Tree Models for Verification. Theoretical Computer Science, 6th IFIP International Conference (TCS 2010), Proc., IFIP Advances in Information and Comunication Technology. vol. 323, pp. 125-139.
Grunske, L., Lindsay, P., Yatapanage, N. and Winter, K. (2005). An Automated Failure Mode and Effect Analysis based on High-Level Design Specification with Behavior Trees. Integrated Formal Methods: 5th International Conference (IFM 2005), Proc., LNCS. Springer-Verlag. vol. 3771, pp.129-149.