Detecting Mutual Consistency of Shared Objects. - Mustaque Ahamad; Francisco J. Torres-Rojas; Rammohan Kordale; Jasjit Singh; Shawn Smith (WMCSA, 1994)

Electronic Process Limited Yield. - Gary W. Maier; Shawn Smith (ISQED, 2000)

Automated Generation and Integration of AUTOSAR RTE Configurations. - Shawn Smith; Mohammed A. S. Khalid (CCECE, 2022)