| An automated failure mode and effect analysis based on high-level design specification with Behavior Trees L Grunske, P Lindsay, N Yatapanage, K Winter Integrated Formal Methods, 129-149, 2005 | 71 | 2005 |
| Experience with fault injection experiments for FMEA L Grunske, K Winter, N Yatapanage, S Zafar, PA Lindsay Software: Practice and Experience 41 (11), 1233-1258, 2011 | 52 | 2011 |
| Defining the abstract syntax of visual languages with advanced graph grammars--a case study based on Behavior Trees L Grunske, K Winter, N Yatapanage Journal of Visual Languages & Computing 19 (3), 343-379, 2008 | 31 | 2008 |
| Slicing Behavior Tree models for verification N Yatapanage, K Winter, S Zafar 6th IFIP International Conference on Theoretical Computer Science, 125-139, 2010 | 29 | 2010 |
| “Integrare”, a Collaborative Environment for Behavior-Oriented Design L Wen, R Colvin, K Lin, J Seagrott, N Yatapanage, G Dromey Cooperative Design, Visualization, and Engineering, 122-131, 2007 | 27 | 2007 |
| Safety assessment using Behavior Trees and model checking PA Lindsay, K Winter, N Yatapanage Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International …, 2010 | 20 | 2010 |
| Reasoning about separation using abstraction and reification CB Jones, N Yatapanage Software Engineering and Formal Methods, 3-19, 2015 | 19 | 2015 |
| Cut set analysis using Behavior Trees and model checking PA Lindsay, N Yatapanage, K Winter Formal Aspects of Computing 24, 249-266, 2012 | 11 | 2012 |
| Early validation and verification of a distributed role-based access control model S Zafar, R Colvin, K Winter, N Yatapanage, RG Dromey 14th Asia-Pacific Software Engineering Conference, 2007. APSEC 2007., 430-437, 2007 | 10 | 2007 |
| Slicing Behavior Trees for Verification of Large Systems NP Yatapanage PhD Thesis, Griffith University, 2011 | 9 | 2011 |
| Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example CB Jones, N Yatapanage Formal Aspects of Computing 31, 353-374, 2019 | 8 | 2019 |
| Introducing formal methods to students who hate maths and struggle with programming N Yatapanage Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021 …, 2021 | 4 | 2021 |
| General lessons from a rely/guarantee development CB Jones, A Velykis, N Yatapanage Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017 | 4 | 2017 |
| The mine pump case study K Winter, N Yatapanage UQ Technical Report, 2007 | 4* | 2007 |
| The metal press case study K Winter, N Yatapanage UQ Technical Report, 2007 | 3* | 2007 |
| Next-preserving branching bisimulation N Yatapanage, K Winter Theoretical Computer Science 594, 120-142, 2015 | 2 | 2015 |
| PFMC: a parallel symbolic model checker for security protocol verification A James, A Tiu, N Yatapanage International Conference on Formal Engineering Methods, 173-189, 2022 | 1 | 2022 |
| Reasoning about Separation using Abstraction and Reification (including proofs) CB Jones, N Yatapanage Newcastle University Computing Science Technical Report CS-TR-1472, 2015 | 1 | 2015 |
| Cellular Automata as a Model for Dynamic Leaf Structure N Yatapanage BE Honours Thesis, UQ, 2003 | 1 | 2003 |
| Exploring the Boundaries of Rely/Guarantee and Links to Linearisability NP Yatapanage The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II …, 2024 | | 2024 |
Kirsten WinterThe University of QueenslandVerified email at itee.uq.edu.au
