Philip J. Armstrong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | TACAS | FDR3 - A Modern Refinement Checker for CSP. | Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe |
| 2012 | CAV | Recent Developments in FDR. | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
| 2009 | ATVA | Local Search in Model Checking. | A. W. Roscoe, Philip J. Armstrong, Pragyesh |