Stephen Paynter

According to our database, Stephen Paynter authored at least 9 papers between 1995 and 2007.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2007

The deconstruction of safety arguments through adversarial counter-argument.

James M. Armstrong, Stephen Paynter

Reliab. Eng. Syst. Saf., 2007

2006

Metastability in Asynchronous Wait-Free Protocols.

Stephen Paynter, Neil Henderson, James M. Armstrong

IEEE Trans. Computers, 2006

2004

Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism.

Stephen Paynter, Neil Henderson, James M. Armstrong

Formal Aspects Comput., 2004

2002

Analysing the Safety of a Software Development Process.

Stephen Paynter, Bob W. Born

Proceedings of the Computer Safety, 2002

The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.

Neil Henderson, Stephen Paynter

Proceedings of the FME 2002: Formal Methods, 2002

2001

Real-Time Logic Revisited.

Stephen Paynter

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

ADL: An Activity Description Language for Real-Time Networks.

Stephen Paynter, James M. Armstrong, Jan Haveman

Formal Aspects Comput., 2000

1996

Real-Time Mode-Machines.

Stephen Paynter

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1995

Structuring the semantic definitions of graphical design notations.

Stephen Paynter

Softw. Eng. J., 1995