Publications

See these pages about my papers: My Google Scholar profile. My DBLP page.

Journal Papers
  1. 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:



  2. 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.

  3. 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.

  4. 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.

Conference Papers
  1. 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.

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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
Theses
  1. Yatapanage, N. Slicing Behavior Trees for Verification of Large Systems, PhD Thesis, Griffith University, 2012. View abstract or download thesis

  2. Yatapanage, N. Cellular Automata as a Model for Dynamic Leaf Structure, Bachelor of Engineering Honours Thesis, The University of Queensland, 2003. View thesis
Tech Reports
  1. 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).

  2. Yatapanage, N. and Winter, K. Next-Preserving Branching Bisimulation, UQ ITEE Technical Report, No. 2013-02, Oct 2013. Download from UQ e-space.

Presentations
  1. AudioSlides slideshow: Next-preserving Branching Bisimulation, available above and on the page for the paper here, 2015.

  2. Seminar: Separation as Abstraction, York Concurrency Workshop, 2014. View the slides.

  3. Powerpoint slideshow: Building Dependable Systems (Behavior Trees), Download from the ACCS website.

  4. Powerpoint slideshow: Checking Fault Tolerance in Safety and Security-Critical Systems, Download from the ACCS website.