Hussein Zedan Explained

Hussein Zedan
Birth Date:	1 July 1953
Death Place:	England
Field:	Computer science
Known For:	Software engineering, formal methods, real-time systems
Work Institution:	University of York (UK), De Montfort University (UK), Applied Science University (Bahrain)
Alma Mater:	University of Bristol (UK)
Thesis Title:	Modified Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations
Thesis Year:	1981
Doctoral Advisor:	John Derwent Pryce

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

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.^[2]

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. 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.^[9] He was married with two daughters.

Selected publications

• Book: Distributed Computer Systems . H.S.M. . Zedan . 1990 . Butterworths . 0-408-02938-2 .
• A specification-oriented semantics for the refinement of real-time systems . D. . Scholefield . H. . Zedan . Jifeng . He . Jifeng He . . 131 . 1 . 219–241 . 1994 . 10.1016/0304-3975(94)90096-5 . free .
• Refining interval temporal logic specifications . A. . Cau . H. . Zedan . Transformation-Based Reactive Systems Development (ARTS 1997) . International AMAST Workshop on Aspects of Real-Time Systems and Concurrent and Distributed Software . . . 1231 . 1997 . 79–94 . 10.1007/3-540-63010-4_6 . 2086/40 . 978-3-540-63010-4 . free .
• Book: F. . Siewe . A. . Cau . H. . Zedan . Proceedings of the 2003 ACM workshop on Formal methods in security engineering . A compositional framework for access control policies enforcement . . 32–42 . October 2003 . 10.1145/1035429.1035433 . 1581137818 . 6519229 .
• Book: M. . Solanki . A. . Cau . H. . Zedan . Proceedings of the 13th international conference on World Wide Web . Augmenting semantic web service descriptions with compositional specification . ACM . 544–552 . 2004 . 10.1145/988672.988746 . 158113844X . 16034615 .
• Why Moodle . A. . Al-Ajlan . H. . Zedan . 12th IEEE International Workshop on Future Trends of Distributed Computing Systems . . October 2008 . 58–64 . 10.1109/FTDCS.2008.22 . 978-0-7695-3377-3 . 16570077 .
• Using formal specifications to support testing . Hierons . R.M. . Bogdanov . K. . Bowen . J.P. . Jonathan Bowen . Cleaveland . R. . Derrick . J. . Dick . J. . Gheorghe . M. . Harman . M. . Mark Harman (computer scientist) . Kapoor . K. . Krause . P. . Lüttgen . G. . Simons . A.J.H. . Vilkomir . S.A. . Sergiy Vilkomir . Woodward . M.R. . Zedan . H. . ACM Computing Surveys . 41 . 2 . 1–76 . 2009 . ACM . 10.1145/1459352.1459354 . 10686134 .
• Book: N. . Alalwan . H. . Zedan . F. . Siewe . 2009 Third International Conference on Advances in Semantic Processing . ACM . 22–31 . 2009 . 10.1109/SEMAPRO.2009.21 . Web Ontology Language . Generating OWL Ontology for Database Integration . 978-1-4244-5044-2 . 10213520 .
• The calculus of context-aware ambients . F. . Siewe . A. . Cau . H. . Zedan . . 77 . 4 . 597–620 . July 2011 . . 10.1016/j.jcss.2010.02.003 .
• Context-aware driver behavior detection system in intelligent transportation systems . S. . Al-Sultan . A.H. . Al-Bayatti . H. . Zedan . IEEE Transactions on Vehicular Technology . 62 . 9 . 4264–4275 . May 2013 . IEEE . 10.1109/TVT.2013.2263400 . 10826583 .
• A comprehensive survey on vehicular ad hoc networks . S. . Al-Sultan . M.M. . Al-Doori . A.H. . Al-Bayatti . H. . Zedan . Journal of Network and Computer Applications . 37 . 380–392 . January 2014 . Elsevier . 10.1016/j.jnca.2013.02.036 . 40636470 .
• J.P. . Bowen . Jonathan Bowen . M. . Hinchey . Michael Hinchey . H. . Janicke . M. . Ward . H. . Zedan . Formality, agility, security, and evolution in software engineering . . 47 . 10 . 86–89 . IEEE . October 2014 . 10.1109/MC.2014.284 . 16101256 . – republished as:
  • Book: Bowen, J.P. . etal . Formality, Agility, Security, and Evolution in Software Engineering . Software Technology: 10 Years of Innovation in IEEE Computer . 282–292 . . 2018 . 10.1002/9781119174240.ch16 . 9781119174240 . 69781495 .

External links

• Hussein Zedan on ResearchGate
• Hussein Zedan on Academia.edu
• Hussein Zedan on LinkedIn
• Hussein Zedan on DBLP
• Hussein Zedan on IEEE Xplore

Notes and References

1. Web site: Hussein Zedan . Funeral Guide . 17 February 2020 .
2. Web site: Hussein Zedan . . . 17 February 2020 .
3. Web site: STRL − Prof. Hussein Zedan . . . 6 April 2009 . https://web.archive.org/web/20090531024241/http://www.tech.dmu.ac.uk/STRL/people/staff/zedan.html . 2009-05-31 .
4. Web site: Software Technology Research Laboratory – Developing software systems for IT businesses worldwide . . 17 February 2020 .
5. Web site: Software Technology Research Laboratory (STRL), De Montfort University . 17 February 2020 .
6. Web site: Dr. François Siewe . . 17 February 2020 .
7. Web site: Professional teaching practice recognised at Applied Science University, Bahrain . . UK . 26 January 2017 . 17 February 2020 .
8. Web site: Prof Hussein Zedan's Farewell . . Bahrain . 26 January 2017 . 17 February 2020 .
9. In Memoriam: A tribute to five formal methods colleagues . . 2020 . 1 . 13–29 . . Jonathan P. . Bowen . Jonathan Bowen . June 2020 . 10.13140/RG.2.2.13481.62560 .