| 2002 | ICSE | Specification-Level Integration of Simulation and Dependability Analysis. | Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi |
| 1998 | ISSRE | To maintain a reliable software specification. | J. Jenny Li, Joseph R. Horgan |
| 1998 | ISSRE | Applying design metrics to a large-scale software system. | W. Eric Wong, Joseph R. Horgan, Michael Syring, Wayne M. Zage, Dolores M. Zage |
| 1997 | ISSRE | Automatic simulation to predict software architecture reliability. | J. Jenny Li, Josephine Micallef, Joseph R. Horgan |
| 1997 | ISSRE | A study of effective regression testing in practice. | W. Eric Wong, Joseph R. Horgan, Saul London, Hiralal Agrawal |
| 1995 | ISSRE | Fault localization using execution slices and dataflow tests. | Hiralal Agrawal, Joseph R. Horgan, Saul London, W. Eric Wong |
| 1994 | ISSRE | Effect of test set size and block coverage on the fault detection effectiveness. | W. Eric Wong, Joseph R. Horgan, Saul London, Aditya P. Mathur |
| 1993 | ICSE | Reliable Software and Communication: Software Quality, Reliability, and Safety. | Siddhartha R. Dalal, Joseph R. Horgan, Jon R. Kettenring |
| 1993 | ISSRE | A coverage analysis tool for the effectiveness of software testing. | Michael R. Lyu, Joseph R. Horgan, Saul London |
| 1982 | POPL | Semantics and Correctness of a Query Language Translation. | E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, Pamela Surko |