| 2017 | UIC | A unifying architecture model for developing context-aware systems. | Saif Jamal Al-Sultan, Hussein Zedan |
| 2011 | HIS | A comparative evalution of feature level based fusion schemes for multimodal biometric authentication. | Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan |
| 2010 | ECAI | Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. | Meshrif Alruily, Aladdin Ayesh, Hussein Zedan |
| 2010 | ISDA | An agent-based approach for policy enforcement in secure workflow systems. | Hind Alotaibi, Hussein Zedan |
| 2010 | ISDA | Runtime verification of safety properties in multi-agents systems. | Hind Alotaibi, Hussein Zedan |
| 2009 | AINA | CCA: A Calculus of Context-Aware Ambients. | Franois Siewe, Antonio Cau, Hussein Zedan |
| 2007 | SACMAT | A note on the formalisation of UCON. | Helge Janicke, Antonio Cau, Hussein Zedan |
| 2006 | WWW | ASDL: a wide spectrum language for designing web services. | Monika Solanki, Antonio Cau, Hussein Zedan |
| 2005 | COMPSAC | MetaWSL and Meta-Transformations in the FermaT Transformation System. | Martin P. Ward, Hussein Zedan |
| 2005 | ICWS | Semantically Annotating Reactive Web Services with Temporal Specifications. | Monika Solanki, Antonio Cau, Hussein Zedan |
| 2004 | WWW | Augmenting semantic web service descriptions with compositional specification. | Monika Solanki, Antonio Cau, Hussein Zedan |
| 2003 | CCS | A compositional framework for access control policies enforcement. | Franois Siewe, Antonio Cau, Hussein Zedan |
| 1998 | APSEC | A Refinement Calculus for the Development of Real-Time Systems. | Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang |
| 1997 | APSEC | A Design Framework for System Re-Engineering. | Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu |
| 1997 | COMPSAC | Formal Methods for the Re-Engineering of Computing Systems: A Comparison. | Xiaodong Liu, Hongji Yang, Hussein Zedan |
| 1996 | PDP | Using ITL and Tempura for Large-Scale Specification and Simulation. | Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski |
| 1993 | FORTE | Requirement Specification For Real-Time and Hybrid Systems. | Heping He, Hussein Zedan |
| 1991 | FM | Prototyping with Temporal VDM: A Status Report. | Heping He, Hussein Zedan |