Hussein Zedan

Hussein S. M. Zedan (1 July 1953 – 23 February 2019) was a computer scientist of Egyptian descent, mainly based in the United Kingdom.

Hussein Zedan was born in 1956. He received his PhD degree in 1981 at the University of Bristol, studying under John Derwent Pryce and Hubert Schwetlick for a thesis entitled Modified Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations.

Zedan was an academic in the Department of Computer Science at the University of York. Prof. Zedan then headed the Software Technology Research Laboratory (STRL) as Technical Director at De Montfort University. He was also Head of Computing Research. Later STRL was headed by Zedan's PhD student and subsequently colleague François Siewe. Zedan was subsequently appointed Assistant Vice-President of Academic Affairs and Development at the Applied Science University in Manama, Bahrain, until 2017.

Zedan died on 23 February 2019. He was married with two daughters.

• Zedan, H.S.M., ed. (1990). Distributed Computer Systems. Butterworths. ISBN 0-408-02938-2.
• Scholefield, D.; Zedan, H.; He, Jifeng (1994). "A specification-oriented semantics for the refinement of real-time systems". Theoretical Computer Science. 131 (1): 219–241. doi:10.1016/0304-3975(94)90096-5.
• Cau, A.; Zedan, H. (1997). "Refining interval temporal logic specifications". Transformation-Based Reactive Systems Development (ARTS 1997). Lecture Notes in Computer Science. Springer-Verlag. 1231. doi:10.1007/3-540-63010-4_6. hdl:2086/40.
• Siewe, F.; Cau, A.; Zedan, H. (October 2003). "A compositional framework for access control policies enforcement". FMSE '03: Proceedings of the 2003 ACM workshop on Formal Methods in Security Engineering. ACM: 32–42. doi:10.1145/1035429.1035433.
• Solanki, M.; Cau, A.; Zedan, H. (2004). "Augmenting semantic web service descriptions with compositional specification". WWW '04: Proceedings of the 13th International Conference on World Wide Web. ACM: 544–552. doi:10.1145/988672.988746.
• Al-Ajlan, A.; Zedan, H. (October 2008). "Why Moodle". 12th IEEE International Workshop on Future Trends of Distributed Computing Systems. IEEE. doi:10.1109/FTDCS.2008.22.
• Hierons, R.M.; Bogdanov, K.; Bowen, J.P.; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M.; Kapoor, K.; Krause, P.; Lüttgen, G.; Simons, A.J.H.; Vilkomir, S.A.; Woodward, M.R.; Zedan, H. (2009). "Using formal specifications to support testing". ACM Computing Surveys (CSUR). ACM. 41 (2): 1–76. doi:10.1145/1459352.1459354.
• Alalwan, N.; Zedan, H.; Siewe, F. (2009). "Generating OWL ontology for database integration". SEMAPRO '09: Proceedings of the Third International Conference on Advances in Semantic Processing. ACM: 22–31. doi:10.1109/SEMAPRO.2009.21.
• Siewe, F.; Cau, A.; Zedan, H. (July 2011). "The calculus of context-aware ambients". Journal of Computer and System Sciences. Elsevier. 77 (4): 597–620. doi:10.1016/j.jcss.2010.02.003.
• Al-Sultan, S.; Al-Bayatti, A.H.; Zedan, H. (May 2013). "Context-aware driver behavior detection system in intelligent transportation systems". IEEE Transactions on Vehicular Technology. IEEE. 62 (9): 4264–4275. doi:10.1109/TVT.2013.2263400.
• Al-Sultan, S.; Al-Doori, M.M.; Al-Bayatti, A.H.; Zedan, H. (January 2014). "A comprehensive survey on vehicular ad hoc networks". Journal of Network and Computer Applications. Elsevier. 37: 380–392. doi:10.1016/j.jnca.2013.02.036.
• Bowen, J.P.; Hinchey, M.; Janicke, H.; Ward, M.; Zedan, H. (October 2014). "Formality, agility, security, and evolution in software engineering". Computer. IEEE. 47 (10): 86–89. doi:10.1109/MC.2014.284. – republished as:
  • Bowen, J.P.;et al. (2018). "Formality, Agility, Security, and Evolution in Software Engineering". Software Technology: 10 Years of Innovation in IEEE Computer. Wiley-IEEE Press. pp. 282–292. doi:10.1002/9781119174240.ch16.