Hussein Zedan

According to our database1, Hussein Zedan authored at least 91 papers between 1987 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
The formal semantics of program slicing for nonterminating computations.
Journal of Software: Evolution and Process, 2017

The specification and design of secure context-aware workflows.
Expert Syst. Appl., 2017

A unifying architecture model for developing context-aware systems.
Proceedings of the 2017 IEEE SmartWorld, 2017

2014
A comprehensive survey on vehicular Ad Hoc network.
J. Network and Computer Applications, 2014

Crime profiling for the Arabic language using computational linguistic techniques.
Inf. Process. Manage., 2014

Provably correct derivation of algorithms using FermaT.
Formal Asp. Comput., 2014

Formality, Agility, Security, and Evolution in Software Development.
IEEE Computer, 2014

The implementation of an intelligent and video-based fall detection system using a neural network.
Appl. Soft Comput., 2014

Context Aware Accidents Prediction and Prevention System for VANET.
Proceedings of the 3rd International Conference on Context-Aware Systems and Applications, 2014

2013
Dynamic Access Control Policies: Specification and Verification.
Comput. J., 2013

2011
Deriving a Slicing Algorithm via FermaT Transformations.
IEEE Trans. Software Eng., 2011

The Calculus of Context-aware Ambients.
J. Comput. Syst. Sci., 2011

Rough set approach to online signature identification.
Digital Signal Processing, 2011

An observation model to detect security violations in web services environment.
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.
Proceedings of the 11th International Conference on Hybrid Intelligent Systems, 2011

2010
Combining dynamic and static slicing for analysing assembler.
Sci. Comput. Program., 2010

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

Security Management for Mobile Ad Hoc Network of Networks (MANoN).
IJMCMC, 2010

Iris features extraction using dual-tree complex wavelet transform.
Proceedings of the Second International Conference of Soft Computing and Pattern Recognition, 2010

Biometric-Based Authentication System Using Rough Set Theory.
Proceedings of the Rough Sets and Current Trends in Computing, 2010

Runtime verification of safety properties in multi-agents systems.
Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010

An agent-based approach for policy enforcement in secure workflow systems.
Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010

Transformational Programming and the Derivation of Algorithms.
Proceedings of the Computer and Information Sciences, 2010

Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text.
Proceedings of the ECAI 2010, 2010

Automated dictionary construction from Arabic corpus for meaningful crime information extraction and document classification.
Proceedings of the 2010 International Conference on Computer Information Systems and Industrial Management Applications, 2010

2009
Multi-Agent Based Dynamic E-Learning Environment.
IJITWE, 2009

Using formal specifications to support testing.
ACM Comput. Surv., 2009

Development of a modern curriculum in software engineering at master level across countries.
Comput. Sci. Inf. Syst., 2009

Security Solution for Mobile Ad Hoc Network of Networks (MANoN).
Proceedings of the Fifth International Conference on Networking and Services, 2009

CCA: A Calculus of Context-Aware Ambients.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Conditioned semantic slicing for abstraction; industrial experiment.
Softw., Pract. Exper., 2008

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

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

2007
Slicing as a program transformation.
ACM Trans. Program. Lang. Syst., 2007

A note on the formalisation of UCON.
Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Deriving Enforcement Mechanisms from Policies.
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.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2007

2006
ASDL: a wide spectrum language for designing web services.
Proceedings of the 15th international conference on World Wide Web, 2006

Temporal Reasoning Of Reactive Web Services.
Proceedings of the Semantic Web Services, Processes and Applications, 2006

A Compositional Event & Time-Based Policy Model.
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.
Journal of Systems Architecture, 2005

Semantically Annotating Reactive Web Services with Temporal Specifications.
Proceedings of the ICWS 2005 Second International Workshop on Semantic and Dynamic Web Processes, 2005

Analysis and Run-Time Verification of Dynamic Security Policies.
Proceedings of the Defence Applications of Multi-Agent Systems, International Workshop, 2005

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.
Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

MetaWSL and Meta-Transformations in the FermaT Transformation System.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Augmenting semantic web service descriptions with compositional specification.
Proceedings of the 13th international conference on World Wide Web, 2004

Legacy Assembler Reengineering and Migration.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Introducing Compositionality in Web Service Descriptions.
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.
Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

2002
A Compositional Framework for Hardware/Software Co-Design.
Design Autom. for Emb. Sys., 2002

Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001
Guest Editorial.
Information & Software Technology, 2001

K-Mediator: Towards Evolving Information Systems.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Voice Over IP: Correct Hardware/Software Co-Design.
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.
Journal of Software Maintenance, 2000

1999
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems.
Inf. Sci., 1999

Integrating structured OO approaches with formal techniques for the development of real-time systems.
Information & Software Technology, 1999

ATOM: An Object-based Formal Method for Real-Time Systems.
Ann. Software Eng., 1999

A Framework for Analysing the Effect of "Change" in Legacy Code.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998
Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach.
Proceedings of the 1998 International Conference on Software Maintenance, 1998

Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method.
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.
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

A Refinement Calculus for the Development of Real-Time Systems.
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997
Formal Methods for the Re-Engineering of Computing Systems: A Comparison.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Proving the correctness of the interlock mechanism in processor design.
Proceedings of the Advances in Hardware Design and Verification, 1997

Refining Interval Temporal Logic Specifications.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

A Design Framework for System Re-Engineering.
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.
Journal of Systems Architecture, 1996

An Executable Specification Language for Fast Prototyping Parallel Responsive Systems.
Comput. Lang., 1996

Using ITL and Tempura for Large-Scale Specification and Simulation.
Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

1995
A model for timed-probabilistic behaviors.
Journal of Systems and Software, 1995

Refinement of Complex Systems: A Case Study.
Comput. J., 1995

1994
A Specification-Oriented Semantics for the Refinement of Real-Time Systems.
Theor. Comput. Sci., 1994

The development of imprecise real-time systems.
Journal of Systems and Software, 1994

1993
On guaranteeing hard real-time tasks.
Microprocessing and Microprogramming, 1993

Automated support for the formal specification and design of real-time systems.
Microprocessing and Microprogramming, 1993

Cycle calculus for hybrid systems.
Microprocessing and Microprogramming, 1993

Congruent Weak Bisimulation with Dense Real-Time.
Inf. Process. Lett., 1993

Specification of Real-Time Probabilistic Behaviour.
Proceedings of the Protocol Specification, 1993

A Predicative Semantics for the Refinement of Real-Time Systems.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993

Real-Time Refinement: Semantics and Application.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Requirement Specification For Real-Time and Hybrid Systems.
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.
Inf. Process. Lett., 1992

TAM: A Formal Framework for the Development of Distributed Real-Time Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

The refinement of real-time systems.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Let's PARTY: Process Algebra With Real-time From York.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991
Lucinda - an overview.
SIGPLAN Notices, 1991

Lucinda - A Polymorphic Linda.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Prototyping with Temporal VDM: A Status Report.
Proceedings of the VDM '91, 1991

1990
Compensation functions and requirements.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

1987
A Distributed Algorithm for Distributed Termination.
Inf. Process. Lett., 1987


  Loading...