Stephen Paynter

Publication Activity (10 Years)

Years Active: 1995-2007
Publications (10 Years): 0

Publications

James M. Armstrong, Stephen Paynter
The deconstruction of safety arguments through adversarial counter-argument. Reliab. Eng. Syst. Saf. 92 (11) (2007)
Stephen Paynter, Neil Henderson, James M. Armstrong
Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55 (3) (2006)
James M. Armstrong, Stephen Paynter
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. SAFECOMP (2004)
Stephen Paynter, Neil Henderson, James M. Armstrong
Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism. Formal Aspects Comput. 16 (4) (2004)
Neil Henderson, Stephen Paynter
The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. FME (2002)
Stephen Paynter, Bob W. Born
Analysing the Safety of a Software Development Process. SAFECOMP (2002)
Stephen Paynter
Real-Time Logic Revisited. FME (2001)
Stephen Paynter, James M. Armstrong, Jan Haveman
ADL: An Activity Description Language for Real-Time Networks. Formal Aspects Comput. 12 (2) (2000)
Stephen Paynter
Real-Time Mode-Machines. FTRTFT (1996)
Stephen Paynter
Structuring the semantic definitions of graphical design notations. Softw. Eng. J. 10 (3) (1995)