Nisansala Yatapanage
Nisansala Yatapanage
VC2020 Lecturer in Computer Science, De Montfort University, U.K.
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
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
562005
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
392011
“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
292007
Slicing Behavior Tree models for verification
N Yatapanage, K Winter, S Zafar
6th IFIP International Conference on Theoretical Computer Science, 125-139, 2010
252010
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
232008
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
152010
Reasoning about separation using abstraction and reification
CB Jones, N Yatapanage
Software Engineering and Formal Methods, 3-19, 2015
132015
Cut set analysis using Behavior Trees and model checking
PA Lindsay, N Yatapanage, K Winter
Formal Aspects of Computing 24 (2), 249-266, 2012
102012
Slicing Behavior Trees for Verification of Large Systems
NP Yatapanage
PhD Thesis, Griffith University, 2011
82011
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
82007
General lessons from a rely/guarantee development
CB Jones, A Velykis, N Yatapanage
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
32017
Next-preserving branching bisimulation
N Yatapanage, K Winter
Theoretical Computer Science 594, 120-142, 2015
32015
The mine pump case study
K Winter, N Yatapanage
UQ Technical Report, 2007
3*2007
The metal press case study
K Winter, N Yatapanage
UQ Technical Report, 2007
3*2007
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
CB Jones, N Yatapanage
Formal Aspects of Computing 31 (3), 353-374, 2019
12019
Reasoning about Separation using Abstraction and Reification (including proofs)
CB Jones, N Yatapanage
Newcastle University Computing Science Technical Report CS-TR-1472, 2015
12015
Cellular Automata as a Model for Dynamic Leaf Structure
N Yatapanage
BE Honours Thesis, UQ, 2003
12003
Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example
C Jones, N Yatapanage
School of Computing Technical Report Series, 2018
2018
Tackling Separation via Abstraction (with proofs)
CB Jones, N Yatapanage
Newcastle University Computing Science Technical Report CS-TR-1447, 2015
2015
Minerosion3.01: a user friendly erosion monitoring and landscape design package.
HB So, KG Yatapanage, N Yatapanage, G Sheridan
Australian Coal Association Research Programme Annual Conference, 2003
2003
The system can't perform the operation now. Try again later.
Articles 1–20