 | 2008 |
|---|
| 7 |       | Sam Jansen,
Anthony McGregor:
Static virtualization of C source code.
Softw., Pract. Exper. 38(4): 397-416 (2008) |
| 2007 |
|---|
| 6 | | Sam Jansen,
Anthony McGregor:
Validation of simulated real world TCP stacks.
Winter Simulation Conference 2007: 2177-2186 |
| 2006 |
|---|
| 5 | | Adam Biltcliffe,
Michael Dales,
Sam Jansen,
Tom Ridge,
Peter Sewell:
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.
ICNP 2006: 117-126 |
| 4 | | Sam Jansen,
Anthony McGregor:
Performance, Validation and Testing with the Network Simulation Cradle.
MASCOTS 2006: 355-362 |
| 2005 |
|---|
| 3 | | Sam Jansen,
Anthony McGregor:
Measured Comparative Performance of TCP Stacks.
PAM 2005: 329-332 |
| 2 | | Sam Jansen,
Anthony McGregor:
Simulation with real world network stacks.
Winter Simulation Conference 2005: 2454-2463 |
| 2002 |
|---|
| 1 |  | Mark D. Apperley,
Sam Jansen,
Amos Jeffries,
Masood Masoodian,
Laurie McLeod,
Lance Paine,
Bill Rogers,
Kirsten Thomson,
Tony Voyle:
Lecture Capture Using Large Interactive Display Systems.
ICCE 2002: 143-147 |
