Modeling NII services: future needs for standards and interoperability. - Christopher Dabrowski; William Majurski; Wayne McCoy; Shukri Wakid (ACM Stand., 1994)

Using Model Checking to Generate Tests from Specifications. - Paul Ammann; Paul E. Black; William Majurski (ICFEM, 1998)

Flits: Pervasive Computing for Processor and Memory Constrained Systems. - William Majurski; Alden Dima; Mary Laamanen (ICPP Workshops, 2000)