2008 |
7 | EE | Sam Jansen,
Anthony McGregor:
Static virtualization of C source code.
Softw., Pract. Exper. 38(4): 397-416 (2008) |
2007 |
6 | EE | Sam Jansen,
Anthony McGregor:
Validation of simulated real world TCP stacks.
Winter Simulation Conference 2007: 2177-2186 |
2006 |
5 | EE | 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 | EE | Sam Jansen,
Anthony McGregor:
Performance, Validation and Testing with the Network Simulation Cradle.
MASCOTS 2006: 355-362 |
2005 |
3 | EE | Sam Jansen,
Anthony McGregor:
Measured Comparative Performance of TCP Stacks.
PAM 2005: 329-332 |
2 | EE | 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 |