Search the dblp DataBase

Publications of Author

1. Amjad Gawanmeh, Sofiène Tahar
   Rank Theorems for Forward Secrecy in Group Key Management Protocols. [Citation Graph (0, 0)][DBLP]
   AINA Workshops (1), 2007, pp:18-23 [Conf]
   
2. Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
   Interfacing ASM with the MDG Tool. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2003, pp:278-292 [Conf]
   
3. Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
   Formal Verification of ASM Designs Using the MDG Tool. [Citation Graph (0, 0)][DBLP]
   SEFM, 2003, pp:210-219 [Conf]
   
4. Amjad Gawanmeh, Ali Habibi, Sofiène Tahar
   Embedding and Verification of PSL using AsmL. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2005, pp:201-216 [Conf]
   
5. 
   Event-B based invariant checking of secrecy in group key protocols. [Citation Graph (, )][DBLP]
   
   
6. 
   Enabling SystemC Verification using Abstract State Machines. [Citation Graph (, )][DBLP]