| 2022 | ISSRE | Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems. | Doron Drusinsky, James Bret Michael, Matthew Litton |
| 2020 | ICMLA | Reducing Artifacts in GAN Audio Synthesis. | Nathan Thiem, Marko Orescanin, James Bret Michael |
| 2011 | SERVICES | Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. | Jason S. Bolin, James Bret Michael, Man-tak Shing |
| 2010 | GRC | Removing the Boundaries: Steps Toward a Cloud Nirvana. | Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
| 2010 | GRC | Cloud Computing for Large-Scale Weapon Systems. | Kevin D. Foster, John J. Shea, James Bret Michael, Thomas W. Otani, Loren E. Peitso, Man-tak Shing |
| 2005 | SMC | Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems. | Mikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen |
| 2005 | SMC | Formal methods in a system-of-systems development. | Dale Scott Caffall, James Bret Michael |
| 2005 | SMC | Architectural framework for a system-of-systems. | Dale Scott Caffall, James Bret Michael |
| 2005 | RSP | Test Automation and Safety Assessment in Rapid Systems Prototyping. | Mikhail Auguston, James Bret Michael, Man-tak Shing |
| 2004 | ISI | THEMIS: Threat Evaluation Metamodel for Information Systems. | Csilla Farkas, Thomas C. Wingfield, James Bret Michael, Duminda Wijesekera |
| 2004 | RSP | Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. | James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt |
| 2003 | COMPSAC | Homeland Security's Cyber Component: A Survey of Legal Issues. | James Bret Michael, Thomas C. Wingfield, Steven E. Roberts |
| 2003 | COMPSAC | Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System. | James Bret Michael, Thomas C. Wingfield, Duminda Wijesekera |
| 2003 | SEC | An Experiment in Software Decoy Design. | James Bret Michael, Georgios Fragkos, Mikhail Auguston |
| 2003 | SEC | Lawful Cyber Decoy Policy. | James Bret Michael, Thomas C. Wingfield |
| 2002 | COMPSAC | On the Response Policy of Software Decoys: Conducting Software-Based Deception in the Cyber Battlespace. | James Bret Michael |
| 2002 | ISSRE | Metrics for Measuring the Effectiveness of Software-Testing Tools. | James Bret Michael, Bernard J. Bossuyt, Byron B. Snyder |
| 2000 | DBSEC | Trust Management in Distributed Databases. | James Bret Michael, Leonard T. Gaines |
| 1999 | NSPW | Secure group management in large distributed systems: what is a group and what does it do? | John McHugh, James Bret Michael |
| 1993 | NSPW | Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy. | James Bret Michael, Edgar H. Sibley, David C. Littman |
| 1992 | DBSEC | On the Axiomatization of Security Policy: Some Tentative Observations about Logic Representation. | James Bret Michael, Edgar H. Sibley, Richard F. Baum, Fu Li |
| 1991 | DBSEC | Use of an Experimental Policy Workbench: Description and Preliminary Results. | Edgar H. Sibley, James Bret Michael, Richard L. Wexelblat |