| * | 2009 |
|---|
| 6 | EE | Tim Lewis,
Russell J. Haines:
Formal verification to enhance evolution of protocols.
GECCO 2009: 1889-1890 |
| 2007 |
|---|
| 5 | EE | Russell J. Haines,
Gary Clemo,
Alistair D. Munro:
Petri-nets for formal verification of MAC protocols.
IET Software 1(2): 39-47 (2007) |
| 2006 |
|---|
| 4 | EE | Russell J. Haines,
Tim Lewis,
Gary Clemo:
Towards Integrated Wireless Systems: Inter-Mode Monitoring Techniques (Abstract).
ISCC 2006: 3-7 |
| 3 | EE | 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 |
| 2 | EE | 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 |
| 1 | EE | Russell J. Haines,
Tim Lewis,
Justin Coon,
Neil Fanning:
Non-Linear Optimization of IEEE802.11e Super-frame Configuration.
VTC Spring 2006: 1211-1215 |
