| 2022 | ICFEM | PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. | Alex James, Alwen Tiu, Nisansala Yatapanage |
| 2017 | SETTA | General Lessons from a Rely/Guarantee Development. | Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage |
| 2015 | SEFM | Reasoning about Separation Using Abstraction and Reification. | Cliff B. Jones, Nisansala Yatapanage |
| 2010 | SEFM | Safety Assessment Using Behavior Trees and Model Checking. | Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage |
| 2007 | APSEC | Early Validation and Verification of a Distributed Role-Based Access Control Model. | Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey |
| 2007 | CDVE | "Integrare", a Collaborative Environment for Behavior-Oriented Design. | Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey |
| 2005 | IFM | 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 |