Nisansala Yatapanage

According to our database, Nisansala Yatapanage authored at least 16 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Rely/Guarantee, Refinement and the ABA Problem: Part 1.

Nisansala P. Yatapanage

CoRR, 2023

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols.

Nisansala P. Yatapanage, Cliff B. Jones

CoRR, 2023

2022

PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification.

Alex James, Alwen Tiu, Nisansala Yatapanage

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming.

Nisansala Yatapanage

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

2019

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example.

Cliff B. Jones, Nisansala Yatapanage

Formal Aspects Comput., 2019

2017

General Lessons from a Rely/Guarantee Development.

Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2015

Next-preserving branching bisimulation.

Nisansala Yatapanage, Kirsten Winter

Theor. Comput. Sci., 2015

Reasoning about Separation Using Abstraction and Reification.

Cliff B. Jones, Nisansala Yatapanage

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2012

Cut Set Analysis using Behavior Trees and model checking.

Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter

Formal Aspects Comput., 2012

2011

Experience with fault injection experiments for FMEA.

Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay

Softw. Pract. Exp., 2011

2010

Safety Assessment Using Behavior Trees and Model Checking.

Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Slicing Behavior Tree Models for Verification.

Nisansala Yatapanage, Kirsten Winter, Saad Zafar

Proceedings of the Theoretical Computer Science, 2010

2008

Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees.

Lars Grunske, Kirsten Winter, Nisansala Yatapanage

J. Vis. Lang. Comput., 2008

2007

"Integrare", a Collaborative Environment for Behavior-Oriented Design.

Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey

Proceedings of the Cooperative Design, 2007

Early Validation and Verification of a Distributed Role-Based Access Control Model.

Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2005

An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.

Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005