Research output per year
Research output per year
Personal profile
Education/Academic qualification
Formal Methods, PhD, Slicing Behavior Trees for Verification of Large Systems, Griffith University Queensland
Award Date: 20 Jun 2012
Software Engineering, Bachelor, Bachelor of Engineering (Software Engineering) (Hons I), University of Queensland
Award Date: 8 Dec 2003
Research student supervision
- Registered to supervise
Fingerprint
Dive into the research topics where Nisansala Yatapanage is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Exploring the Boundaries of Rely/Guarantee and Links to Linearisability
Yatapanage, N. P., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 247-267 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14781).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
General lessons from a rely/guarantee development
Jones, C. B., Velykis, A. & Yatapanage, N., 2017, Dependable Software Engineering: Theories, Tools, and Applications - 3rd International Symposium, SETTA 2017, Proceedings. Wang, J., Larsen, K. G. & Sokolsky, O. (eds.). Springer Verlag, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10606 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access4 Citations (Scopus) -
Cut Set Analysis using Behavior Trees and model checking
Lindsay, P. A., Yatapanage, N. & Winter, K., Mar 2012, In: Formal Aspects of Computing. 24, 2, p. 249-266 18 p.Research output: Contribution to journal › Article › peer-review
Open Access7 Citations (Scopus) -
Experience with fault injection experiments for FMEA
Grunske, L., Winter, K., Yatapanage, N., Zafar, S. & Lindsay, P. A., Oct 2011, In: Software - Practice and Experience. 41, 11, p. 1233-1258 26 p.Research output: Contribution to journal › Article › peer-review
33 Citations (Scopus) -
Early validation and verification of a distributed role-based access control model
Zafar, S., Colvin, R., Winter, K., Yatapanage, N. & Dromey, R. G., 2007, Proceedings - 14th Asia-Pacific Software Engineering Conference, APSEC 2007. p. 430-437 8 p. 4425884. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access5 Citations (Scopus)