Stephen Paynter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2001–2004
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | SAFECOMP | The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. | James M. Armstrong, Stephen Paynter |
| 2002 | FM | The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. | Neil Henderson, Stephen Paynter |
| 2002 | SAFECOMP | Analysing the Safety of a Software Development Process. | Stephen Paynter, Bob W. Born |
| 2001 | FM | Real-Time Logic Revisited. | Stephen Paynter |