ePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Dr Stephen Paynter

Newcastle Authors	Title	Year	Full text
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Metastability in Asynchronous Wait-Free Protocols	2006
Neil Henderson Dr Stephen Paynter	Real-time Interactions: An Abstract Notation for Specifying and Analysing the Timing Properties of Real-time Systems	2006
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Metastability in Asynchronous Wait-Free Protocols	2004
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism	2004
Dr James Armstrong Dr Stephen Paynter	The deconstruction of safety arguments through adversarial counter-argument	2004
Dr James Armstrong Dr Stephen Paynter	The deconstruction of safety arguments through adversarial counter-argument	2004
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Ramifications of Metastability in Bit Variables Explored Via Simpson's 4-Slot Mechanism	2003
Dr James Armstrong Dr Stephen Paynter	Safe Systems: Construction, Destruction, and Deconstruction	2003
Dr Stephen Paynter	Analysing the Safety of a Software Development Process	2002
Neil Henderson Dr Stephen Paynter	The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism	2002
Neil Henderson Dr Stephen Paynter	The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism	2002
Dr Stephen Paynter Dr James Armstrong Jolien Haveman	Exploiting Formality within an Architectural Design Method	2001
Dr Stephen Paynter	Real-Time Logic Revisited	2001
Dr Stephen Paynter Dr James Armstrong Jolien Haveman	ADL: An Activity Description Language for Real Time Networks	2000
Dr Stephen Paynter Dr James Armstrong Jolien Haveman	ADL: An Activity Description Language for Real-Time Networks	2000
1 2