Newcastle Authors	Title	Year
Dr Nisansala Yatapanage	Next-preserving Branching Bisimulation	2015
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Reasoning about Separation using Abstraction and Reification	2015
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Reasoning about Separation using Abstraction and Reification (including proofs)	2015
Emeritus Professor Cliff Jones Dr Nisansala Yatapanage	Tackling Separation via Abstraction (with proofs)	2015
Dr Nisansala Yatapanage	Cut Set Analysis using Behavior Trees and Model Checking	2012
Dr Nisansala Yatapanage	Experience with Fault Injection Experiments for FMEA	2011
Dr Nisansala Yatapanage	Safety Assessment Using Behavior Trees and Model Checking	2010

Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 208 2920
Contact ePrints admin | Accessibility