Jump to content

Hussein Zedan

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Jpbowen (talk | contribs) at 22:15, 10 July 2020 (Added ref). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Hussein Zedan
Born(1953-07-01)1 July 1953
Died23 February 2019(2019-02-23) (aged 65)
England
Alma materUniversity of Bristol (UK)
Known forSoftware engineering, formal methods, real-time systems
Scientific career
FieldsComputer science
InstitutionsUniversity of York (UK), De Montfort University (UK), Applied Science University (Bahrain)
Thesis Modified Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations  (1981)
Doctoral advisorJohn Derwent Pryce[1]

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

Hussein Zedan was born in 1953. 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.[1]

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[3] at De Montfort University.[4][5] He was also Head of Computing Research.[3] Later STRL was headed by Zedan's PhD student and subsequently colleague François Siewe.[6] Zedan was subsequently appointed Assistant Vice-President of Academic Affairs and Development at the Applied Science University[7] in Manama, Bahrain, until 2017.[8]

Hussein Zedan died on 23 February 2019.[2][9] He was married with two daughters.

Selected publications

  • 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. 1231. Springer-Verlag. doi:10.1007/3-540-63010-4_6. hdl:2086/40. {{cite journal}}: Unknown parameter |conference= ignored (help)
  • 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. 41 (2). ACM: 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. 77 (4). Elsevier: 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. 62 (9). IEEE: 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. 37. Elsevier: 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. 47 (10). IEEE: 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.

References

  1. ^ a b "Hussein Zedan". Mathematics Genealogy Project. North Dakota State University. Retrieved 17 February 2020.
  2. ^ a b "Hussein Zedan". Funeral Guide. Retrieved 17 February 2020.
  3. ^ a b "STRL − Prof. Hussein Zedan". Archive.org. De Montfort University. 6 April 2009. Archived from the original on 2009-05-31.
  4. ^ "Software Technology Research Laboratory – Developing software systems for IT businesses worldwide" (PDF). De Montfort University. Retrieved 17 February 2020.
  5. ^ "Software Technology Research Laboratory (STRL), De Montfort University". ResearchGate. Retrieved 17 February 2020.
  6. ^ "Dr. François Siewe". De Montfort University. Retrieved 17 February 2020.
  7. ^ "Professional teaching practice recognised at Applied Science University, Bahrain". UK: Higher Education Academy. 26 January 2017. Retrieved 17 February 2020.
  8. ^ "Prof Hussein Zedan's Farewell". Bahrain: Applied Science University. 26 January 2017. Retrieved 17 February 2020.
  9. ^ Template:Cite article
Retrieved from "https://en.wikipedia.org/w/index.php?title=Hussein_Zedan&oldid=967062209"