Stephen Paynter

	2007
9		James M. Armstrong, Stephen Paynter: The deconstruction of safety arguments through adversarial counter-argument. Rel. Eng. & Sys. Safety 92(11): 1551-1562 (2007)
	2006
8		Stephen Paynter, Neil Henderson, James M. Armstrong: Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55(3): 292-303 (2006)
	2004
7		James M. Armstrong, Stephen Paynter: The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. SAFECOMP 2004: 3-16
6		Stephen Paynter, Neil Henderson, James M. Armstrong: Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism. Formal Asp. Comput. 16(4): 332-351 (2004)
	2002
5		Neil Henderson, Stephen Paynter: The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. FME 2002: 350-369
4		Stephen Paynter, Bob W. Born: Analysing the Safety of a Software Development Process. SAFECOMP 2002: 186-197
	2001
3		Stephen Paynter: Real-Time Logic Revisited. FME 2001: 300-317
	2000
2		Stephen Paynter, James M. Armstrong, Jan Haveman: ADL: An Activity Description Language for Real-Time Networks. Formal Asp. Comput. 12(2): 120-144 (2000)
	1996
1		Stephen Paynter: Real-Time Mode-Machines. FTRTFT 1996: 90-109

Coauthor Index

1	James M. Armstrong	[2] [6] [7] [8] [9]
2	Bob W. Born	[4]
3	Jan Haveman	[2]
4	Neil Henderson	[5] [6] [8]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page