dblp.uni-trier.dewww.uni-trier.de

Hussein Zedan

Hussein S. M. Zedan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
53EERobert 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
52EEHelge Janicke, Antonio Cau, François Siewe, Hussein Zedan: Concurrent Enforcement of Usage Control Policies. POLICY 2008: 111-118
51EEMartin 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
49EEHelge Janicke, Antonio Cau, François Siewe, Hussein Zedan: Deriving Enforcement Mechanisms from Policies. POLICY 2007: 161-172
48EEHelge Janicke, Antonio Cau, Hussein Zedan: A note on the formalisation of UCON. SACMAT 2007: 163-168
47EEMartin P. Ward, Hussein Zedan: Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29(2): (2007)
2006
46EEHelge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones: A Compositional Event & Time-Based Policy Model. POLICY 2006: 173-182
45EEMonika Solanki, Antonio Cau, Hussein Zedan: ASDL: a wide spectrum language for designing web services. WWW 2006: 687-696
44EEMonika Solanki, Antonio Cau, Hussein Zedan: Temporal Reasoning Of Reactive Web Services. Semantic Web Services, Processes and Applications 2006: 107-136
2005
43EEMartin P. Ward, Hussein Zedan: MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) 2005: 233-238
42EEMartin P. Ward, Hussein Zedan, T. Hardcastle: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR 2005: 178-187
41EEHelge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan: Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS 2005: 92-103
40EEShikun Zhou, Hussein Zedan, Antonio Cau: Run-time analysis of time-critical systems. Journal of Systems Architecture 51(5): 331-345 (2005)
2004
39EEMonika Solanki, Antonio Cau, Hussein Zedan: Introducing Compositionality in Web Service Descriptions. FTDCS 2004: 14-20
38EEMartin P. Ward, Hussein Zedan, T. Hardcastle: Legacy Assembler Reengineering and Migration. ICSM 2004: 157-166
37EEMonika Solanki, Antonio Cau, Hussein Zedan: Augmenting semantic web service descriptions with compositional specification. WWW 2004: 544-552
2003
36EEFrançois Siewe, Antonio Cau, Hussein Zedan: A compositional framework for access control policies enforcement. FMSE 2003: 32-42
2002
35EEAli Arsanjani, James J. Alpigini, Hussein Zedan: Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style. ICSM 2002: 628-
2001
34EEHussein Zedan, Antonio Cau: Voice Over IP: Correct Hardware/Software Co-Design. FTDCS 2001: 194-200
33EEHussein 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
30EEShikun 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)
27EEZhiqiang 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
26EEZhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang: A Refinement Calculus for the Development of Real-Time Systems. APSEC 1998: 61-
25EEHussein Zedan, Hongji Yang: A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. CSMR 1998: 220-223
24EEAntonio Cau, Chris Czarnecki, Hussein Zedan: Designing a Provably Correct Robot Control System Using a `Lean' Formal Method. FTRTFT 1998: 123-132
23EEHongji Yang, Xiaodong Liu, Hussein Zedan: Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. ICSM 1998: 284-293
1997
22EEXiaodong 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
19EEXiaodong 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)
15EEMing 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
14EEM. 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
3EEPaul Butcher, Hussein Zedan: Lucinda - an overview. SIGPLAN Notices 26(8): 90-100 (1991)
1990
2EEDavid 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)