Hussein Zedan
Title
Cited by
Cited by
Year
a comprehensive survey on vehicular ad hoc networks
HZ Saif Al-Sultan, Moath M. Al-Doori, Ali H. Al-Bayatti
Journal of Network and Computer Applications 37, 380–392, 2014
1378*2014
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009
4272009
Why moodle
A Al-Ajlan, H Zedan
2008 12th IEEE International Workshop on Future Trends of Distributed …, 2008
2272008
Context-aware driver behavior detection system in intelligent transportation systems
S Al-Sultan, AH Al-Bayatti, H Zedan
IEEE transactions on vehicular technology 62 (9), 4264-4275, 2013
2012013
The calculus of context-aware ambients
F Siewe, H Zedan, A Cau
Journal of Computer and System Sciences 77 (4), 597-620, 2011
1112011
Augmenting semantic web service descriptions with compositional specification
M Solanki, A Cau, H Zedan
Proceedings of the 13th international conference on World Wide Web, 544-552, 2004
1052004
Refining interval temporal logic specifications
A Cau, H Zedan
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1997
741997
A specification-oriented semantics for the refinement of real-time systems
D Scholefield, H Zedan, H Jifeng
Theoretical Computer Science 131 (1), 219-241, 1994
721994
A compositional framework for access control policies enforcement
F Siewe, A Cau, H Zedan
Proceedings of the 2003 ACM workshop on Formal Methods in Security …, 2003
652003
Generating OWL ontology for database integration
N Alalwan, H Zedan, F Siewe
2009 Third International Conference on Advances in Semantic Processing, 22-31, 2009
572009
The implementation of an intelligent and video-based fall detection system using a neural network
L Alhimale, H Zedan, A Al-Bayatti
Applied Soft Computing 18, 59-69, 2014
552014
Slicing as a program transformation
M Ward, H Zedan
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 7-es, 2007
502007
Non-intrusive speech quality prediction in VoIP networks using a neural network approach
M Al-Akhras, H Zedan, R John, I Almomani
Neurocomputing 72 (10-12), 2595-2608, 2009
462009
Interval temporal logic
A Cau, B Moszkowski, H Zedan
URL: http://www. cms. dmu. ac. uk/~ cau/itlhomepage/itlhomepage. html, 2006
422006
Organ shortage: ethics, law and pragmatism
AM Farrell, D Price, M Quigley
Cambridge University Press, 2011
39*2011
A note on the formalisation of UCON
H Janicke, A Cau, H Zedan
Proceedings of the 12th ACM symposium on Access control models and …, 2007
372007
E-learning (Moodle) based on service oriented architecture
H Zedan, A Al-Ajlan
Proc. of the EADTU's 20th Anniversary Conference, 2007
372007
Formal methods for the re-engineering of computing systems: a comparison
X Liu, H Yang, H Zedan
Proceedings Twenty-First Annual International Computer Software and …, 1997
371997
Using ITL and Tempura for large-scale specification and simulation
A Cau, H Zedan, N Coleman, B Moszkowski
Proceedings of 4th EUROMICRO Workshop on Parallel and Distributed Processing …, 1996
361996
Abstraction: a key notion for reverse engineering in a system reengineering approach
H Yang, X Liu, H Zedan
Journal of Software Maintenance: Research and Practice 12 (4), 197-228, 2000
352000
The system can't perform the operation now. Try again later.
Articles 1–20