30:
203:. 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
1083:
1078:
1048:
821:
1073:
867:
1058:
522:
547:
Al-Sultan, S.; Al-Bayatti, A.H.; Zedan, H. (May 2013). "Context-aware driver behavior detection system in intelligent transportation systems".
1053:
502:
420:
315:
1063:
897:
204:
127:
330:
765:
669:
285:
237:
793:
576:
Al-Sultan, S.; Al-Doori, M.M.; Al-Bayatti, A.H.; Zedan, H. (January 2014). "A comprehensive survey on vehicular ad hoc networks".
443:
1068:
381:
346:
1023:
716:
711:
612:; Janicke, H.; Ward, M.; Zedan, H. (October 2014). "Formality, agility, security, and evolution in software engineering".
364:
Solanki, M.; Cau, A.; Zedan, H. (2004). "Augmenting semantic web service descriptions with compositional specification".
257:
325:
Siewe, F.; Cau, A.; Zedan, H. (October 2003). "A compositional framework for access control policies enforcement".
871:
846:
800:
775:
200:
123:
644:
Bowen, J.P.; et al. (2018). "Formality, Agility, Security, and
Evolution in Software Engineering".
484:
284:. International AMAST Workshop on Aspects of Real-Time Systems and Concurrent and Distributed Software.
185:
73:
199:. Prof. Zedan then headed the Software Technology Research Laboratory (STRL) as Technical Director at
1043:
1038:
84:
794:"Software Technology Research Laboratory – Developing software systems for IT businesses worldwide"
614:
675:
631:
593:
564:
508:
471:
426:
387:
352:
196:
170:
119:
141:
Modified
Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations
893:
190:
Modified
Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations
665:
649:
498:
483:
Alalwan, N.; Zedan, H.; Siewe, F. (2009). "Generating OWL Ontology for
Database Integration".
416:
377:
342:
311:
233:
944:
706:
657:
623:
585:
556:
535:
490:
463:
408:
369:
334:
301:
293:
266:
151:
109:
92:
609:
447:
289:
1010:
779:
1014:
919:
605:
439:
178:
88:
983:
403:. 12th IEEE International Workshop on Future Trends of Distributed Computing Systems.
1032:
965:
520:
Siewe, F.; Cau, A.; Zedan, H. (July 2011). "The calculus of context-aware ambients".
271:
252:
679:
635:
597:
568:
512:
475:
430:
391:
978:
969:
356:
868:"Professional teaching practice recognised at Applied Science University, Bahrain"
740:
1001:
1005:
948:
923:
770:
188:, studying under John Derwent Pryce and Hubert Schwetlick for a thesis entitled
661:
589:
539:
931:
653:
327:
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
280:
Cau, A.; Zedan, H. (1997). "Refining interval temporal logic specifications".
992:
560:
1019:
494:
467:
451:
338:
297:
253:"A specification-oriented semantics for the refinement of real-time systems"
248:
218:
Hussein Zedan died on 23 February 2019. He was married with two daughters.
29:
412:
373:
184:
Hussein Zedan was born in 1953. He received his PhD degree in 1981 at the
987:
940:
531:
974:
822:"Software Technology Research Laboratory (STRL), De Montfort University"
627:
212:
62:
486:
2009 Third
International Conference on Advances in Semantic Processing
208:
135:
842:
306:
195:
Zedan was an academic in the
Department of Computer Science at the
366:
Proceedings of the 13th international conference on World Wide Web
174:
996:
404:
282:
Transformation-Based
Reactive Systems Development (ARTS 1997)
646:
Software
Technology: 10 Years of Innovation in IEEE Computer
924:"In Memoriam: A tribute to five formal methods colleagues"
446:; Kapoor, K.; Krause, P.; Lüttgen, G.; Simons, A.J.H.;
442:; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.;
150:
134:
115:
105:
80:
69:
51:
36:
20:
452:"Using formal specifications to support testing"
735:
733:
8:
578:Journal of Network and Computer Applications
28:
17:
549:IEEE Transactions on Vehicular Technology
305:
270:
399:Al-Ajlan, A.; Zedan, H. (October 2008).
695:
523:Journal of Computer and System Sciences
169:(1 July 1953 – 23 February 2019) was a
760:
758:
701:
699:
7:
450:; Woodward, M.R.; Zedan, H. (2009).
1084:Academics of De Montfort University
1079:Academics of the University of York
1049:Alumni of the University of Bristol
14:
286:Lecture Notes in Computer Science
1074:Software engineering researchers
1059:Egyptian expatriates in England
894:"Prof Hussein Zedan's Farewell"
778:. 6 April 2009. Archived from
1:
1024:Mathematics Genealogy Project
717:North Dakota State University
712:Mathematics Genealogy Project
438:Hierons, R.M.; Bogdanov, K.;
177:descent, mainly based in the
1054:Egyptian computer scientists
766:"STRL − Prof. Hussein Zedan"
272:10.1016/0304-3975(94)90096-5
258:Theoretical Computer Science
247:Scholefield, D.; Zedan, H.;
230:Distributed Computer Systems
1064:British computer scientists
949:10.13140/RG.2.2.13481.62560
228:Zedan, H.S.M., ed. (1990).
1100:
898:Applied Science University
662:10.1002/9781119174240.ch16
590:10.1016/j.jnca.2013.02.036
540:10.1016/j.jcss.2010.02.003
205:Applied Science University
128:Applied Science University
368:. ACM. pp. 544–552.
160:
98:
27:
1013:publications indexed by
872:Higher Education Academy
561:10.1109/TVT.2013.2263400
495:10.1109/SEMAPRO.2009.21
489:. ACM. pp. 22–31.
468:10.1145/1459352.1459354
339:10.1145/1035429.1035433
298:10.1007/3-540-63010-4_6
847:De Montfort University
801:De Montfort University
776:De Montfort University
555:(9). IEEE: 4264–4275.
201:De Montfort University
124:De Montfort University
1069:Formal methods people
584:. Elsevier: 380–392.
456:ACM Computing Surveys
413:10.1109/FTDCS.2008.22
374:10.1145/988672.988746
222:Selected publications
186:University of Bristol
74:University of Bristol
843:"Dr. François Siewe"
656:. pp. 282–292.
85:Software engineering
628:10.1109/MC.2014.284
622:(10). IEEE: 86–89.
167:Hussein S. M. Zedan
920:Bowen, Jonathan P.
640:– republished as:
407:. pp. 58–64.
333:. pp. 32–42.
292:. pp. 79–94.
288:. Vol. 1231.
197:University of York
171:computer scientist
156:John Derwent Pryce
120:University of York
900:. 26 January 2017
874:. 26 January 2017
504:978-1-4244-5044-2
422:978-0-7695-3377-3
317:978-3-540-63010-4
164:
163:
100:Scientific career
93:real-time systems
1091:
953:
952:
928:
916:
910:
909:
907:
905:
890:
884:
883:
881:
879:
864:
858:
857:
855:
853:
839:
833:
832:
830:
828:
818:
812:
811:
809:
807:
798:
790:
784:
783:
762:
753:
752:
750:
748:
737:
728:
727:
725:
723:
703:
683:
639:
601:
572:
543:
516:
479:
462:(2). ACM: 1–76.
434:
395:
360:
321:
309:
276:
274:
243:
232:. Butterworths.
152:Doctoral advisor
146:
110:Computer science
58:
55:23 February 2019
46:
44:
32:
18:
1099:
1098:
1094:
1093:
1092:
1090:
1089:
1088:
1029:
1028:
962:
957:
956:
926:
918:
917:
913:
903:
901:
892:
891:
887:
877:
875:
866:
865:
861:
851:
849:
841:
840:
836:
826:
824:
820:
819:
815:
805:
803:
796:
792:
791:
787:
782:on 31 May 2009.
764:
763:
756:
746:
744:
743:. Funeral Guide
741:"Hussein Zedan"
739:
738:
731:
721:
719:
707:"Hussein Zedan"
705:
704:
697:
692:
672:
643:
604:
575:
546:
519:
505:
482:
437:
423:
398:
384:
363:
349:
324:
318:
290:Springer-Verlag
279:
246:
240:
227:
224:
144:
70:Alma mater
65:
60:
56:
42:
40:
23:
12:
11:
5:
1097:
1095:
1087:
1086:
1081:
1076:
1071:
1066:
1061:
1056:
1051:
1046:
1041:
1031:
1030:
1027:
1026:
1017:
1015:Google Scholar
1008:
999:
990:
981:
972:
961:
960:External links
958:
955:
954:
911:
885:
859:
834:
813:
785:
754:
729:
694:
693:
691:
688:
687:
686:
685:
684:
670:
602:
573:
544:
517:
503:
480:
448:Vilkomir, S.A.
435:
421:
396:
382:
361:
347:
322:
316:
277:
265:(1): 219–241.
244:
238:
223:
220:
215:, until 2017.
179:United Kingdom
162:
161:
158:
157:
154:
148:
147:
138:
132:
131:
117:
113:
112:
107:
103:
102:
96:
95:
89:formal methods
82:
81:Known for
78:
77:
71:
67:
66:
61:
59:(aged 65)
53:
49:
48:
38:
34:
33:
25:
24:
21:
13:
10:
9:
6:
4:
3:
2:
1096:
1085:
1082:
1080:
1077:
1075:
1072:
1070:
1067:
1065:
1062:
1060:
1057:
1055:
1052:
1050:
1047:
1045:
1042:
1040:
1037:
1036:
1034:
1025:
1021:
1020:Hussein Zedan
1018:
1016:
1012:
1011:Hussein Zedan
1009:
1007:
1003:
1002:Hussein Zedan
1000:
998:
994:
993:Hussein Zedan
991:
989:
985:
984:Hussein Zedan
982:
980:
976:
975:Hussein Zedan
973:
971:
967:
966:Hussein Zedan
964:
963:
959:
950:
946:
942:
938:
934:
933:
925:
922:(June 2020).
921:
915:
912:
899:
895:
889:
886:
873:
869:
863:
860:
848:
844:
838:
835:
823:
817:
814:
802:
795:
789:
786:
781:
777:
773:
772:
767:
761:
759:
755:
742:
736:
734:
730:
718:
714:
713:
708:
702:
700:
696:
689:
681:
677:
673:
671:9781119174240
667:
663:
659:
655:
651:
647:
642:
641:
637:
633:
629:
625:
621:
617:
616:
611:
607:
603:
599:
595:
591:
587:
583:
579:
574:
570:
566:
562:
558:
554:
550:
545:
541:
537:
533:
529:
525:
524:
518:
514:
510:
506:
500:
496:
492:
488:
487:
481:
477:
473:
469:
465:
461:
457:
453:
449:
445:
441:
436:
432:
428:
424:
418:
414:
410:
406:
402:
397:
393:
389:
385:
379:
375:
371:
367:
362:
358:
354:
350:
344:
340:
336:
332:
328:
323:
319:
313:
308:
303:
299:
295:
291:
287:
283:
278:
273:
268:
264:
260:
259:
254:
250:
245:
241:
239:0-408-02938-2
235:
231:
226:
225:
221:
219:
216:
214:
210:
206:
202:
198:
193:
191:
187:
182:
180:
176:
172:
168:
159:
155:
153:
149:
142:
139:
137:
133:
129:
125:
121:
118:
114:
111:
108:
104:
101:
97:
94:
90:
86:
83:
79:
75:
72:
68:
64:
54:
50:
39:
35:
31:
26:
22:Hussein Zedan
19:
16:
979:Academia.edu
970:ResearchGate
936:
930:
914:
902:. Retrieved
888:
876:. Retrieved
862:
850:. Retrieved
837:
825:. Retrieved
816:
804:. Retrieved
788:
780:the original
769:
745:. Retrieved
720:. Retrieved
710:
645:
619:
613:
581:
577:
552:
548:
527:
521:
485:
459:
455:
400:
365:
326:
281:
262:
256:
229:
217:
194:
189:
183:
166:
165:
140:
116:Institutions
99:
57:(2019-02-23)
15:
1044:2019 deaths
1039:1953 births
1006:IEEE Xplore
904:17 February
896:. Bahrain:
878:17 February
852:17 February
827:17 February
806:17 February
771:Archive.org
747:17 February
722:17 February
610:Hinchey, M.
606:Bowen, J.P.
534:: 597–620.
440:Bowen, J.P.
47:1 July 1953
1033:Categories
932:FACS FACTS
690:References
654:IEEE Press
444:Harman, M.
401:Why Moodle
383:158113844X
348:1581137818
249:He, Jifeng
43:1953-07-01
943:: 13–29.
130:(Bahrain)
988:LinkedIn
941:BCS-FACS
680:69781495
636:16101256
615:Computer
598:40636470
569:10826583
532:Elsevier
513:10213520
476:10686134
431:16570077
392:16034615
251:(1994).
175:Egyptian
1022:at the
357:6519229
307:2086/40
213:Bahrain
63:England
870:. UK:
678:
668:
634:
596:
567:
511:
501:
474:
429:
419:
390:
380:
355:
345:
314:
236:
209:Manama
145:(1981)
143:
136:Thesis
126:(UK),
122:(UK),
106:Fields
939:(1).
927:(PDF)
797:(PDF)
676:S2CID
650:Wiley
632:S2CID
594:S2CID
565:S2CID
530:(4).
509:S2CID
472:S2CID
427:S2CID
388:S2CID
353:S2CID
997:DBLP
937:2020
906:2020
880:2020
854:2020
829:2020
808:2020
749:2020
724:2020
666:ISBN
499:ISBN
417:ISBN
405:IEEE
378:ISBN
343:ISBN
312:ISBN
234:ISBN
76:(UK)
52:Died
37:Born
1004:on
995:on
986:on
977:on
968:on
945:doi
658:doi
624:doi
586:doi
557:doi
536:doi
491:doi
464:doi
409:doi
370:doi
335:doi
331:ACM
302:hdl
294:doi
267:doi
263:131
207:in
173:of
1035::
935:.
929:.
845:.
799:.
774:.
768:.
757:^
732:^
715:.
709:.
698:^
674:.
664:.
648:.
630:.
620:47
618:.
608:;
592:.
582:37
580:.
563:.
553:62
551:.
528:77
526:.
507:.
497:.
470:.
460:41
458:.
454:.
425:.
415:.
386:.
376:.
351:.
341:.
329:.
310:.
300:.
261:.
255:.
211:,
192:.
181:.
91:,
87:,
951:.
947::
908:.
882:.
856:.
831:.
810:.
751:.
726:.
682:.
660::
652:-
638:.
626::
600:.
588::
571:.
559::
542:.
538::
515:.
493::
478:.
466::
433:.
411::
394:.
372::
359:.
337::
320:.
304::
296::
275:.
269::
242:.
45:)
41:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.