| 2008 |
|---|
| 8 | EE | Amjad Gawanmeh,
Sofiène Tahar,
Leila Jemni Ben Ayed:
Event-B based invariant checking of secrecy in group key protocols.
LCN 2008: 950-957 |
| 7 | EE | Amjad Gawanmeh,
Sofiène Tahar,
Kirsten Winter:
Formal verification of ASMs using MDGs.
Journal of Systems Architecture - Embedded Systems Design 54(1-2): 15-34 (2008) |
| 2007 |
|---|
| 6 | EE | Amjad Gawanmeh,
Sofiène Tahar:
Rank Theorems for Forward Secrecy in Group Key Management Protocols.
AINA Workshops (1) 2007: 18-23 |
| 5 | EE | Amjad Gawanmeh,
Sofiène Tahar,
Haja Moinudeen,
Ali Habibi:
A Design for Verification Approach Using an Embedding of PSL in aSML.
Journal of Circuits, Systems, and Computers 16(6): 859-881 (2007) |
| 2005 |
|---|
| 4 | EE | Amjad Gawanmeh,
Ali Habibi,
Sofiène Tahar:
Embedding and Verification of PSL using AsmL.
Abstract State Machines 2005: 201-216 |
| 2004 |
|---|
| 3 | EE | Amjad Gawanmeh,
Ali Habibi,
Sofiène Tahar:
Enabling SystemC Verification using Abstract State Machines.
FDL 2004: 649-661 |
| 2003 |
|---|
| 2 | EE | Amjad Gawanmeh,
Sofiène Tahar,
Kirsten Winter:
Interfacing ASM with the MDG Tool.
Abstract State Machines 2003: 278-292 |
| 1 | EE | Amjad Gawanmeh,
Sofiène Tahar,
Kirsten Winter:
Formal Verification of ASM Designs Using the MDG Tool.
SEFM 2003: 210-219 |
