| 2021 | COMPSAC | Discriminative Pattern Mining for Runtime Security Enforcement of Cyber-Physical Point-of-Care Medical Technology. | Fred Love, Jennifer L. Leopold, Bruce M. McMillin, Fei Su |
| 2018 | PRDC | Cyber-Physical Security of an Electric Microgrid. | Prashanth Palaniswamy, Bruce M. McMillin |
| 2018 | PRDC | An Approach for Formal Analysis of the Security of a Water Treatment Testbed. | Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur |
| 2018 | PRDC | Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains. | Matthew Wagner, Bruce M. McMillin |
| 2017 | COMPSAC | Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach. | Fredrick Love, Bruce M. McMillin |
| 2017 | COMPSAC | Secure Fog Computing for Smart Living. | Bruce M. McMillin |
| 2017 | COMPSAC | Physical Attestation in the Smart Grid for Distributed State Verification. | Thomas P. Roth, Bruce M. McMillin |
| 2017 | PRDC | Application of Congestion Notifications in a Cyber-Physical System. | Stephen Jackson, Bruce M. McMillin |
| 2016 | COMPSAC | Messge from the ECPE Organizing Committee. | Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin |
| 2015 | COMPSAC | Information Flow Quantification Framework for Cyber Physical System with Constrained Resources. | Li Feng, Bruce M. McMillin |
| 2015 | COMPSAC | Distributed Intelligence in the Electric Smart Grid. | Bruce M. McMillin |
| 2015 | COMPSAC | Message from ECpE Symposium Organizing Committee. | Tiberiu Seceleanu, Rajesh Subramanyan, Cristina Seceleanu, Bruce M. McMillin |
| 2015 | IECON | Towards formal verification of smart grid distributed intelligence: FREEDM case. | Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin |
| 2014 | COMPSAC | Quantification of Information Flow in a Smart Grid. | Li Feng, Bruce M. McMillin |
| 2013 | COMPSAC | Stability of a Cyber-physical Smart Grid System Using Cooperating Invariants. | Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan |
| 2013 | COMPSAC | A Multiple Security Domain Model of a Drive-by-Wire System. | Gerry Howser, Bruce M. McMillin |
| 2013 | CRITIS | Physical Attestation of Cyber Processes in the Smart Grid. | Thomas P. Roth, Bruce M. McMillin |
| 2013 | IECON | Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. | Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin |
| 2012 | CRITIS | CPS-CSH Cyber-Physical Analysis and Design. | Dale Fitch, Sahra Sedigh, Bruce M. McMillin, Ravi Akella |
| 2012 | CRITIS | The Effects of Network Link Unreliability for Leader Election Algorithm in a Smart Grid System. | Stephen Jackson, Bruce M. McMillin |
| 2012 | CRITIS | Breaking Nondeducible Attacks on the Smart Grid. | Thomas P. Roth, Bruce M. McMillin |
| 2011 | COMPSAC | Confidentiality Preserving Security Properties for Cyber-Physical Systems. | Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin |
| 2010 | COMPSAC | Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation. | Thoshitha T. Gamage, Bruce M. McMillin, Thomas P. Roth |
| 2010 | COMPSAC | Environmental Obfuscation of a Cyber Physical System - Vehicle Example. | Jason Madden, Bruce M. McMillin, Anik Sinha |
| 2010 | SAFECOMP | Information Flow Analysis of Energy Management in a Smart Grid. | Ravi Akella, Bruce M. McMillin |
| 2010 | SAFECOMP | Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2009 | COMPSAC | Model-Checking BNDC Properties in Cyber-Physical Systems. | Ravi Akella, Bruce M. McMillin |
| 2009 | COMPSAC | Dihomotopic Reduction Used in Deadlock Detection. | David A. Cape, Bruce M. McMillin |
| 2009 | COMPSAC | The Security Implication of Multiple Observers in a Distributed System. | Derek P. Ditch, Bruce M. McMillin |
| 2009 | COMPSAC | Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research. | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2009 | SAFECOMP | Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2008 | COMPSAC | An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation. | Ryan C. Underwood, Bruce M. McMillin, Mariesa L. Crow |
| 2008 | EUC | A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems. | Sojan Markose, Xiaoqing Frank Liu, Bruce M. McMillin |
| 2008 | SAFECOMP | The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2007 | COMPSAC | Future Trends: Computing as a Core Discipline. | Bruce M. McMillin |
| 2007 | SAFECOMP | Reliability Modeling for the Advanced Electric Power Grid. | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2006 | COMPSAC | An Instance-Based Structured Object Oriented Method for Co-analysis/Co-design of Concurrent Embedded Systems. | Matt Ryan, Sule Simsek, Xiaoqing Frank Liu, Bruce M. McMillin, Ying Cheng |
| 2006 | COMPSAC | A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems. | Yan Sun, Xiaoqing Frank Liu, Bruce M. McMillin |
| 2005 | COMPSAC | Power Transmission Control Using Distributed Max Flow. | Austin Armbruster, Michael R. Gosnell, Bruce M. McMillin, Mariesa L. Crow |
| 1996 | NSPW | Run-time security evaluation: can we afford it? | Cristina Serban, Bruce M. McMillin |
| 1996 | SEKE | Wheels: An Automated Program Analysis Tool. | Aggie Y. Sun, Bruce M. McMillin |
| 1996 | SP | Run-Time Security Evaluation (RTSE) for Distributed Applications. | Cristina Serban, Bruce M. McMillin |
| 1995 | COMPSAC | Checking Program Proofs Made Eas. | Martina Schollmeyer, Bruce M. McMillin |
| 1995 | ICECCS | Ensuring the satisfaction of a temporal specification at run-time. | Grace Tsai, Matt Insall, Bruce M. McMillin |
| 1994 | ICPADS | An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes. | Jun-Lin Liu, Thomas J. Sager, Bruce M. McMillin |
| 1993 | COMPSAC | Fault-tolerant distributed deadlock detection/resolution. | Pei-yu Li, Bruce M. McMillin |
| 1992 | COMPSAC | Fault-tolerant concurrent branch and bound algorithms derived from program verification. | Hanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin |
| 1992 | ICPP | A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability. | Junlin Liu, Bruce M. McMillin |
| 1991 | COMPSAC | Fault-tolerant parallel matrix multiplication with one iteration fault detection latency. | Chul-Eui Hong, Bruce M. McMillin |
| 1990 | ICPP | PAFMV-Pairwise Asynchronous Multigrid. | Steve Franks, Bruce M. McMillin, Rashi Khanna |
| 1990 | IJCNN | Parallel implementation of a recursive least squares neural network training method on the Intel iPSC/2. | James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, M. R. Ashouri, Gary G. Leininger |
| 1989 | COMPSAC | Expectations for associative-commutative unification speedups in a multicomputer environment. | Ralph W. Wilkerson, Bruce M. McMillin |
| 1989 | ICDCS | Reliable distributed sorting through the application-oriented fault tolerance paradigm. | Bruce M. McMillin, Lionel M. Ni |
| 1988 | COMPSAC | Executable assertion development for the distributed parallel environment. | Bruce M. McMillin, Lionel M. Ni |