David Scholefield

11 papers B 2Journal 6Unranked 3

Year	Rank	Type	Title / Venue / Authors
1996	J	`jnl`	Real-Time Refinement in Manna and Pnueli's Temporal Logic. Formal Aspects Comput. David Scholefield
1995	J	`jnl`	Proving Properties of Real-Time Semaphores. Sci. Comput. Program. David Scholefield
1995	J	`jnl`	Transformational vs Reactive Refinement in Real-Time Systems. Inf. Process. Lett. Simon Atkinson, David Scholefield
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
1993	B	`conf`	A Predicative Semantics for the Refinement of Real-Time Systems. MFPS David Scholefield, Hussein S. M. Zedan, Jifeng He
1993	B	`conf`	Real-Time Refinement: Semantics and Application. MFCS David Scholefield, Hussein S. M. Zedan, Jifeng He
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
1990	J	`jnl`	TAM: Temporal agent model for real-time distributed systems. Microprocessing and Microprogramming David Scholefield, Hussein Zedan