An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. - Lars Grunske; Peter A. Lindsay; Nisansala Yatapanage; Kirsten Winter (IFM, 2005)

Early Validation and Verification of a Distributed Role-Based Access Control Model. - Saad Zafar; Robert Colvin; Kirsten Winter; Nisansala Yatapanage; R. Geoff Dromey (APSEC, 2007)

"Integrare", a Collaborative Environment for Behavior-Oriented Design. - Lian Wen; Robert Colvin; Kai Lin; John Seagrott; Nisansala Yatapanage; R. Geoff Dromey (CDVE, 2007)

Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees. - Lars Grunske; Kirsten Winter; Nisansala Yatapanage (J. Vis. Lang. Comput., 2008)

Slicing Behavior Tree Models for Verification. - Nisansala Yatapanage; Kirsten Winter; Saad Zafar (IFIP TCS, 2010)

Safety Assessment Using Behavior Trees and Model Checking. - Peter A. Lindsay; Kirsten Winter; Nisansala Yatapanage (SEFM, 2010)

Experience with fault injection experiments for FMEA. - Lars Grunske; Kirsten Winter; Nisansala Yatapanage; Saad Zafar; Peter A. Lindsay (Softw. Pract. Exp., 2011)

Cut Set Analysis using Behavior Trees and model checking. - Peter A. Lindsay; Nisansala Yatapanage; Kirsten Winter (Formal Aspects Comput., 2012)

Reasoning about Separation Using Abstraction and Reification. - Cliff B. Jones; Nisansala Yatapanage (SEFM, 2015)

Next-preserving branching bisimulation. - Nisansala Yatapanage; Kirsten Winter (Theor. Comput. Sci., 2015)

General Lessons from a Rely/Guarantee Development. - Cliff B. Jones; Andrius Velykis; Nisansala Yatapanage (SETTA, 2017)

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. - Cliff B. Jones; Nisansala Yatapanage (Formal Aspects Comput., 2019)

Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming. - Nisansala Yatapanage (FMTea, 2021)

PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. - Alex James; Alwen Tiu; Nisansala Yatapanage (ICFEM, 2022)

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols. - Nisansala P. Yatapanage; Cliff B. Jones (CoRR, 2023)

Rely/Guarantee, Refinement and the ABA Problem: Part 1. - Nisansala P. Yatapanage (CoRR, 2023)

Exploring the Boundaries of Rely/Guarantee and Links to Linearisability. - Nisansala P. Yatapanage (The Practice of Formal Methods (II), 2024)