Hussein Zedan

According to our database, Hussein Zedan authored at least 97 papers between 1987 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

The formal semantics of program slicing for nonterminating computations.

Martin P. Ward, Hussein Zedan

J. Softw. Evol. Process., 2017

The specification and design of secure context-aware workflows.

Hussein Zedan, Saif Jamal Al-Sultan

Expert Syst. Appl., 2017

A unifying architecture model for developing context-aware systems.

Saif Jamal Al-Sultan, Hussein Zedan

Proceedings of the 2017 IEEE SmartWorld, 2017

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

Crime profiling for the Arabic language using computational linguistic techniques.

Meshrif Alruily, Aladdin Ayesh, Hussein Zedan

Inf. Process. Manag., 2014

Provably correct derivation of algorithms using FermaT.

Martin P. Ward, Hussein Zedan

Formal Aspects Comput., 2014

Formality, Agility, Security, and Evolution in Software Development.

Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan

Computer, 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

Context Aware Accidents Prediction and Prevention System for VANET.

Mussab Aswad, Saif Jamal Al-Sultan, Hussein Zedan

Proceedings of the 3rd International Conference on Context-Aware Systems and Applications, 2014

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

Dynamic Access Control Policies: Specification and Verification.

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan

Comput. J., 2013

2011

Deriving a Slicing Algorithm via FermaT Transformations.

Martin P. Ward, Hussein Zedan

IEEE Trans. Software Eng., 2011

The Calculus of Context-aware Ambients.

François Siewe, Hussein Zedan, Antonio Cau

J. Comput. Syst. Sci., 2011

Rough set approach to online signature identification.

Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan

Digit. Signal Process., 2011

An observation model to detect security violations in web services environment.

Khalid Aldrawiesh, François Siewe, Hussein Zedan

Proceedings of the 2nd International Conference on Intelligent Semantic Web-Services and Applications, 2011

A comparative evalution of feature level based fusion schemes for multimodal biometric authentication.

Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan

Proceedings of the 11th International Conference on Hybrid Intelligent Systems, 2011

2010

Combining dynamic and static slicing for analysing assembler.

Martin P. Ward, Hussein Zedan

Sci. Comput. Program., 2010

Agile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability.

Ali Alqahtani, Hussein Zedan

J. Digit. Content Technol. its Appl., 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

Iris features extraction using dual-tree complex wavelet transform.

Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan

Proceedings of the Second International Conference of Soft Computing and Pattern Recognition, 2010

Biometric-Based Authentication System Using Rough Set Theory.

Hala S. Own, Waheeda Al-Mayyan, Hussein Zedan

Proceedings of the Rough Sets and Current Trends in Computing, 2010

Runtime verification of safety properties in multi-agents systems.

Hind Alotaibi, Hussein Zedan

Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010

An agent-based approach for policy enforcement in secure workflow systems.

Hind Alotaibi, Hussein Zedan

Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010

Transformational Programming and the Derivation of Algorithms.

Martin P. Ward, Hussein Zedan

Proceedings of the Computer and Information Sciences, 2010

Formalising policies of a mLearning system using CCA.

Mohammed Al-Sammarraie, François Siewe, Hussein Zedan

Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems, 2010

Context aware architecture for sending adaptive HELLO messages in VANET.

Moath Muayad Al-Doori, Ali Hilal Al-Bayatti, Hussein Zedan

Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems, 2010

Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text.

Meshrif Alruily, Aladdin Ayesh, Hussein Zedan

Proceedings of the ECAI 2010, 2010

Automated dictionary construction from Arabic corpus for meaningful crime information extraction and document classification.

Meshrif Alruily, Aladdin Ayesh, Hussein Zedan

Proceedings of the 2010 International Conference on Computer Information Systems and Industrial Management Applications, 2010

2009

Multi-Agent Based Dynamic E-Learning Environment.

Saleh AlZahrani, Aladdin Ayesh, Hussein Zedan

Int. J. Inf. Technol. Web Eng., 2009

Using formal specifications to support testing.

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

ACM Comput. Surv., 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

Security Solution for Mobile Ad Hoc Network of Networks (MANoN).

Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau

Proceedings of the Fifth International Conference on Networking and Services, 2009

CCA: A Calculus of Context-Aware Ambients.

François Siewe, Antonio Cau, Hussein Zedan

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Conditioned semantic slicing for abstraction; industrial experiment.

Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg

Softw. Pract. Exp., 2008

Concurrent Enforcement of Usage Control Policies.

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Why Moodle.

Ajlan Suliman Al-Ajlan, Hussein Zedan

Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

2007

Slicing as a program transformation.

Martin P. Ward, Hussein Zedan

ACM Trans. Program. Lang. Syst., 2007

A note on the formalisation of UCON.

Helge Janicke, Antonio Cau, Hussein Zedan

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Deriving Enforcement Mechanisms from Policies.

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

A general framework for multilingual text mining using self-organizing maps.

Aladdin Al-Marghilani, Hussein Zedan, Aladdin Ayesh

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2007

2006

ASDL: a wide spectrum language for designing web services.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the 15th international conference on World Wide Web, 2006

Temporal Reasoning Of Reactive Web Services.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the Semantic Web Services, Processes and Applications, 2006

A Compositional Event & Time-Based Policy Model.

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin I. Jones

Proceedings of the 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 2006

2005

Run-time analysis of time-critical systems.

Shikun Zhou, Hussein Zedan, Antonio Cau

J. Syst. Archit., 2005

Semantically Annotating Reactive Web Services with Temporal Specifications.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the ICWS 2005 Second International Workshop on Semantic and Dynamic Web Processes, 2005

Analysis and Run-Time Verification of Dynamic Security Policies.

Helge Janicke, François Siewe, Kevin I. Jones, Antonio Cau, Hussein Zedan

Proceedings of the Defence Applications of Multi-Agent Systems, International Workshop, 2005

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.

Martin P. Ward, Hussein Zedan, T. Hardcastle

Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

MetaWSL and Meta-Transformations in the FermaT Transformation System.

Martin P. Ward, Hussein Zedan

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Augmenting semantic web service descriptions with compositional specification.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the 13th international conference on World Wide Web, 2004

Legacy Assembler Reengineering and Migration.

Martin P. Ward, Hussein Zedan, T. Hardcastle

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Introducing Compositionality in Web Service Descriptions.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

2003

A compositional framework for access control policies enforcement.

François Siewe, Antonio Cau, Hussein Zedan

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

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

Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style.

Ali Arsanjani, James J. Alpigini, Hussein Zedan

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001

Guest Editorial.

Hussein Zedan

Inf. Softw. Technol., 2001

K-Mediator: Towards Evolving Information Systems.

Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Voice Over IP: Correct Hardware/Software Co-Design.

Hussein Zedan, Antonio Cau

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

2000

Abstraction: a key notion for reverse engineering in a system reengineering approach.

Hongji Yang, Xiaodong Liu, Hussein Zedan

J. Softw. Maintenance Res. Pract., 2000

1999

A Wide-Spectrum Language for Object-Based Development of Real-Time Systems.

Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang

Inf. Sci., 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

ATOM: An Object-based Formal Method for Real-Time Systems.

Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang

Ann. Softw. Eng., 1999

A Framework for Analysing the Effect of "Change" in Legacy Code.

Shikun Zhou, Hussein Zedan, Antonio Cau

Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998

Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach.

Hongji Yang, Xiaodong Liu, Hussein Zedan

Proceedings of the 1998 International Conference on Software Maintenance, 1998

Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method.

Antonio Cau, Chris Czarnecki, Hussein Zedan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems.

Hussein Zedan, Hongji Yang

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

A Refinement Calculus for the Development of Real-Time Systems.

Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

Formal Methods for the Re-Engineering of Computing Systems: A Comparison.

Xiaodong Liu, Hongji Yang, Hussein Zedan

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Proving the correctness of the interlock mechanism in processor design.

Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan

Proceedings of the Advances in Hardware Design and Verification, 1997

Refining Interval Temporal Logic Specifications.

Antonio Cau, Hussein Zedan

Proceedings of the Transformation-Based Reactive Systems Development, 1997

A Design Framework for System Re-Engineering.

Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

A fast prototype tool for parallel reactive systems.

Heping He, Hussein Zedan

J. Syst. Archit., 1996

An Executable Specification Language for Fast Prototyping Parallel Responsive Systems.

Heping He, Hussein Zedan

Comput. Lang., 1996

Using ITL and Tempura for Large-Scale Specification and Simulation.

Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski

Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

1995

A model for timed-probabilistic behaviors.

Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart

J. Syst. Softw., 1995

Refinement of Complex Systems: A Case Study.

Gavin Lowe, Hussein Zedan

Comput. J., 1995

1994

A Specification-Oriented Semantics for the Refinement of Real-Time Systems.

David Scholefield, Hussein S. M. Zedan, Jifeng He

Theor. Comput. Sci., 1994

The development of imprecise real-time systems.

Martin Portman, Hussein S. M. Zedan

J. Syst. Softw., 1994

1993

On guaranteeing hard real-time tasks.

Célio Estevan Morón, 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

Cycle calculus for hybrid systems.

Heping He, Hussein Zedan

Microprocess. Microprogramming, 1993

Congruent Weak Bisimulation with Dense Real-Time.

Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang

Inf. Process. Lett., 1993

Specification of Real-Time Probabilistic Behaviour.

Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan

Proceedings of the Protocol Specification, 1993

A Predicative Semantics for the Refinement of Real-Time Systems.

David Scholefield, Hussein S. M. Zedan, Jifeng He

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

Real-Time Refinement: Semantics and Application.

David Scholefield, Hussein S. M. Zedan, Jifeng He

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Requirement Specification For Real-Time and Hybrid Systems.

Heping He, Hussein Zedan

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Weakest Precondition Semantics for Time and Concurrency.

David Scholefield, Hussein S. M. Zedan

Inf. Process. Lett., 1992

TAM: A Formal Framework for the Development of Distributed Real-Time Systems.

David Scholefield, Hussein S. M. Zedan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

The refinement of real-time systems.

David Scholefield, Hussein S. M. Zedan

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Let's PARTY: Process Algebra With Real-time From York.

Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991

Lucinda - an overview.

Paul Butcher, Hussein Zedan

ACM SIGPLAN Notices, 1991

Lucinda - A Polymorphic Linda.

Paul Butcher, Hussein Zedan

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Prototyping with Temporal VDM: A Status Report.

Heping He, Hussein Zedan

Proceedings of the VDM '91, 1991

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

Formal aspects of microprocessor design.

Hussein Zedan

Microprocess. Microsystems, 1990

TAM: Temporal agent model for real-time distributed systems.

David Scholefield, Hussein Zedan

Microprocessing and Microprogramming, 1990

Compensation functions and requirements.

David Scholefield, Hussein S. M. Zedan

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

1987

A Distributed Algorithm for Distributed Termination.

Cyrus Hazari, Hussein Zedan

Inf. Process. Lett., 1987