 |
Hamdan
Dammag and Nimal Nissanke, Safecharts
for Specification and Design of Safety Critical Systems, Proceedings
of the 18th IEEE Symposium on Reliable Distributed Systems, pp. 78-87, 1999.
|
|
Nimal
Nissanke and Hamdan Dammag, Risk
Bands - a novel Feature of Safecharts, Proceedings of the 11th International
Symposium on Software Reliability Engineering, pp. 293-301, ISSRE
2000.
|
|
Nimal Nissanke
and Hamdan Dammag,
Risk Ordering of States in
Safecharts,
LNCS, Vol. 1943, pp. 395-405, Springer 2000.
|
|
Nimal
Nissanke and Hamdan Dammag, Design for
Safety in Safecharts with Risk Ordering of States,Safety
Science Journal, Vol. 40, Issue 9, pp: 753-763, 2002.
|
|
Hamdan Dammag
and Nimal Nissanke,
A Mathematical Definition
of Safecharts, Technical Report SBU-CISM-03-02, South Bank University,
London, 2003.
|
|
Hamdan Dammag
and Nimal Nissanke,
A Mathematical Framework For
Safecharts, ICFEM 2003,
LNCS,
Vol. 2885,
pp.
620-640, 2004.
|
|
Hamdan
Dammag, Nimal Nissanke and Etienne Khayat,
Safecharts For Modelling
Security Issues, Proceedings
of the 6th International Conference on Information Technology, Bhubaneswar,
India, December, 2003. |
|
 Hamdan
Dammag, Safety for Security:
Using Safety-Critical Systems Methodologies for
Modeling Security Concerns,
Derasat Yemenia (Yemeni Studies) Journal, Vol. 90, pp. 3-41, July 2008.
|
|
استخدام الطرق المنهجية في بناء مواصفات وتصاميم أنظمة السلامة الحرجة: المميزات
والقصور،
دراسات يمنية، العدد 95، يناير
2010م.
Using Formal Methods in the specification and
design of Safety-Critical Systems: Advantages and Shortages.
(in
Arabic),
Derasat Yemenia (Yemeni Studies) Journal, Vol. 95, pp. 112-138, January 2010. |
| |
|
إلى جانب العديد من القصص القصيرة والقصائد - أنظر صفحتي
الأدبية
