Hamdan Dammag

Affiliations:

University of Reading, UK

According to our database¹, Hamdan Dammag authored at least 5 papers between 1999 and 2005.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2005

Safecharts: A Statecharts Variant for Safety-Critical Systems Design.

[BibT_eX]

[DOI]

Hamdan Zaid Dammag

PhD thesis, 2005

2003

A Mathematical Framework for Safecharts.

[BibT_eX]

[DOI]

Hamdan Dammag

Nimal Nissanke

Proceedings of the Formal Methods and Software Engineering, 2003

2000

Risk Ordering of States in Safecharts.

[BibT_eX]

[DOI]

Nimal Nissanke

Hamdan Dammag

Proceedings of the Computer Safety, 2000

Risk Bands - A Novel Feature of Safecharts.

[BibT_eX]

[DOI]

Nimal Nissanke

Hamdan Dammag

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

1999

Safecharts for Specifying and Designing Safety Critical Systems.

[BibT_eX]

[DOI]

Hamdan Dammag

Nimal Nissanke

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Hamdan Dammag

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...