Hussein Zedan

Hussein S. M. Zedan

2007
50		A. Al-Marghilani, Hussein Zedan, A. Ayesh: A general framework for multilingual text mining using self-organizing maps. Artificial Intelligence and Applications 2007: 555-560
49	EE	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan: Deriving Enforcement Mechanisms from Policies. POLICY 2007: 161-172
48	EE	Helge Janicke, Antonio Cau, Hussein Zedan: A note on the formalisation of UCON. SACMAT 2007: 163-168
47	EE	Martin P. Ward, Hussein Zedan: Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29(2): (2007)
2006
46	EE	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones: A Compositional Event & Time-Based Policy Model. POLICY 2006: 173-182
45	EE	Monika Solanki, Antonio Cau, Hussein Zedan: ASDL: a wide spectrum language for designing web services. WWW 2006: 687-696
44	EE	Monika Solanki, Antonio Cau, Hussein Zedan: Temporal Reasoning Of Reactive Web Services. Semantic Web Services, Processes and Applications 2006: 107-136
2005
43	EE	Martin P. Ward, Hussein Zedan: MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) 2005: 233-238
42	EE	Martin P. Ward, Hussein Zedan, T. Hardcastle: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR 2005: 178-187
41	EE	Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan: Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS 2005: 92-103
40	EE	Shikun Zhou, Hussein Zedan, Antonio Cau: Run-time analysis of time-critical systems. Journal of Systems Architecture 51(5): 331-345 (2005)
2004
39	EE	Monika Solanki, Antonio Cau, Hussein Zedan: Introducing Compositionality in Web Service Descriptions. FTDCS 2004: 14-20
38	EE	Martin P. Ward, Hussein Zedan, T. Hardcastle: Legacy Assembler Reengineering and Migration. ICSM 2004: 157-166
37	EE	Monika Solanki, Antonio Cau, Hussein Zedan: Augmenting semantic web service descriptions with compositional specification. WWW 2004: 544-552
2003
36	EE	François Siewe, Antonio Cau, Hussein Zedan: A compositional framework for access control policies enforcement. FMSE 2003: 32-42
2002
35	EE	Ali Arsanjani, James J. Alpigini, Hussein Zedan: Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style. ICSM 2002: 628-
2001
34	EE	Hussein Zedan, Antonio Cau: Voice Over IP: Correct Hardware/Software Co-Design. FTDCS 2001: 194-200
33	EE	Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang: K-Mediator: Towards Evolving Information Systems. ICSM 2001: 520-527
32		Hussein Zedan: Guest Editorial. Information & Software Technology 43(3): 159 (2001)
2000
31		Hongji Yang, Xiaodong Liu, Hussein Zedan: Abstraction: a key notion for reverse engineering in a system reengineering approach. Journal of Software Maintenance 12(4): 197-228 (2000)
1999
30	EE	Shikun Zhou, Hussein Zedan, Antonio Cau: A Framework for Analysing the Effect of "Change" in Legacy Code. ICSM 1999: 411-420
29		Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang: ATOM: An Object-based Formal Method for Real-Time Systems. Ann. Software Eng. 7: 235-256 (1999)
28		Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang: A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. Inf. Sci. 118(1-4): 15-35 (1999)
27	EE	Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang: Integrating structured OO approaches with formal techniques for the development of real-time systems. Information & Software Technology 41(7): 435-450 (1999)
1998
26	EE	Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang: A Refinement Calculus for the Development of Real-Time Systems. APSEC 1998: 61-
25	EE	Hussein Zedan, Hongji Yang: A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. CSMR 1998: 220-223
24	EE	Antonio Cau, Chris Czarnecki, Hussein Zedan: Designing a Provably Correct Robot Control System Using a `Lean' Formal Method. FTRTFT 1998: 123-132
23	EE	Hongji Yang, Xiaodong Liu, Hussein Zedan: Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. ICSM 1998: 284-293
1997
22	EE	Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu: A Design Framework for System Re-Engineering. APSEC 1997: 342-
21		Antonio Cau, Hussein Zedan: Refining Interval Temporal Logic Specifications. ARTS 1997: 79-94
20		Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan: Proving the correctness of the interlock mechanism in processor design. CHARME 1997: 5-22
19	EE	Xiaodong Liu, Hongji Yang, Hussein Zedan: Formal Methods for the Re-Engineering of Computing Systems: A Comparison. COMPSAC 1997: 409-
1996
18		Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski: Using ITL and Tempura for Large-Scale Specification and Simulation. PDP 1996: 493-500
17		H. Heping, Hussein Zedan: An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. Comput. Lang. 22(1): 1-13 (1996)
1995
16		Gavin Lowe, Hussein Zedan: Refinement of Complex Systems: A Case Study. Comput. J. 38(10): 785-800 (1995)
15	EE	Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart: A model for timed-probabilistic behaviors. Journal of Systems and Software 28(3): 239-251 (1995)
1994
14	EE	M. Portman, Hussein S. M. Zedan: The development of imprecise real-time systems. Journal of Systems and Software 27(2): 73-83 (1994)
13		David Scholefield, Hussein S. M. Zedan, Jifeng He: A Specification-Oriented Semantics for the Refinement of Real-Time Systems. Theor. Comput. Sci. 131(1): 219-241 (1994)
1993
12		Heping He, Hussein Zedan: Requirement Specification For Real-Time and Hybrid Systems. FORTE 1993: 269-284
11		David Scholefield, Hussein S. M. Zedan, Jifeng He: Real-Time Refinement: Semantics and Application. MFCS 1993: 693-702
10		David Scholefield, Hussein S. M. Zedan, Jifeng He: A Predicative Semantics for the Refinement of Real-Time Systems. MFPS 1993: 230-249
9		Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan: Specification of Real-Time Probabilistic Behaviour. PSTV 1993: 143-157
8		Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang: Congruent Weak Bisimulation with Dense Real-Time. Inf. Process. Lett. 46(2): 55-61 (1993)
1992
7		David Scholefield, Hussein S. M. Zedan: TAM: A Formal Framework for the Development of Distributed Real-Time Systems. FTRTFT 1992: 411-428
6		David Scholefield, Hussein S. M. Zedan: Weakest Precondition Semantics for Time and Concurrency. Inf. Process. Lett. 43(6): 301-308 (1992)
1991
5		Paul Butcher, Hussein Zedan: Lucinda - A Polymorphic Linda. Research Directions in High-Level Parallel Programming Languages 1991: 126-146
4		H. Heping, Hussein Zedan: Prototyping with Temporal VDM: A Status Report. VDM Europe (1) 1991: 681-682
3	EE	Paul Butcher, Hussein Zedan: Lucinda - an overview. SIGPLAN Notices 26(8): 90-100 (1991)
1990
2	EE	David Scholefield, Hussein S. M. Zedan: Compensation functions and requirements. ACM SIGOPS European Workshop 1990
1987
1		Cyrus Hazari, Hussein Zedan: A Distributed Algorithm for Distributed Termination. Inf. Process. Lett. 24(5): 293-297 (1987)

Coauthor Index

1	A. Al-Marghilani	[50]
2	James J. Alpigini	[35]
3	Ali Arsanjani	[35]
4	A. Ayesh	[50]
5	Paul Butcher	[3] [5]
6	Antonio Cau	[18] [20] [21] [24] [26] [27] [28] [29] [30] [33] [34] [36] [37] [39] [40] [41] [44] [45] [46] [48] [49]
7	X. Chen	[33]
8	Zhiqiang Chen	[22] [26] [27] [28] [29]
9	William C. Chu (William Cheng-Chung Chu)	[22]
10	Nick Coleman	[18] [20]
11	Chris Czarnecki	[24]
12	Ming Fang	[8] [9] [15]
13	T. Hardcastle	[38] [42]
14	Cyrus Hazari	[1]
15	Heping He	[12]
16	Jifeng He	[10] [11] [13]
17	H. Heping	[4] [17]
18	Chris Ho-Stuart	[8] [9] [15]
19	Helge Janicke	[41] [46] [48] [49]
20	Kevin Jones	[41] [46]
21	Xiaoshan Li	[20]
22	Xiaodong Liu	[19] [22] [23] [26] [31]
23	Gavin Lowe	[16]
24	Ben C. Moszkowski	[18] [20]
25	M. Portman	[14]
26	N. Sampat	[33]
27	David Scholefield	[2] [6] [7] [10] [11] [13]
28	François Siewe	[36] [41] [46] [49]
29	Monika Solanki	[37] [39] [44] [45]
30	Martin P. Ward	[38] [42] [43] [47]
31	Hongji Yang	[19] [22] [23] [25] [26] [27] [28] [29] [31] [33]
32	Shikun Zhou	[30] [33] [40]

Colors in the list of coauthors