Travelled to:1 × Italy
1 × The Netherlands
1 × United Kingdom
Collaborated with:P.A.Lindsay K.Winter C.B.Jones L.Grunske
Talks about:behavior (2) tree (2) use (2) abstract (1) analysi (1) specif (1) safeti (1) reific (1) reason (1) failur (1)
Person: Nisansala Yatapanage
DBLP: Yatapanage:Nisansala
Contributed to:
20152010
2005Wrote 3 papers:
- SEFM-2015-JonesY #abstraction #reasoning #using
- Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.
- SEFM-2010-LindsayWY #assessment #behaviour #model checking #safety #using
- Safety Assessment Using Behavior Trees and Model Checking (PAL, KW, NY), pp. 181–190.
- IFM-2005-GrunskeLYW #analysis #automation #behaviour #design #specification
- An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees (LG, PAL, NY, KW), pp. 129–149.