Browse by all authors Browse By Author ID - Nisansala Yatapanage

Browse Results (9 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Grunske, Lars, Lindsay, Peter, Yatapanage, Nisansala and Winter, Kirsten (2005). An automated failure mode and effect analysis based on high-level design specificication with behavior trees. In: Integrated Formal Methods: 5th International Conference. Integrated Formal Methods 2005, Eindhoven, The Netherlands, (129-149). 29 November - 2 December 2005. 146 5 16
Lindsay, Peter A., Yatapanage, Nisansala and Winter, Kirsten (2012) Cut set analysis using behavior trees and model checking. Formal Aspects of Computing, 24 2: 249-266. doi:10.1007/s00165-011-0181-8 78   0 Cited 2 times in Scopus2 0
Grunske, Lars, Winter, Kirsten and Yatapanage, Nisansala (2008) Defining the abstract syntax of visual languages with advanced graph grammars: A case study based on behavior trees. Journal of Visual Languages and Computing, 19 3: 343-379. doi:10.1016/j.jvlc.2007.11.003 78 3 7 Cited 9 times in Scopus9 0
Zafar, Saad, Colvin, Robert, Winter, Kirsten, Yatapanage, Nisansala and Dromey, R.G. (2007). Early validation and verification of a distributed role-based access control model. In: Proceedings of the Software Engineering Conference 2007 (APSEC 2007). APSEC 2007: 14th Asia-Pacific Software Engineering Conference 2007, Nagoya, Japan, (430-437). 5-7 December 2007. doi:10.1109/ASPEC.2007.20 71   1 Cited 5 times in Scopus5 0
Grunske, Lars, Winter, Kirsten, Yatapanage, Nisansala, Zafar, Saad and Lindsay, Peter A. (2011) Experience with fault injection experiments for FMEA. Software: Practice and Experience, 41 11: 1233-1258. doi:10.1002/spe.1039 183 1 5 Cited 14 times in Scopus14 0
Wen, Lian, Colvin, Robert, Lin, Kai, Seagrott, John, Yatapanage, Nisansala and Dromey, Geoff (2007). 'Integrare', a collaborative environment for behavior-oriented design. In: Proceedings o f the 4th International Conference on Cooperative Design, Visualization, and Engineering. 4th International Conference, CDVE 2007 Cooperative Design, Visualization, and Engineering, Shanghai, China, (122-131). 16-20 September 2007. doi:10.1007/978-3-540-74780-2_14 82   8 Cited 8 times in Scopus8 0
Yatapanage, Nisansala and Winter, Kirsten (2013) Next-preserving branching bisimulation. ITEE Technical Report 2013-02, School of Information Technology and Electrical Engineering, The University of Queensland. 124 80
Lindsay, Peter A., Winter, Kirsten and Yatapanage, Nisansala (2010). Safety assessment using behavior trees and model checking. In: 2010 8th IEEE International Conference on Software Engineering and Formal Methods. Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, (181-190). 13-18 September 2010. doi:10.1109/SEFM.2010.23 62   Cited 2 times in Scopus2 0
Yatapanage, Nisansala, Winter, Kirsten and Zafar, Saad (2010). Slicing behavior tree models for verification. In: Cristian S. Calude and Vladimiro Sassone, Proceedings of the 6th IFIP TC 1/WG 2.2 International Conference TCS 2010. 6th IFIP International Conference on Theoretical Computer Science, Brisbane, QLD, Australia, (125-139). 20-23 September 2010. doi:10.1007/978-3-642-15240-5_10 102 2 Cited 4 times in Scopus4 0