DMU logo

Dr Nisansala Yatapanage

Job: Early Career Academic Fellow

Faculty: Technology

School/department: School of Computer Science and Informatics

Address: De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom

T: +44 (0)116 257 7776

E: nisansala.yatapanage@dmu.ac.uk

W: homepages.cs.ncl.ac.uk/nisansala.yatapanage/

 

Personal profile

I joined De Montfort University in April 2017. I was a Research Associate at Newcastle University from 2013 to 2017 working on the Taming Concurrency project with Cliff Jones, investigating concurrency using techniques such as abstraction and rely-guarantee reasoning. Before that, I worked as a researcher on several projects at Griffith University and The University of Queensland (UQ), in Brisbane, Australia. From 2004 to 2007 I was a Research Assistant at Griffith and a visiting researcher at UQ, on a project on specification and verification using Behavior Trees and model checking to automate failure analysis. From 2007 to 2011 I studied a PhD on the topic Slicing Behavior Trees for Verification of Large Systems at Griffith University. From 2011 to 2013, I was a Research Officer at UQ working on the safety analysis of an air-traffic control system using Behavior Trees and model checking. For further information, please visit my website, listed above.

Research group affiliations

Key research outputs

For a full list of my publications, please see my website, listed above.

Yatapanage, N. and Winter, K. (2015). Next-preserving Branching Bisimulation, Theoretical Computer Science. 594:120-142.

Lindsay, P.A., Yatapanage, N. and Winter, K. (2012). Cut Set Analysis using Behavior Trees and Model Checking, Formal Aspects of Computing. 24(2):249-266.

Grunske, L., Winter, K., Yatapanage, N., Zafar, S. and Lindsay, P.A. (2011). Experience with Fault Injection Experiments for FMEA, Journal of Software: Practice and Experience. 41(11):1233-1258.

Grunske, L., Winter, K. and Yatapanage, N. (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. 

Jones, C. B. and Yatapanage, N. (2015). Reasoning about Separation using Abstraction and Reification. Software Engineering and Formal Methods (SEFM 2015), Proc., LNCS. Springer-Verlag. vol. 4674, pp. 122-131.

Yatapanage, N., Winter, K. and Zafar, S. (2010). Slicing Behavior Tree Models for Verification. Theoretical Computer Science, 6th IFIP International Conference (TCS 2010), Proc., IFIP Advances in Information and Comunication Technology. vol. 323, pp. 125-139.

Grunske, L., Lindsay, P., Yatapanage, N. and Winter, K. (2005). An Automated Failure Mode and Effect Analysis based on High-Level Design Specification with Behavior Trees. Integrated Formal Methods: 5th International Conference (IFM 2005), Proc., LNCS. Springer-Verlag. vol. 3771, pp.129-149.

Research interests/expertise

Formal methods, software verification, software specification, safety-critical systems, hazard analysis, concurrency, model checking, rely-guarantee reasoning

Areas of teaching

Data Structures and Algorithms, Scientific Reasoning and Software Testing.

Qualifications

PhD, Griffith Unversity, 2012

Bachelor of Engineering (Software Engineering) with Honours Class I, The University of Queensland, 2003

Membership of professional associations and societies

Professional Member of the ACM since 2009,

Professional Member of BCS since April 2017.

Conference attendance

Kent Concurrency Workshop, University of Kent, Canterbury, 21st to 22nd July, 2016. 

Northern Concurrency Meeting, Newcastle University, 2nd Dec, 2015. 

13th International Conference on Software Engineering and Formal Methods (SEFM 2015), York, 9th to 11th Sep, 2015. 

26th International Conference on Concurrency Theory (CONCUR 2015), Madrid, 1st to 4th Sep, 2015. 

Imperial Concurrency Workshop, Imperial College London, 15th to 16th July, 2015. 

19th International Symposium on Formal Methods (FM 2014), Singapore, 12th to 16th May, 2014. 

York Concurrency Workshop, The University of York, 28th to 29th April 2014. 

6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Brisbane, 20th to 23rd Sep, 2010.

Nisansala-Yatapanage

Search Who's Who

 
News target area image
News

DMU is a dynamic university, read about what we have been up to in our latest news section.

Events target area image
Events

At DMU there is always something to do or see, check out our events for yourself.

Mission and vision target area image
Mission and vision

Read about our mission and vision and how these create a supportive and exciting learning environment.