Steve Dunne
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1999–2011
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FM | Termination without \checkmark\checkmark in CSP. | Steve Dunne |
| 2010 | ICTAC | Preference and Non-deterministic Choice. | Bill Stoddart, Frank Zeyda, Steve Dunne |
| 2010 | MPC | Unifying Theories of Programming That Distinguish Nontermination and Abort. | Ian J. Hayes, Steve Dunne, Larissa Meinicke |
| 2007 | IFM | Lifting General Correctness into Partial Correctness is | Steve Dunne, Andy Galloway |
| 2004 | IFM | Understanding Object-Z Operations as Generalised Substitutions. | Steve Dunne |
| 1999 | FM | The Safe Machine: A New Specification Construct for B. | Steve Dunne |
| 1999 | IFM | The Refinement of Event Calculus Models. | Bill Stoddart, Steve Dunne |