Nisansala Yatapanage

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