| 2006 | ISORC | A Software Enhancement System for Embedded Software Development. | Jia Zhou, Kendra M. L. Cooper, I-Ling Yen, John Linn, Raymond A. Paul |
| 2006 | SEKE | Coverage Testing Embedded Software on Symbian/OMAP. | W. Eric Wong, Sharath Rao, John Linn, James Overturf |
| 2002 | ICDCS | Reasoning about Joint Administration of Access Policies for Coalition Resources. | Himanshu Khurana, Virgil D. Gligor, John Linn |
| 2002 | ICTAI | Application of AI Planning Techniques to Automated Code Synthesis and Testing. | I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn |
| 2002 | ISORC | A Component-Based Approach for Embedded Software Development. | I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn |
| 2001 | ISADS | Embedded Software Development Challenges in the Digital Signal Processing Era. | John Linn |
| 2001 | ICTAI | An On-Line Repository for Embedded Software. | I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn |
| 2001 | ISSRE | Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. | Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao |
| 1997 | MMSP | A variable-rate CELP coder for fast remote voicemail retrieval using a notebook computer. | Erdal Paksoy, Alan McCree, Vishu Viswanathan, John Linn |