| 1996 |
|---|
| 9 | | David Scholefield:
Real-Time Refinement in Manna and Pnueli's Temporal Logic.
Formal Asp. Comput. 8(4): 408-427 (1996) |
| 1995 |
|---|
| 8 | EE | Simon Atkinson,
David Scholefield:
Transformational vs Reactive Refinement in Real-Time Systems.
Inf. Process. Lett. 55(4): 201-210 (1995) |
| 7 | | David Scholefield:
Proving Properties of Real-Time Semaphores.
Sci. Comput. Program. 24(2): 159-181 (1995) |
| 1994 |
|---|
| 6 | | 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 |
|---|
| 5 | | David Scholefield,
Hussein S. M. Zedan,
Jifeng He:
Real-Time Refinement: Semantics and Application.
MFCS 1993: 693-702 |
| 4 | | David Scholefield,
Hussein S. M. Zedan,
Jifeng He:
A Predicative Semantics for the Refinement of Real-Time Systems.
MFPS 1993: 230-249 |
| 1992 |
|---|
| 3 | | David Scholefield,
Hussein S. M. Zedan:
TAM: A Formal Framework for the Development of Distributed Real-Time Systems.
FTRTFT 1992: 411-428 |
| 2 | | David Scholefield,
Hussein S. M. Zedan:
Weakest Precondition Semantics for Time and Concurrency.
Inf. Process. Lett. 43(6): 301-308 (1992) |
| 1990 |
|---|
| 1 | EE | David Scholefield,
Hussein S. M. Zedan:
Compensation functions and requirements.
ACM SIGOPS European Workshop 1990 |
