Nisansala Yatapanage
Nisansala Yatapanage
Lecturer, The Australian National University
Verified email at - Homepage
Cited by
Cited by
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
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
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
Slicing Behavior Tree models for verification
N Yatapanage, K Winter, S Zafar
6th IFIP International Conference on Theoretical Computer Science, 125-139, 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
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
Reasoning about separation using abstraction and reification
CB Jones, N Yatapanage
Software Engineering and Formal Methods, 3-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
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
Slicing Behavior Trees for Verification of Large Systems
NP Yatapanage
PhD Thesis, Griffith University, 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
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
General lessons from a rely/guarantee development
CB Jones, A Velykis, N Yatapanage
Dependable Software Engineering. Theories, Tools, and Applications: Third†…, 2017
The mine pump case study
K Winter, N Yatapanage
UQ Technical Report, 2007
The metal press case study
K Winter, N Yatapanage
UQ Technical Report, 2007
Next-preserving branching bisimulation
N Yatapanage, K Winter
Theoretical Computer Science 594, 120-142, 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
Reasoning about Separation using Abstraction and Reification (including proofs)
CB Jones, N Yatapanage
Newcastle University Computing Science Technical Report CS-TR-1472, 2015
Cellular Automata as a Model for Dynamic Leaf Structure
N Yatapanage
BE Honours Thesis, UQ, 2003
Rely/Guarantee, Refinement and the ABA Problem: Part 1
NP Yatapanage
arXiv preprint arXiv:2311.15250, 2023
The system can't perform the operation now. Try again later.
Articles 1–20