Hussein Zedan

Hussein S. M. Zedan

2009
53	EE	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
52	EE	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan: Concurrent Enforcement of Usage Control Policies. POLICY 2008: 111-118
51	EE	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
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	Kirill Bogdanov	[53]
6	Jonathan P. Bowen	[53]
7	Paul Butcher	[3] [5]
8	Antonio Cau	[18] [20] [21] [24] [26] [27] [28] [29] [30] [33] [34] [36] [37] [39] [40] [41] [44] [45] [46] [48] [49] [52]
9	X. Chen	[33]
10	Zhiqiang Chen	[22] [26] [27] [28] [29]
11	William C. Chu (William Cheng-Chung Chu)	[22]
12	Rance Cleaveland	[53]
13	Nick Coleman	[18] [20]
14	Chris Czarnecki	[24]
15	John Derrick	[53]
16	Jeremy Dick	[53]
17	Ming Fang	[8] [9] [15]
18	Marian Gheorghe	[53]
19	T. Hardcastle	[38] [42]
20	Mark Harman	[53]
21	Cyrus Hazari	[1]
22	Heping He	[12]
23	Jifeng He	[10] [11] [13]
24	H. Heping	[4] [17]
25	Robert M. Hierons	[53]
26	Chris Ho-Stuart	[8] [9] [15]
27	Helge Janicke	[41] [46] [48] [49] [52]
28	Kevin Jones	[41] [46]
29	Kalpesh Kapoor	[53]
30	Paul Krause	[53]
31	Matthias Ladkau	[51]
32	Xiaoshan Li	[20]
33	Xiaodong Liu	[19] [22] [23] [26] [31]
34	Gavin Lowe	[16]
35	Gerald Lüttgen	[53]
36	Ben C. Moszkowski	[18] [20]
37	Stefan Natelberg	[51]
38	M. Portman	[14]
39	N. Sampat	[33]
40	David Scholefield	[2] [6] [7] [10] [11] [13]
41	François Siewe	[36] [41] [46] [49] [52]
42	Anthony J. H. Simons	[53]
43	Monika Solanki	[37] [39] [44] [45]
44	Sergiy A. Vilkomir	[53]
45	Martin P. Ward	[38] [42] [43] [47] [51]
46	Martin R. Woodward	[53]
47	Hongji Yang	[19] [22] [23] [25] [26] [27] [28] [29] [31] [33]
48	Shikun Zhou	[30] [33] [40]

Colors in the list of coauthors