Gavin Lowe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1995–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FM | View Abstraction for Systems with Component Identities. | Gavin Lowe |
| 2014 | TACAS | Concurrent Depth-First Search Algorithms. | Gavin Lowe |
| 2012 | CAV | Recent Developments in FDR. | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
| 2004 | DSN | Analyses of the Reverse Path Forwarding Routing Algorithm. | Christie Bolton, Gavin Lowe |
| 2002 | ESORICS | Analysing a Stream Authentication Protocol Using Model Checking. | Philippa J. Broadfoot, Gavin Lowe |
| 2000 | ESORICS | Automating Data Independence. | Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe |
| 1996 | TACAS | Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. | Gavin Lowe |
| 1995 | MPC | A Graphical Calculus. | Sharon Curtis, Gavin Lowe |