Nisansala Yatapanage
Nisansala Yatapanage
VC2020 Lecturer in Computer Science, De Montfort University, U.K.
Verified email at acm.org - Homepage
TitleCited byYear
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
552005
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
362011
“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
282007
Slicing Behavior Tree models for verification
N Yatapanage, K Winter, S Zafar
6th IFIP International Conference on Theoretical Computer Science, 125-139, 2010
232010
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
222008
Reasoning about separation using abstraction and reification
CB Jones, N Yatapanage
Software Engineering and Formal Methods, 3-19, 2015
142015
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
142010
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
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
Slicing Behavior Trees for Verification of Large Systems
NP Yatapanage
PhD Thesis, Griffith University, 2011
72011
General lessons from a rely/guarantee development
CB Jones, A Velykis, N Yatapanage
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
32017
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
Next-preserving branching bisimulation
N Yatapanage, K Winter
Theoretical Computer Science 594, 120-142, 2015
22015
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
The Ambulatory Infusion Pump Case Study
K Winter, S Zafar, N Yatapanage
Recurso Web: http://itee. uq. edu. au/~ dccs/FMEA/aip-tr. pdf Consultado 11, 0
1
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
2019
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
The system can't perform the operation now. Try again later.
Articles 1–20