Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
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
