Integrating static analysis and testing for firewall policies. - William Formyduval (OOPSLA Companion, 2009)

Priority inversion and queue management for 802.11 priority WLANs. - William Formyduval; David J. Thuente (CCNC, 2013)