Hussein Zedan

From Wikipedia, the free encyclopedia
Hussein Zedan
Hussein Zedan.jpg
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)
ThesisModified Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations (1981)
Doctoral advisorJohn Derwent Pryce[1]
InfluencesJifeng He
InfluencedJonathan Bowen

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). International AMAST Workshop on Aspects of Real-Time Systems and Concurrent and Distributed Software. Lecture Notes in Computer Science. 1231. Springer-Verlag. pp. 79–94. doi:10.1007/3-540-63010-4_6. hdl:2086/40. ISBN 978-3-540-63010-4.
  • 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. ISBN 1581137818. S2CID 6519229.
  • 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. ISBN 158113844X. S2CID 16034615.
  • Al-Ajlan, A.; Zedan, H. (October 2008). Why Moodle. 12th IEEE International Workshop on Future Trends of Distributed Computing Systems. IEEE. pp. 58–64. doi:10.1109/FTDCS.2008.22. ISBN 978-0-7695-3377-3. S2CID 16570077.
  • 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. ACM. 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID 10686134.
  • 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. ISBN 978-1-4244-5044-2. S2CID 10213520.
  • 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. S2CID 10826583.
  • 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. S2CID 16101256. – 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. ISBN 9781119174240.

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". 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. ^ Bowen, Jonathan P. (June 2020). "In Memoriam: A tribute to five formal methods colleagues" (PDF). FACS FACTS. BCS-FACS. 2020 (1): 13–29. doi:10.13140/RG.2.2.13481.62560.

External links[]

Retrieved from ""