Hussein Zedan - Misplaced Pages

Hussein Zedan

Born	(1953-07-01)1 July 1953
Died	23 February 2019(2019-02-23) (aged 65) England
Alma mater	University of Bristol (UK)
Known for	Software engineering, formal methods, real-time systems
Scientific career
Fields	Computer science
Institutions	University 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 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.

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.

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.

Hussein Zedan died on 23 February 2019. 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. Vol. 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". Proceedings of the 2003 ACM workshop on Formal methods in security engineering. ACM. pp. 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". Proceedings of the 13th international conference on World Wide Web. ACM. pp. 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. 41 (2). ACM: 1–76. doi:10.1145/1459352.1459354. S2CID 10686134.
Alalwan, N.; Zedan, H.; Siewe, F. (2009). "Generating OWL Ontology for Database Integration". 2009 Third International Conference on Advances in Semantic Processing. ACM. pp. 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. 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. 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. 37. Elsevier: 380–392. doi:10.1016/j.jnca.2013.02.036. S2CID 40636470.
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. 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. S2CID 69781495.

References

^ "Hussein Zedan". Mathematics Genealogy Project. North Dakota State University. Retrieved 17 February 2020.
^ "Hussein Zedan". Funeral Guide. Retrieved 17 February 2020.
^ "STRL − Prof. Hussein Zedan". Archive.org. De Montfort University. 6 April 2009. Archived from the original on 31 May 2009.
"Software Technology Research Laboratory – Developing software systems for IT businesses worldwide" (PDF). De Montfort University. Retrieved 17 February 2020.
"Software Technology Research Laboratory (STRL), De Montfort University". Retrieved 17 February 2020.
"Dr. François Siewe". De Montfort University. Retrieved 17 February 2020.
"Professional teaching practice recognised at Applied Science University, Bahrain". UK: Higher Education Academy. 26 January 2017. Retrieved 17 February 2020.
"Prof Hussein Zedan's Farewell". Bahrain: Applied Science University. 26 January 2017. Retrieved 17 February 2020.
Bowen, Jonathan P. (June 2020). "In Memoriam: A tribute to five formal methods colleagues" (PDF). FACS FACTS. 2020 (1). BCS-FACS: 13–29. doi:10.13140/RG.2.2.13481.62560.

External links

Hussein Zedan on ResearchGate
Hussein Zedan on Academia.edu
Hussein Zedan on LinkedIn
Hussein Zedan on DBLP
Hussein Zedan on IEEE Xplore
Hussein Zedan publications indexed by Google Scholar
Hussein Zedan at the Mathematics Genealogy Project

Categories: