Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Safecharts with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999 (1) 2000 (2) 2003 (1) 2005 (2) 2007 (3)
Publication types (Num. hits)
article(2) inproceedings(6) phdthesis(1)
Venues (Conferences, Journals, ...)
SAFECOMP(2) FORTE(1) ICFEM(1) IEEE Trans. Computers(1) Int. J. Softw. Eng. Knowl. Eng...(1) ISSRE(1) SRDS(1)
Authors
Hamdan Dammag(4) Nimal Nissanke(4) Pao-Ann Hsiung(4) Yean-Ru Chen(3) Yen-Hung Lin(2) Hamdan Zaid Dammag(1) Sao-Jie Chen(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 8 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
163Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin Model Checking Safety-Critical Systems Using Safecharts. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Safecharts, extended timed automaton, model checking, Safety-critical systems
155Pao-Ann Hsiung, Yen-Hung Lin Modeling and Verification of Safety-Critical Systems Using Safecharts. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
130Hamdan Dammag, Nimal Nissanke A Mathematical Framework for Safecharts. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Step Semantics, Security, Safety, Statecharts, rbac
130Nimal Nissanke, Hamdan Dammag Risk Ordering of States in Safecharts. Search on Bibsonomy SAFECOMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures
115Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
106Nimal Nissanke, Hamdan Dammag Risk Bands - A Novel Feature of Safecharts. Search on Bibsonomy ISSRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
106Hamdan Dammag, Nimal Nissanke Safecharts for Specifying and Designing Safety Critical Systems. Search on Bibsonomy SRDS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Yean-Ru Chen, Pao-Ann Hsiung Automatic Failure Analysis Using Safecharts. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Hamdan Zaid Dammag Safecharts: A Statecharts Variant for Safety-Critical Systems Design. Search on Bibsonomy 2005   RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license