See these pages about my papers: My Google Scholar profile.
My DBLP page.
Yatapanage, N. and Winter, K. Next-preserving Branching Bisimulation,
Theoretical Computer Science. 594:120-142. (2015).
Download from ScienceDirect
or download the pre-print. Watch the Audioslides presentation for this paper:
Lindsay, P.A., Yatapanage, N. and
Winter, K. Cut Set Analysis using Behavior Trees and Model Checking,
Formal Aspects of Computing. 24(2):249-266. (2012). Download from Springer.
See the model checking results.
Grunske, L., Winter, K., Yatapanage,
N., Zafar, S. and Lindsay, P.A. Experience with Fault Injection
Experiments for FMEA, Journal of Software: Practice and Experience. 41(11):1233-1258. (2011).
Download from Wiley.
See the tech reports and model checking results.
Grunske, L., Winter, K.
and Yatapanage, N. 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. (2008).
Download from ScienceDirect.
Jones, C.B. and Yatapanage, N. Reasoning about Separation using Abstraction and Reification, 13th IEEE International
Conference on Software Engineering and Formal Methods (SEFM 2015), Lecture Notes in Computer Science,
Vol.9276, pp.3-19, Springer-Verlag, 2015.
Download from Springer.
Yatapanage, N., Winter, K. and Zafar, S. Slicing Behavior Tree
Models for Verification, Theoretical Computer Science, 6th
IFIP International Conference (TCS2010), Proceedings, IFIP Advances
in Information and Comunication Technology, Vol.323, pp.125-139, 2010. Download from Springer
Lindsay, P., Winter, K.
and Yatapanage, N. Safety Assessment using Behavior Trees and Model
Checking, 8th IEEE International Conference on Software Engineering and
Formal Methods (SEFM 2010), Proceedings. IEEE Computer Society,
pp.181-190, 2010. Download from IEEE
Zafar, S., Colvin, R., Winter, K., Yatapanage, N. and Dromey, G.
Early Validation and Verification of a Distributed Role-Based Access
Control Model, 14th Asia-Pacific Software Engineering Conference (APSEC 2007), Proceedings. Download from IEEE
Wen, L., Lin, K., Colvin, R., Seagrott, J., Yatapanage, N. and
Dromey, G. Integrare- a Collaborative Environment for Behavior-Oriented
Design, Cooperative Design, Visualization, and Engineering 4th
International Conference (CDVE 2007), Lecture Notes in Computer Science,
Vol.4674, pp.122-131, Springer-Verlag, 2007.Download from Springer
Grunske, L., Lindsay, P., Yatapanage, N. and Winter, K. An
Automated Failure Mode and Effect Analysis based on High-Level Design
Specification with Behavior Trees, Integrated Formal Methods: 5th
International Conference (IFM 2005), Lecture Notes in Computer Science,
Vol.3771, pp.129-149, Springer-Verlag, 2005. Download from Springer
So, H.B., Yatapanage, K.G., Yatapanage, N. and Sheridan, G.
Minerosion3.01: A User Friendly Erosion Monitoring and Landscape Design
Package, Australian Coal Association Research Programme
Annual Conference, Emerald, Australia, June 2003. See the project description
Yatapanage, N. Slicing Behavior Trees for Verification of Large Systems,
PhD Thesis, Griffith University, 2012. View abstract or download thesis
Yatapanage, N. Cellular Automata as a Model for Dynamic Leaf
Structure, Bachelor of Engineering Honours Thesis, The University of Queensland, 2003. View thesis
Jones, C. B. and Yatapanage, N. Reasoning about Separation using Abstraction and Reification (with proofs), Newcastle University Department of Computing Science Technical Report, No. 1472, June 2015.
Download from Newcastle Uni. (older version is TR no. 1447, Tackling Separation via Abstraction (with proofs), Jan 2015).
Yatapanage, N. and Winter, K. Next-Preserving Branching Bisimulation, UQ ITEE Technical Report, No. 2013-02, Oct 2013. Download from UQ e-space.
AudioSlides slideshow: Next-preserving Branching Bisimulation, available above and on the page for the paper here, 2015.
Seminar: Separation as Abstraction, York Concurrency Workshop, 2014. View the slides.
Powerpoint slideshow: Building Dependable Systems (Behavior Trees), Download from the ACCS website.
Powerpoint slideshow: Checking Fault Tolerance in Safety and Security-Critical Systems, Download from the ACCS website.