 | 2008 |
|---|
| 8 |       | Soodesh Buljore,
Markus Muck,
Patricia Martigne,
Paul Houzé,
Hiroshi Harada,
Kentaro Ishizu,
Oliver Holland,
Andrej Mihailovic,
Kostas Tsagkaris,
Oriol Sallent,
Gary Clemo,
Mahesh Sooriyabandara,
Vladimir Ivanov,
Klaus Nolte,
Makis Stametalos:
Introduction to IEEE P1900.4 Activities.
IEICE Transactions 91-B(1): 2-9 (2008) |
| 2007 |
|---|
| 7 | | Russell J. Haines,
Gary Clemo,
Alistair D. Munro:
Petri-nets for formal verification of MAC protocols.
IET Software 1(2): 39-47 (2007) |
| 2006 |
|---|
| 6 | | Russell J. Haines,
Tim Lewis,
Gary Clemo:
Towards Integrated Wireless Systems: Inter-Mode Monitoring Techniques (Abstract).
ISCC 2006: 3-7 |
| 5 | | Russell J. Haines,
Gary Clemo,
Alistair Munro:
Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF.
VTC Fall 2006: 1-5 |
| 4 | | Russell J. Haines,
Alistair Munro,
Gary Clemo:
Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF.
VTC Spring 2006: 1171-1175 |
| 3 | | Tim Lewis,
Neil Fanning,
Gary Clemo:
Enhancing IEEE802.11 DCF using Genetic Programming.
VTC Spring 2006: 1261-1265 |
| 2005 |
|---|
| 2 |  | Georgios Kalogridis,
Chris J. Mitchell,
Gary Clemo:
Spy Agents: Evaluating Trust in Remote Environments.
Security and Management 2005: 405-411 |
| 2003 |
|---|
| 1 | | Georgios Kalogridis,
Chan Yeob Yeun,
Gary Clemo:
Flexible Delegation Security for Improved Distribution in Ubiquitous Environments.
SEC 2003: 361-372 |
