Hussein S. M. Zedan

12 papers B 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
1995 J jnl
A model for timed-probabilistic behaviors.
J. Syst. Softw.
Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart
1994 J jnl
A Specification-Oriented Semantics for the Refinement of Real-Time Systems.
Theor. Comput. Sci.
David Scholefield, Hussein S. M. Zedan, Jifeng He
1994 J jnl
The development of imprecise real-time systems.
J. Syst. Softw.
Martin Portman, Hussein S. M. Zedan
1993 B conf
A Predicative Semantics for the Refinement of Real-Time Systems.
MFPS
David Scholefield, Hussein S. M. Zedan, Jifeng He
1993 J jnl
Congruent Weak Bisimulation with Dense Real-Time.
Inf. Process. Lett.
Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang
1993 B conf
Real-Time Refinement: Semantics and Application.
MFCS
David Scholefield, Hussein S. M. Zedan, Jifeng He
1993 — conf
Specification of Real-Time Probabilistic Behaviour.
PSTV
Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan
1992 — conf
Let's PARTY: Process Algebra With Real-time From York.
RTS
Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan
1992 — conf
TAM: A Formal Framework for the Development of Distributed Real-Time Systems.
FTRTFT
David Scholefield, Hussein S. M. Zedan
1992 — conf
The refinement of real-time systems.
RTS
David Scholefield, Hussein S. M. Zedan
1992 J jnl
Weakest Precondition Semantics for Time and Concurrency.
Inf. Process. Lett.
David Scholefield, Hussein S. M. Zedan
1990 — conf
Compensation functions and requirements.
ACM SIGOPS European Workshop
David Scholefield, Hussein S. M. Zedan