Publications by Dr Stephen Paynter - ePrints

Browsing publications by Dr Stephen Paynter.

Newcastle Authors	Title	Year
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
Dr Stephen Paynter	Exploring Timing Properties Using VDM++ on an Industrial Application	2000
Dr Stephen Paynter Dr James Armstrong	A Transaction Model for Real-Time Systems	1997
Dr Stephen Paynter	Real-Time Mode-Machines	1996
Dr Stephen Paynter	Formal Methods: For When Your Software Must Work	1995
Dr Stephen Paynter	Structuring the Semantic Definitions of Graphical Design Notations	1995
Dr Stephen Paynter	The Benefits of Formal Specification are not Automatic	1995
Dr Stephen Paynter	[PhD Thesis] The Formalisation of Software Development Using MASCOT	1993