| 2023 | ICST | Summary of Combinatorial methods for testing Internet of Things smart home systems. | Bernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker |
| 2006 | COMPSAC | COMPSAC Panel Session on Trustworthy Computing. | Ann Miller, John McLean, O. Sami Saydjari, Jeffrey M. Voas |
| 2006 | COMPSAC | Reliability and Fault Tolerance in Trust. | Jeffrey M. Voas |
| 2004 | COMPSAC | A Uniform Meta-Model for Mediating Formal Electronic Conferences. | Jia Zhang, Carl K. Chang, Jeffrey M. Voas |
| 2003 | COMPSAC | Challenges and Recent Advances in Developing Trustworthy Software-Based Systems. | Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert |
| 2001 | RE | Discovering Unanticipated Software Output Modes. | Jeffrey M. Voas |
| 2001 | SRDS | Why Is It So Hard to Predict Software System Trustworthiness from Software Component Trustworthiness?. | Jeffrey M. Voas |
| 1999 | COMPSAC | Can Generic Software Be Assured? | Jeffrey M. Voas |
| 1998 | COMPSAC | Certifying High Assurance Software. | Jeffrey M. Voas |
| 1998 | ISSRE | Does software reliability engineering (SRE) offer any benefits to mobile code's security woes? | Jeffrey M. Voas |
| 1997 | COMPSAC | Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis. | Jeffrey M. Voas |
| 1997 | ISSRE | Reducing uncertainty about common-mode failures. | Jeffrey M. Voas, Anup K. Ghosh, Frank Charron, Lora Kassab |
| 1997 | ISSRE | Panel: Qualifying The Reliability Of COTS Software Components. | Jeffrey M. Voas, Chuck Howell, Bill Everett |
| 1996 | SAFECOMP | Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them? | Jeffrey M. Voas, Frank Charron, Keith W. Miller |
| 1995 | ISSRE | Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input events. | Jeffrey M. Voas, Keith W. Miller |
| 1995 | SAFECOMP | An Automated Code-Based Fault-Tree Mitigation Technique. | Jeffrey M. Voas, Keith W. Miller |
| 1994 | ISSRE | Putting assertions in their place. | Jeffrey M. Voas, Keith W. Miller |
| 1994 | ISSTA | Views on Software Testability (Panel Abstract). | Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas |
| 1993 | CBMS | A software analysis technique for quantifying reliability in high-risk medical devices. | Jeffrey M. Voas, Keith W. Miller, Jeffery E. Payne |
| 1993 | ISSTA | Faults on Its Sleeve: Amplifying Software Reliability Testing. | Richard G. Hamlet, Jeffrey M. Voas |
| 1993 | SAFECOMP | Confidently Assessing a Zero Probability of Software Failure. | Jeffrey M. Voas, Christoph C. Michael, Keith W. Miller |
| 1992 | ISSRE | Improving the software development process using testability research. | Jeffrey M. Voas, Keith W. Miller |