The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Hussein Zedan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  40. CCA: A Calculus of Context-Aware Ambients. [Citation Graph (, )][DBLP]


  41. Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. [Citation Graph (, )][DBLP]


  42. Concurrent Enforcement of Usage Control Policies. [Citation Graph (, )][DBLP]


  43. Biometric-Based Authentication System Using Rough Set Theory. [Citation Graph (, )][DBLP]


  44. Security Solution for Mobile Ad Hoc Network of Networks (MANoN). [Citation Graph (, )][DBLP]


  45. Using formal specifications to support testing. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.304secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002