Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nisansala Yatapanage" ( http://dblp.L3S.de/Authors/Nisansala_Yatapanage )

  Author page on DBLP  Author page in RDF  Community of Nisansala Yatapanage in ASPL-2

Publication years (Num. hits)
2005-2012 (8)
Publication types (Num. hits)
article(3) inproceedings(5)
Venues (Conferences, Journals, ...)
APSEC(1) CDVE(1) Formal Asp. Comput.(1) IFIP TCS(1) IFM(1) J. Vis. Lang. Comput.(1) SEFM(1) Softw., Pract. Exper.(1)
Authors
Nisansala Yatapanage(8) Kirsten Winter(7) Peter A. Lindsay(4) Lars Grunske(3) Saad Zafar(3) R. Geoff Dromey(2) Robert Colvin(2) John Seagrott(1) Kai Lin(1) Lian Wen(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter Cut Set Analysis using Behavior Trees and model checking. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay Experience with fault injection experiments for FMEA. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage Safety Assessment Using Behavior Trees and Model Checking. Search on Bibsonomy SEFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nisansala Yatapanage, Kirsten Winter, Saad Zafar Slicing Behavior Tree Models for Verification. Search on Bibsonomy IFIP TCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lars Grunske, Kirsten Winter, Nisansala Yatapanage Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey Early Validation and Verification of a Distributed Role-Based Access Control Model. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey "Integrare", a Collaborative Environment for Behavior-Oriented Design. Search on Bibsonomy CDVE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF behavior-oriented design, software environment, behavior tree
1Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.