Search the dblp DataBase

Publications of Author

1. Neil Henderson, Stephen Paynter
   The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. [Citation Graph (0, 0)][DBLP]
   FME, 2002, pp:350-369 [Conf]
   
2. Stephen Paynter
   Real-Time Logic Revisited. [Citation Graph (0, 0)][DBLP]
   FME, 2001, pp:300-317 [Conf]
   
3. Stephen Paynter
   Real-Time Mode-Machines. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1996, pp:90-109 [Conf]
   
4. James M. Armstrong, Stephen Paynter
   The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2004, pp:3-16 [Conf]
   
5. Stephen Paynter, Bob W. Born
   Analysing the Safety of a Software Development Process. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2002, pp:186-197 [Conf]
   
6. Stephen Paynter, James M. Armstrong, Jan Haveman
   ADL: An Activity Description Language for Real-Time Networks. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:2, pp:120-144 [Journal]
   
7. Stephen Paynter, Neil Henderson, James M. Armstrong
   Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:4, pp:332-351 [Journal]
   
8. Stephen Paynter, Neil Henderson, James M. Armstrong
   Metastability in Asynchronous Wait-Free Protocols. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 2006, v:55, n:3, pp:292-303 [Journal]