Nisansala Yatapanage

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 7

Top Topics

Reasoning Processes

Specification Language

Programming Exercises

Top Venues

Formal Aspects Comput.

Publications

Alex James, Alwen Tiu, Nisansala Yatapanage
PFMC: a parallel symbolic model checker for security protocol verification. CoRR (2022)
Alex James, Alwen Tiu, Nisansala Yatapanage
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. ICFEM (2022)
Nisansala Yatapanage
Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming. FMTea (2021)
Cliff B. Jones, Nisansala Yatapanage
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Formal Aspects Comput. 31 (3) (2019)
Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage
General Lessons from a Rely/Guarantee Development. SETTA (2017)
Cliff B. Jones, Nisansala Yatapanage
Reasoning about Separation Using Abstraction and Reification. SEFM (2015)
Nisansala Yatapanage, Kirsten Winter
Next-preserving branching bisimulation. Theor. Comput. Sci. 594 (2015)
Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter
Cut Set Analysis using Behavior Trees and model checking. Formal Aspects Comput. 24 (2) (2012)
Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay
Experience with fault injection experiments for FMEA. Softw. Pract. Exp. 41 (11) (2011)
Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage
Safety Assessment Using Behavior Trees and Model Checking. SEFM (2010)
Nisansala Yatapanage, Kirsten Winter, Saad Zafar
Slicing Behavior Tree Models for Verification. IFIP TCS (2010)
Lars Grunske, Kirsten Winter, Nisansala Yatapanage
Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees. J. Vis. Lang. Comput. 19 (3) (2008)
Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey
"Integrare", a Collaborative Environment for Behavior-Oriented Design. CDVE (2007)
Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey
Early Validation and Verification of a Distributed Role-Based Access Control Model. APSEC (2007)
Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. IFM (2005)