Static virtualization of C source code.
Softw. Pract. Exp., 2008
Validation of simulated real world TCP stacks.
Proceedings of the Winter Simulation Conference, 2007
Performance, Validation and Testing with the Network Simulation Cradle.
Proceedings of the 14th International Symposium on Modeling, 2006
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.
Proceedings of the 14th IEEE International Conference on Network Protocols, 2006
Simulation with real world network stacks.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005
Measured Comparative Performance of TCP Stacks.
Proceedings of the Passive and Active Network Measurement, 6th International Workshop, 2005
Lecture Capture Using Large Interactive Display Systems.
Proceedings of the International Conference on Computers in Education, 2002
Application of imperfect speech recognition to navigation and editing of audio documents.
Proceedings of the SIGCHI-NZ Symposium on Computer-Human Interaction, 2002