Airblue: a system for cross-layer wireless protocol development. - Man Cheuk Ng; Kermin Elliott Fleming; Mythili Vutukuru; Samuel Gross; Arvind 001; Hari Balakrishnan (ANCS, 2010)

WiLIS: Architectural modeling of wireless systems. - Kermin Elliott Fleming; Man Cheuk Ng; Samuel Gross; Arvind 001 (ISPASS, 2011)