| |
| 2006 | ||
|---|---|---|
| 8 | EE | Stephen Paynter, Neil Henderson, James M. Armstrong: Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55(3): 292-303 (2006) |
| 2004 | ||
| 7 | EE | James M. Armstrong, Stephen Paynter: The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. SAFECOMP 2004: 3-16 |
| 6 | EE | 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 | EE | Neil Henderson, Stephen Paynter: The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. FME 2002: 350-369 |
| 4 | EE | Stephen Paynter, Bob W. Born: Analysing the Safety of a Software Development Process. SAFECOMP 2002: 186-197 |
| 2001 | ||
| 3 | EE | Stephen Paynter: Real-Time Logic Revisited. FME 2001: 300-317 |
| 2000 | ||
| 2 | EE | 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 | |
| 1 | James M. Armstrong | [2] [6] [7] [8] |
| 2 | Bob W. Born | [4] |
| 3 | Jan Haveman | [2] |
| 4 | Neil Henderson | [5] [6] [8] |