Hussein Zedan

Hussein S. M. Zedan

	2009
57		Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
	2008
56		Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan: Concurrent Enforcement of Usage Control Policies. POLICY 2008: 111-118
55		Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg: Conditioned semantic slicing for abstraction; industrial experiment. Softw., Pract. Exper. 38(12): 1273-1304 (2008)
	2007
54		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
53		Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan: Deriving Enforcement Mechanisms from Policies. POLICY 2007: 161-172
52		Helge Janicke, Antonio Cau, Hussein Zedan: A note on the formalisation of UCON. SACMAT 2007: 163-168
51		Martin P. Ward, Hussein Zedan: Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29(2): (2007)
	2006
50		Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones: A Compositional Event & Time-Based Policy Model. POLICY 2006: 173-182
49		Monika Solanki, Antonio Cau, Hussein Zedan: ASDL: a wide spectrum language for designing web services. WWW 2006: 687-696
48		Monika Solanki, Antonio Cau, Hussein Zedan: Temporal Reasoning Of Reactive Web Services. Semantic Web Services, Processes and Applications 2006: 107-136
	2005
47		Martin P. Ward, Hussein Zedan: MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) 2005: 233-238
46		Martin P. Ward, Hussein Zedan, T. Hardcastle: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR 2005: 178-187
45		Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan: Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS 2005: 92-103
44		Shikun Zhou, Hussein Zedan, Antonio Cau: Run-time analysis of time-critical systems. Journal of Systems Architecture 51(5): 331-345 (2005)
	2004
43		Monika Solanki, Antonio Cau, Hussein Zedan: Introducing Compositionality in Web Service Descriptions. FTDCS 2004: 14-20
42		Martin P. Ward, Hussein Zedan, T. Hardcastle: Legacy Assembler Reengineering and Migration. ICSM 2004: 157-166
41		Monika Solanki, Antonio Cau, Hussein Zedan: Augmenting semantic web service descriptions with compositional specification. WWW 2004: 544-552
	2003
40		François Siewe, Antonio Cau, Hussein Zedan: A compositional framework for access control policies enforcement. FMSE 2003: 32-42
	2002
39		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
38		Hussein Zedan, Antonio Cau: Voice Over IP: Correct Hardware/Software Co-Design. FTDCS 2001: 194-200
37		Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang: K-Mediator: Towards Evolving Information Systems. ICSM 2001: 520-527
36		Hussein Zedan: Guest Editorial. Information & Software Technology 43(3): 159 (2001)
	2000
35		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
34		Shikun Zhou, Hussein Zedan, Antonio Cau: A Framework for Analysing the Effect of "Change" in Legacy Code. ICSM 1999: 411-420
33		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)
32		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)
31		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
30		Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang: A Refinement Calculus for the Development of Real-Time Systems. APSEC 1998: 61-
29		Hussein Zedan, Hongji Yang: A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. CSMR 1998: 220-223
28		Antonio Cau, Chris Czarnecki, Hussein Zedan: Designing a Provably Correct Robot Control System Using a `Lean' Formal Method. FTRTFT 1998: 123-132
27		Hongji Yang, Xiaodong Liu, Hussein Zedan: Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. ICSM 1998: 284-293
	1997
26		Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu: A Design Framework for System Re-Engineering. APSEC 1997: 342-
25		Antonio Cau, Hussein Zedan: Refining Interval Temporal Logic Specifications. ARTS 1997: 79-94
24		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
23		Xiaodong Liu, Hongji Yang, Hussein Zedan: Formal Methods for the Re-Engineering of Computing Systems: A Comparison. COMPSAC 1997: 409-
	1996
22		Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski: Using ITL and Tempura for Large-Scale Specification and Simulation. PDP 1996: 493-500
21		Heping He, Hussein Zedan: An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. Comput. Lang. 22(1): 1-13 (1996)
20		Heping He, Hussein Zedan: A fast prototype tool for parallel reactive systems. Journal of Systems Architecture 42(4): 251-266 (1996)
	1995
19		Gavin Lowe, Hussein Zedan: Refinement of Complex Systems: A Case Study. Comput. J. 38(10): 785-800 (1995)
18		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
17		M. Portman, Hussein S. M. Zedan: The development of imprecise real-time systems. Journal of Systems and Software 27(2): 73-83 (1994)
16		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
15		Heping He, Hussein Zedan: Requirement Specification For Real-Time and Hybrid Systems. FORTE 1993: 269-284
14		David Scholefield, Hussein S. M. Zedan, Jifeng He: Real-Time Refinement: Semantics and Application. MFCS 1993: 693-702
13		David Scholefield, Hussein S. M. Zedan, Jifeng He: A Predicative Semantics for the Refinement of Real-Time Systems. MFPS 1993: 230-249
12		Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan: Specification of Real-Time Probabilistic Behaviour. PSTV 1993: 143-157
11		Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang: Congruent Weak Bisimulation with Dense Real-Time. Inf. Process. Lett. 46(2): 55-61 (1993)
10		Celio Estevan Moron, Hussein Zedan: On guaranteeing hard real-time tasks. Microprocessing and Microprogramming 38(1-5): 485-490 (1993)
9		Chris Ho-Stuart, Hussein Zedan, Ming Fang: Automated support for the formal specification and design of real-time systems. Microprocessing and Microprogramming 38(1-5): 79-86 (1993)
8		Heping He, Hussein Zedan: Cycle calculus for hybrid systems. Microprocessing and Microprogramming 39(2-5): 223-227 (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		Heping He, Hussein Zedan: Prototyping with Temporal VDM: A Status Report. VDM Europe (1) 1991: 681-682
3		Paul Butcher, Hussein Zedan: Lucinda - an overview. SIGPLAN Notices 26(8): 90-100 (1991)
	1990
2		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	[54]
2	James J. Alpigini	[39]
3	Ali Arsanjani	[39]
4	A. Ayesh	[54]
5	Kirill Bogdanov	[57]
6	Jonathan P. Bowen	[57]
7	Paul Butcher	[3] [5]
8	Antonio Cau	[22] [24] [25] [28] [30] [31] [32] [33] [34] [37] [38] [40] [41] [43] [44] [45] [48] [49] [50] [52] [53] [56]
9	X. Chen	[37]
10	Zhiqiang Chen	[26] [30] [31] [32] [33]
11	William C. Chu (William Cheng-Chung Chu)	[26]
12	Rance Cleaveland	[57]
13	Nick Coleman	[22] [24]
14	Chris Czarnecki	[28]
15	John Derrick	[57]
16	Jeremy Dick	[57]
17	Ming Fang	[9] [11] [12] [18]
18	Marian Gheorghe	[57]
19	T. Hardcastle	[42] [46]
20	Mark Harman	[57]
21	Cyrus Hazari	[1]
22	Heping He	[4] [8] [15] [20] [21]
23	Jifeng He	[13] [14] [16]
24	Robert M. Hierons	[57]
25	Chris Ho-Stuart	[9] [11] [12] [18]
26	Helge Janicke	[45] [50] [52] [53] [56]
27	Kevin Jones	[45] [50]
28	Kalpesh Kapoor	[57]
29	Paul Krause	[57]
30	Matthias Ladkau	[55]
31	Xiaoshan Li	[24]
32	Xiaodong Liu	[23] [26] [27] [30] [35]
33	Gavin Lowe	[19]
34	Gerald Lüttgen	[57]
35	Celio Estevan Moron	[10]
36	Ben C. Moszkowski	[22] [24]
37	Stefan Natelberg	[55]
38	M. Portman	[17]
39	N. Sampat	[37]
40	David Scholefield	[2] [6] [7] [13] [14] [16]
41	François Siewe	[40] [45] [50] [53] [56]
42	Anthony J. H. Simons	[57]
43	Monika Solanki	[41] [43] [48] [49]
44	Sergiy A. Vilkomir	[57]
45	Martin P. Ward	[42] [46] [47] [51] [55]
46	Martin R. Woodward	[57]
47	Hongji Yang	[23] [26] [27] [29] [30] [31] [32] [33] [35] [37]
48	Shikun Zhou	[34] [37] [44]

Colors in the list of coauthors