Hussein Zedan

Publication Activity (10 Years)

Years Active: 1987-2017
Publications (10 Years): 3

Top Topics

Access Control Policies

Provably Correct

Ubiquitous Computing

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

Inf. Process. Manag.

Formal Aspects Comput.

IEEE Trans. Veh. Technol.

Publications

Hussein Zedan, Saif Jamal Al-Sultan
The specification and design of secure context-aware workflows. Expert Syst. Appl. 86 (2017)
Saif Jamal Al-Sultan, Hussein Zedan
A unifying architecture model for developing context-aware systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Martin P. Ward, Hussein Zedan
The formal semantics of program slicing for nonterminating computations. J. Softw. Evol. Process. 29 (1) (2017)
Mussab Aswad, Saif Jamal Al-Sultan, Hussein Zedan
Context Aware Accidents Prediction and Prevention System for VANET. ICCASA (2014)
Laila Alhimale, Hussein Zedan, Ali H. Al-Bayatti
The implementation of an intelligent and video-based fall detection system using a neural network. Appl. Soft Comput. 18 (2014)
Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan
Formality, Agility, Security, and Evolution in Software Development. Computer 47 (10) (2014)
Martin P. Ward, Hussein Zedan
Provably correct derivation of algorithms using FermaT. Formal Aspects Comput. 26 (5) (2014)
Meshrif Alruily, Aladdin Ayesh, Hussein Zedan
Crime profiling for the Arabic language using computational linguistic techniques. Inf. Process. Manag. 50 (2) (2014)
Saif Jamal Al-Sultan, Moath M. Al-Doori, Ali H. Al-Bayatti, Hussein Zedan
A comprehensive survey on vehicular Ad Hoc network. J. Netw. Comput. Appl. 37 (2014)
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
Dynamic Access Control Policies: Specification and Verification. Comput. J. 56 (4) (2013)
Saif Jamal Al-Sultan, Ali H. Al-Bayatti, Hussein Zedan
Context-Aware Driver Behavior Detection System in Intelligent Transportation Systems. IEEE Trans. Veh. Technol. 62 (9) (2013)
Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan
Rough set approach to online signature identification. Digit. Signal Process. 21 (3) (2011)
François Siewe, Hussein Zedan, Antonio Cau
The Calculus of Context-aware Ambients. J. Comput. Syst. Sci. 77 (4) (2011)
Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan
A comparative evalution of feature level based fusion schemes for multimodal biometric authentication. HIS (2011)
Martin P. Ward, Hussein Zedan
Deriving a Slicing Algorithm via FermaT Transformations. IEEE Trans. Software Eng. 37 (1) (2011)
Khalid Aldrawiesh, François Siewe, Hussein Zedan
An observation model to detect security violations in web services environment. ISWSA (2011)
Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau, François Siewe
Security Management for Mobile Ad Hoc Network of Networks (MANoN). Int. J. Mob. Comput. Multim. Commun. 2 (1) (2010)
Martin P. Ward, Hussein Zedan
Combining dynamic and static slicing for analysing assembler. Sci. Comput. Program. 75 (3) (2010)
Mohammed Al-Sammarraie, François Siewe, Hussein Zedan
Formalising policies of a mLearning system using CCA. CASEMANS@Ubicomp (2010)
Meshrif Alruily, Aladdin Ayesh, Hussein Zedan
Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. ECAI (2010)
Martin P. Ward, Hussein Zedan
Transformational Programming and the Derivation of Algorithms. ISCIS (2010)
Hind Alotaibi, Hussein Zedan
An agent-based approach for policy enforcement in secure workflow systems. ISDA (2010)
Ali Alqahtani, Hussein Zedan
Agile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability. J. Digit. Content Technol. its Appl. 4 (1) (2010)
Hala S. Own, Waheeda Al-Mayyan, Hussein Zedan
Biometric-Based Authentication System Using Rough Set Theory. RSCTC (2010)
Meshrif Alruily, Aladdin Ayesh, Hussein Zedan
Automated dictionary construction from Arabic corpus for meaningful crime information extraction and document classification. CISIM (2010)
Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan
Iris features extraction using dual-tree complex wavelet transform. SoCPaR (2010)
Moath Muayad Al-Doori, Ali Hilal Al-Bayatti, Hussein Zedan
Context aware architecture for sending adaptive HELLO messages in VANET. CASEMANS@Ubicomp (2010)
Hind Alotaibi, Hussein Zedan
Runtime verification of safety properties in multi-agents systems. ISDA (2010)
Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau
Security Solution for Mobile Ad Hoc Network of Networks (MANoN). ICNS (2009)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Klaus Bothe, Zoran Budimac, Rebeca Cortazar, Mirjana Ivanovic, Hussein Zedan
Development of a modern curriculum in software engineering at master level across countries. Comput. Sci. Inf. Syst. 6 (1) (2009)
Saleh AlZahrani, Aladdin Ayesh, Hussein Zedan
Multi-Agent Based Dynamic E-Learning Environment. Int. J. Inf. Technol. Web Eng. 4 (2) (2009)
François Siewe, Antonio Cau, Hussein Zedan
CCA: A Calculus of Context-Aware Ambients. AINA Workshops (2009)
Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg
Conditioned semantic slicing for abstraction; industrial experiment. Softw. Pract. Exp. 38 (12) (2008)
Ajlan Suliman Al-Ajlan, Hussein Zedan
Why Moodle. FTDCS (2008)
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
Concurrent Enforcement of Usage Control Policies. POLICY (2008)
Aladdin Al-Marghilani, Hussein Zedan, Aladdin Ayesh
A general framework for multilingual text mining using self-organizing maps. Artificial Intelligence and Applications (2007)
Martin P. Ward, Hussein Zedan
Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29 (2) (2007)
Helge Janicke, Antonio Cau, Hussein Zedan
A note on the formalisation of UCON. SACMAT (2007)
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
Deriving Enforcement Mechanisms from Policies. POLICY (2007)
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin I. Jones
A Compositional Event & Time-Based Policy Model. POLICY (2006)
Monika Solanki, Antonio Cau, Hussein Zedan
ASDL: a wide spectrum language for designing web services. WWW (2006)
Monika Solanki, Antonio Cau, Hussein Zedan
Semantically Annotating Reactive Web Services with Temporal Specifications. SDWP@ICWS (2005)
Shikun Zhou, Hussein Zedan, Antonio Cau
Run-time analysis of time-critical systems. J. Syst. Archit. 51 (5) (2005)
Martin P. Ward, Hussein Zedan, T. Hardcastle
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR (2005)
Helge Janicke, François Siewe, Kevin I. Jones, Antonio Cau, Hussein Zedan
Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS (2005)
Martin P. Ward, Hussein Zedan
MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) (2005)
Monika Solanki, Antonio Cau, Hussein Zedan
Introducing Compositionality in Web Service Descriptions. FTDCS (2004)
Martin P. Ward, Hussein Zedan, T. Hardcastle
Legacy Assembler Reengineering and Migration. ICSM (2004)
Monika Solanki, Antonio Cau, Hussein Zedan
Augmenting semantic web service descriptions with compositional specification. WWW (2004)
François Siewe, Antonio Cau, Hussein Zedan
A compositional framework for access control policies enforcement. FMSE (2003)
Ali Arsanjani, James J. Alpigini, Hussein Zedan
Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style. ICSM (2002)
Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey
A Compositional Framework for Hardware/Software Co-Design. Des. Autom. Embed. Syst. 6 (4) (2002)
Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang
K-Mediator: Towards Evolving Information Systems. ICSM (2001)
Hussein Zedan, Antonio Cau
Voice Over IP: Correct Hardware/Software Co-Design. FTDCS (2001)
Hussein Zedan
Guest Editorial. Inf. Softw. Technol. 43 (3) (2001)
Hongji Yang, Xiaodong Liu, Hussein Zedan
Abstraction: a key notion for reverse engineering in a system reengineering approach. J. Softw. Maintenance Res. Pract. 12 (4) (2000)
Shikun Zhou, Hussein Zedan, Antonio Cau
A Framework for Analysing the Effect of "Change" in Legacy Code. ICSM (1999)
Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang
ATOM: An Object-based Formal Method for Real-Time Systems. Ann. Softw. Eng. 7 (1999)
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang
Integrating structured OO approaches with formal techniques for the development of real-time systems. Inf. Softw. Technol. 41 (7) (1999)
Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. Inf. Sci. 118 (1-4) (1999)
Hongji Yang, Xiaodong Liu, Hussein Zedan
Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. ICSM (1998)
Antonio Cau, Chris Czarnecki, Hussein Zedan
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. FTRTFT (1998)
Hussein Zedan, Hongji Yang
A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. CSMR (1998)
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang
A Refinement Calculus for the Development of Real-Time Systems. APSEC (1998)
Antonio Cau, Hussein Zedan
Refining Interval Temporal Logic Specifications. ARTS (1997)
Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
Proving the correctness of the interlock mechanism in processor design. CHARME (1997)
Xiaodong Liu, Hongji Yang, Hussein Zedan
Formal Methods for the Re-Engineering of Computing Systems: A Comparison. COMPSAC (1997)
Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu
A Design Framework for System Re-Engineering. APSEC (1997)
Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski
Using ITL and Tempura for Large-Scale Specification and Simulation. PDP (1996)
Heping He, Hussein Zedan
A fast prototype tool for parallel reactive systems. J. Syst. Archit. 42 (4) (1996)
Heping He, Hussein Zedan
An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. Comput. Lang. 22 (1) (1996)
Gavin Lowe, Hussein Zedan
Refinement of Complex Systems: A Case Study. Comput. J. 38 (10) (1995)
Célio Estevan Morón, Hussein Zedan
On guaranteeing hard real-time tasks. Microprocess. Microprogramming 38 (1-5) (1993)
Chris Ho-Stuart, Hussein Zedan, Ming Fang
Automated support for the formal specification and design of real-time systems. Microprocess. Microprogramming 38 (1-5) (1993)
Heping He, Hussein Zedan
Requirement Specification For Real-Time and Hybrid Systems. FORTE (1993)
Heping He, Hussein Zedan
Cycle calculus for hybrid systems. Microprocess. Microprogramming 39 (2-5) (1993)
Paul Butcher, Hussein Zedan
Lucinda - an overview. ACM SIGPLAN Notices 26 (8) (1991)
Heping He, Hussein Zedan
Prototyping with Temporal VDM: A Status Report. VDM Europe (1) (1991)
Paul Butcher, Hussein Zedan
Lucinda - A Polymorphic Linda. Research Directions in High-Level Parallel Programming Languages (1991)
Hussein Zedan
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Leeser, M and Brown, G (Eds) Springer-Verlag, Heidelberg, Germany (1989) DM 57 pp 408. Microprocess. Microsystems 14 (10) (1990)
David Scholefield, Hussein Zedan
TAM: Temporal agent model for real-time distributed systems. Microprocessing and Microprogramming 30 (1-5) (1990)
Hussein Zedan
Formal aspects of microprocessor design. Microprocess. Microsystems 14 (10) (1990)
Cyrus Hazari, Hussein Zedan
A Distributed Algorithm for Distributed Termination. Inf. Process. Lett. 24 (5) (1987)