Hussein S. M. Zedan
List of publications from the
| 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) |
