« Fighting livelock in the GNU i-Protocol : a case study in explicit-state model checking, pp.505-528, 2003. ,
« Fine-grained failover using connection migration, Proc. 3rd USENIX symp. on Internet Technologies and Systems (USITS), pp.97-108, 2001. ,
« Operating System Support for Integrated Network Emulation in IMUNES, Proceedings of the 1st Workshop on Operating System and Architectural Support for the on demand IT InfraStructure / ASPLOS-XI, 2004. ,