Publications

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

Journal Papers
  1. Jones, C. B. and Yatapanage, N. Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example, Formal Aspects of Computing. 31(3): 353-374. (2019). Download from Springer.

  2. Yatapanage, N. and Winter, K. Next-preserving Branching Bisimulation, Theoretical Computer Science. 594:120-142. (2015).
    Download from ScienceDirect or download the pre-print.

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

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

  5. 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/Workshop Papers
  1. James, A., Tiu, A. and Yatapanage, N. PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification, International Conference on Formal Engineering Methods (ICFEM2022), Lecture Notes in Computer Science, Vol. 13478, pp. 173-189, Springer-Verlag, 2022. Download from Springer or see the pre-print below (Tech Reports section).

  2. Yatapanage, N. Introducting Formal Methods to Students who Hate Maths and Struggle with Programming, Formal Methods Teaching Workshop and Tutorial, Lecture Notes in Computer Science, Vol.13122, pp.133-145, Springer-Verlag, 2021. Download from Springer.

  3. Jones, C. B., Velykis, A. and Yatapanage, N. General Lessons from a Rely/Guarantee Development, International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017), Lecture Notes in Computer Science, Vol.10606, pp.3-22, Springer-Verlag, 2017. Download from Springer.

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

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

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

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

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

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

  10. 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. Yatapanage, N. Rely/Guarantee, Refinement and the ABA Problem: Part 1, arXiv Preprint, 2311.15250, 2023. Download from arXiv.

  2. Yatapanage, N. and Jones, C. B. Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols, arXiv Preprint, 2311.15189, 2023. Download from arXiv.

  3. James, A., Tiu, A. and Yatapanage, N. PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification, arXiv Preprint, 2207.09895, 2022. Download from arXiv.

  4. Jones, C. B. and Yatapanage, N. Investigating the Limits of Rely/Guarantee Conditions Based on a Concurrent Garbage Collecter Example, Newcastle University Department of Computing Science Technical Report, No. CS-TR-1521, 27th June 2018. Download from Newcastle Uni.

  5. Jones, C. B. and Yatapanage, N. Reasoning about Separation using Abstraction and Reification (with proofs), Newcastle University Department of Computing Science Technical Report, No. CS-TR-1472, June 2015. Download from Newcastle Uni.

  6. Jones, C. B. and Yatapanage, N. Tackling Separation via Abstraction (with proofs), Newcastle University Department of Computing Science Technical Report, No. CS-TR-1447, Jan 2015, Download from Newcastle Uni.

  7. 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. Seminar: Separation as Abstraction, York Concurrency Workshop, 2014. View the slides.