A Distributed Algorithm for Distributed Termination. - Cyrus Hazari; Hussein Zedan (Inf. Process. Lett., 1987)

Compensation functions and requirements. - David Scholefield; Hussein S. M. Zedan (ACM SIGOPS European Workshop, 1990)

TAM: Temporal agent model for real-time distributed systems. - David Scholefield; Hussein Zedan (Microprocessing and Microprogramming, 1990)

Formal aspects of microprocessor design. - Hussein Zedan (Microprocess. Microsystems, 1990)

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Leeser, M and Brown, G (Eds) Springer-Verlag, Heidelberg, Germany (1989) DM 57 pp 408. - Hussein Zedan (Microprocess. Microsystems, 1990)

Prototyping with Temporal VDM: A Status Report. - Heping He; Hussein Zedan (VDM Europe (1), 1991)

Lucinda - A Polymorphic Linda. - Paul Butcher; Hussein Zedan (Research Directions in High-Level Parallel Programming Languages, 1991)

Lucinda - an overview. - Paul Butcher; Hussein Zedan (ACM SIGPLAN Notices, 1991)

Let's PARTY: Process Algebra With Real-time From York. - Chris Ho-Stuart; Ming Fang; Hussein S. M. Zedan (RTS, 1992)

The refinement of real-time systems. - David Scholefield; Hussein S. M. Zedan (RTS, 1992)

TAM: A Formal Framework for the Development of Distributed Real-Time Systems. - David Scholefield; Hussein S. M. Zedan (FTRTFT, 1992)

Weakest Precondition Semantics for Time and Concurrency. - David Scholefield; Hussein S. M. Zedan (Inf. Process. Lett., 1992)

Requirement Specification For Real-Time and Hybrid Systems. - Heping He; Hussein Zedan (FORTE, 1993)

Real-Time Refinement: Semantics and Application. - David Scholefield; Hussein S. M. Zedan; Jifeng He 001 (MFCS, 1993)

A Predicative Semantics for the Refinement of Real-Time Systems. - David Scholefield; Hussein S. M. Zedan; Jifeng He 001 (MFPS, 1993)

Specification of Real-Time Probabilistic Behaviour. - Ming Fang; Chris Ho-Stuart; Hussein S. M. Zedan (PSTV, 1993)

Congruent Weak Bisimulation with Dense Real-Time. - Chris Ho-Stuart; Hussein S. M. Zedan; Ming Fang (Inf. Process. Lett., 1993)

Cycle calculus for hybrid systems. - Heping He; Hussein Zedan (Microprocess. Microprogramming, 1993)

Automated support for the formal specification and design of real-time systems. - Chris Ho-Stuart; Hussein Zedan; Ming Fang (Microprocess. Microprogramming, 1993)

On guaranteeing hard real-time tasks. - Célio Estevan Morón; Hussein Zedan (Microprocess. Microprogramming, 1993)

The development of imprecise real-time systems. - Martin Portman; Hussein S. M. Zedan (J. Syst. Softw., 1994)

A Specification-Oriented Semantics for the Refinement of Real-Time Systems. - David Scholefield; Hussein S. M. Zedan; Jifeng He 001 (Theor. Comput. Sci., 1994)

Refinement of Complex Systems: A Case Study. - Gavin Lowe; Hussein Zedan (Comput. J., 1995)

A model for timed-probabilistic behaviors. - Ming Fang; Hussein S. M. Zedan; Chris Ho-Stuart (J. Syst. Softw., 1995)

Using ITL and Tempura for Large-Scale Specification and Simulation. - Antonio Cau; Hussein Zedan; Nick Coleman; Ben C. Moszkowski (PDP, 1996)

An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. - Heping He; Hussein Zedan (Comput. Lang., 1996)

A fast prototype tool for parallel reactive systems. - Heping He; Hussein Zedan (J. Syst. Archit., 1996)

A Design Framework for System Re-Engineering. - Xiaodong Liu 001; Zhiqiang Chen; Hongji Yang; Hussein Zedan; William C. Chu (APSEC, 1997)

Refining Interval Temporal Logic Specifications. - Antonio Cau; Hussein Zedan (ARTS, 1997)

Proving the correctness of the interlock mechanism in processor design. - Xiaoshan Li; Antonio Cau; Ben C. Moszkowski; Nick Coleman; Hussein Zedan (CHARME, 1997)

Formal Methods for the Re-Engineering of Computing Systems: A Comparison. - Xiaodong Liu 001; Hongji Yang; Hussein Zedan (COMPSAC, 1997)

A Refinement Calculus for the Development of Real-Time Systems. - Zhiqiang Chen; Antonio Cau; Hussein Zedan; Xiaodong Liu 001; Hongji Yang (APSEC, 1998)

A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. - Hussein Zedan; Hongji Yang (CSMR, 1998)

Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. - Antonio Cau; Chris A. Czarnecki; Hussein Zedan (FTRTFT, 1998)

Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. - Hongji Yang; Xiaodong Liu 001; Hussein Zedan (ICSM, 1998)

A Framework for Analysing the Effect of "Change" in Legacy Code. - Shikun Zhou; Hussein Zedan; Antonio Cau (ICSM, 1999)

ATOM: An Object-based Formal Method for Real-Time Systems. - Hussein Zedan; Antonio Cau; Zhiqiang Chen; Hongji Yang (Ann. Softw. Eng., 1999)

Integrating structured OO approaches with formal techniques for the development of real-time systems. - Zhiqiang Chen; Antonio Cau; Hussein Zedan; Hongji Yang (Inf. Softw. Technol., 1999)

A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. - Zhiqiang Chen; Hussein Zedan; Antonio Cau; Hongji Yang (Inf. Sci., 1999)

Abstraction: a key notion for reverse engineering in a system reengineering approach. - Hongji Yang; Xiaodong Liu 001; Hussein Zedan (J. Softw. Maintenance Res. Pract., 2000)

Voice Over IP: Correct Hardware/Software Co-Design. - Hussein Zedan; Antonio Cau (FTDCS, 2001)

K-Mediator: Towards Evolving Information Systems. - Hussein Zedan; Shikun Zhou; N. Sampat; X. Chen; Antonio Cau; Hongji Yang (ICSM, 2001)

Guest Editorial. - Hussein Zedan (Inf. Softw. Technol., 2001)

Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style. - Ali Arsanjani; James J. Alpigini; Hussein Zedan (ICSM, 2002)

A Compositional Framework for Hardware/Software Co-Design. - Antonio Cau; Roger Hale; Jordan Dimitrov; Hussein Zedan; Ben C. Moszkowski; M. Manjunathaiah; Michael Spivey (Des. Autom. Embed. Syst., 2002)

A compositional framework for access control policies enforcement. - François Siewe; Antonio Cau; Hussein Zedan (FMSE, 2003)

Introducing Compositionality in Web Service Descriptions. - Monika Solanki; Antonio Cau; Hussein Zedan (FTDCS, 2004)

Legacy Assembler Reengineering and Migration. - Martin P. Ward; Hussein Zedan; T. Hardcastle (ICSM, 2004)

Augmenting semantic web service descriptions with compositional specification. - Monika Solanki; Antonio Cau; Hussein Zedan (WWW, 2004)

MetaWSL and Meta-Transformations in the FermaT Transformation System. - Martin P. Ward; Hussein Zedan (COMPSAC (1), 2005)

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. - Martin P. Ward; Hussein Zedan; T. Hardcastle (CSMR, 2005)

Analysis and Run-Time Verification of Dynamic Security Policies. - Helge Janicke; François Siewe; Kevin I. Jones; Antonio Cau; Hussein Zedan (DAMAS, 2005)

Semantically Annotating Reactive Web Services with Temporal Specifications. - Monika Solanki; Antonio Cau; Hussein Zedan (SDWP@ICWS, 2005)

Run-time analysis of time-critical systems. - Shikun Zhou; Hussein Zedan; Antonio Cau (J. Syst. Archit., 2005)

A Compositional Event & Time-Based Policy Model. - Helge Janicke; Antonio Cau; François Siewe; Hussein Zedan; Kevin I. Jones (POLICY, 2006)

Temporal Reasoning Of Reactive Web Services. - Monika Solanki; Antonio Cau; Hussein Zedan (Semantic Web Services, Processes and Applications, 2006)

ASDL: a wide spectrum language for designing web services. - Monika Solanki; Antonio Cau; Hussein Zedan (WWW, 2006)

A general framework for multilingual text mining using self-organizing maps. - Aladdin Al-Marghilani; Hussein Zedan; Aladdin Ayesh (Artificial Intelligence and Applications, 2007)

Deriving Enforcement Mechanisms from Policies. - Helge Janicke; Antonio Cau; François Siewe; Hussein Zedan (POLICY, 2007)

A note on the formalisation of UCON. - Helge Janicke; Antonio Cau; Hussein Zedan (SACMAT, 2007)

Slicing as a program transformation. - Martin P. Ward; Hussein Zedan (ACM Trans. Program. Lang. Syst., 2007)

Why Moodle. - Ajlan Suliman Al-Ajlan; Hussein Zedan (FTDCS, 2008)

Concurrent Enforcement of Usage Control Policies. - Helge Janicke; Antonio Cau; François Siewe; Hussein Zedan (POLICY, 2008)

Conditioned semantic slicing for abstraction; industrial experiment. - Martin P. Ward; Hussein Zedan; Matthias Ladkau; Stefan Natelberg (Softw. Pract. Exp., 2008)

CCA: A Calculus of Context-Aware Ambients. - François Siewe; Antonio Cau; Hussein Zedan (AINA Workshops, 2009)

Security Solution for Mobile Ad Hoc Network of Networks (MANoN). - Ali H. Al-Bayatti; Hussein Zedan; Antonio Cau (ICNS, 2009)

Development of a modern curriculum in software engineering at master level across countries. - Klaus Bothe; Zoran Budimac; Rebeca Cortazar; Mirjana Ivanovic; Hussein Zedan (Comput. Sci. Inf. Syst., 2009)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

Multi-Agent Based Dynamic E-Learning Environment. - Saleh AlZahrani; Aladdin Ayesh; Hussein Zedan (Int. J. Inf. Technol. Web Eng., 2009)

Automated dictionary construction from Arabic corpus for meaningful crime information extraction and document classification. - Meshrif Alruily; Aladdin Ayesh; Hussein Zedan (CISIM, 2010)

Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. - Meshrif Alruily; Aladdin Ayesh; Hussein Zedan (ECAI, 2010)

Context aware architecture for sending adaptive HELLO messages in VANET. - Moath Muayad Al-Doori; Ali Hilal Al-Bayatti; Hussein Zedan (CASEMANS@Ubicomp, 2010)

Formalising policies of a mLearning system using CCA. - Mohammed Al-Sammarraie; François Siewe; Hussein Zedan (CASEMANS@Ubicomp, 2010)

Transformational Programming and the Derivation of Algorithms. - Martin P. Ward; Hussein Zedan (ISCIS, 2010)

An agent-based approach for policy enforcement in secure workflow systems. - Hind Alotaibi; Hussein Zedan (ISDA, 2010)

Runtime verification of safety properties in multi-agents systems. - Hind Alotaibi; Hussein Zedan (ISDA, 2010)

Biometric-Based Authentication System Using Rough Set Theory. - Hala S. Own; Waheeda Al-Mayyan; Hussein Zedan (RSCTC, 2010)

Iris features extraction using dual-tree complex wavelet transform. - Waheeda Al-Mayyan; Hala S. Own; Hussein Zedan (SoCPaR, 2010)

Security Management for Mobile Ad Hoc Network of Networks (MANoN). - Ali H. Al-Bayatti; Hussein Zedan; Antonio Cau; François Siewe (Int. J. Mob. Comput. Multim. Commun., 2010)

Agile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability. - Ali Alqahtani 002; Hussein Zedan (J. Digit. Content Technol. its Appl., 2010)

Combining dynamic and static slicing for analysing assembler. - Martin P. Ward; Hussein Zedan (Sci. Comput. Program., 2010)

A comparative evalution of feature level based fusion schemes for multimodal biometric authentication. - Waheeda Al-Mayyan; Hala S. Own; Hussein Zedan (HIS, 2011)

An observation model to detect security violations in web services environment. - Khalid Aldrawiesh; François Siewe; Hussein Zedan (ISWSA, 2011)

Rough set approach to online signature identification. - Waheeda Al-Mayyan; Hala S. Own; Hussein Zedan (Digit. Signal Process., 2011)

The Calculus of Context-aware Ambients. - François Siewe; Hussein Zedan; Antonio Cau (J. Comput. Syst. Sci., 2011)

Deriving a Slicing Algorithm via FermaT Transformations. - Martin P. Ward; Hussein Zedan (IEEE Trans. Software Eng., 2011)

Dynamic Access Control Policies: Specification and Verification. - Helge Janicke; Antonio Cau; François Siewe; Hussein Zedan (Comput. J., 2013)

Context-Aware Driver Behavior Detection System in Intelligent Transportation Systems. - Saif Jamal Al-Sultan; Ali H. Al-Bayatti; Hussein Zedan (IEEE Trans. Veh. Technol., 2013)

Context Aware Accidents Prediction and Prevention System for VANET. - Mussab Aswad; Saif Jamal Al-Sultan; Hussein Zedan (ICCASA, 2014)

The implementation of an intelligent and video-based fall detection system using a neural network. - Laila Alhimale; Hussein Zedan; Ali H. Al-Bayatti (Appl. Soft Comput., 2014)

Formality, Agility, Security, and Evolution in Software Development. - Jonathan P. Bowen; Mike Hinchey; Helge Janicke; Martin P. Ward; Hussein Zedan (Computer, 2014)

Provably correct derivation of algorithms using FermaT. - Martin P. Ward; Hussein Zedan (Formal Aspects Comput., 2014)

Crime profiling for the Arabic language using computational linguistic techniques. - Meshrif Alruily; Aladdin Ayesh; Hussein Zedan (Inf. Process. Manag., 2014)

A comprehensive survey on vehicular Ad Hoc network. - Saif Jamal Al-Sultan; Moath M. Al-Doori; Ali H. Al-Bayatti; Hussein Zedan (J. Netw. Comput. Appl., 2014)

A unifying architecture model for developing context-aware systems. - Saif Jamal Al-Sultan; Hussein Zedan (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

The specification and design of secure context-aware workflows. - Hussein Zedan; Saif Jamal Al-Sultan (Expert Syst. Appl., 2017)

The formal semantics of program slicing for nonterminating computations. - Martin P. Ward; Hussein Zedan (J. Softw. Evol. Process., 2017)