Executable assertion development for the distributed parallel environment. - Bruce M. McMillin; Lionel M. Ni (COMPSAC, 1988)

Expectations for associative-commutative unification speedups in a multicomputer environment. - Ralph W. Wilkerson; Bruce M. McMillin (COMPSAC, 1989)

PAFMV-Pairwise Asynchronous Multigrid. - Steve Franks; Bruce M. McMillin; Rashi Khanna (ICPP (1), 1990)

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 (IJCNN, 1990)

Fault-tolerant parallel matrix multiplication with one iteration fault detection latency. - Chul-Eui Hong; Bruce M. McMillin (COMPSAC, 1991)

Fault-tolerant concurrent branch and bound algorithms derived from program verification. - Hanan Lutfiyya; Aggie Y. Sun; Bruce M. McMillin (COMPSAC, 1992)

A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability. - Junlin Liu; Bruce M. McMillin (ICPP (3), 1992)

DAWGS - A Distributed Compute Server Utilizing Idle Workstations. - Henry Clark; Bruce M. McMillin (J. Parallel Distributed Comput., 1992)

SMILI: Visualization of asynchronous massively parallel programs. - Rashi Khanna; Bruce M. McMillin (J. Syst. Softw., 1992)

Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm. - Bruce M. McMillin; Lionel M. Ni (IEEE Trans. Parallel Distributed Syst., 1992)

Fault-tolerant distributed deadlock detection/resolution. - Pei-yu Li; Bruce M. McMillin (COMPSAC, 1993)

Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. - Hanan Lutfiyya; Bruce M. McMillin; Alan Su (Formal Methods in Programming and Their Applications, 1993)

Parallel Implementation of a Recursive Least-Squares Neural Network Training Method on the Intel iPSC/2. - James Edward Steck; Bruce M. McMillin; K. Krishnamurthy; Gary G. Leininger (J. Parallel Distributed Comput., 1993)

An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes. - Jun-Lin Liu; Thomas J. Sager; Bruce M. McMillin (ICPADS, 1994)

Checking Program Proofs Made Eas. - Martina Schollmeyer; Bruce M. McMillin (COMPSAC, 1995)

Ensuring the satisfaction of a temporal specification at run-time. - Grace Tsai; Matt Insall; Bruce M. McMillin (ICECCS, 1995)

Relaxing Synchronization in Distributed Simulated Annealing. - Chul-Eui Hong; Bruce M. McMillin (IEEE Trans. Parallel Distributed Syst., 1995)

Run-time security evaluation: can we afford it? - Cristina Serban; Bruce M. McMillin (NSPW, 1996)

Wheels: An Automated Program Analysis Tool. - Aggie Y. Sun; Bruce M. McMillin (SEKE, 1996)

Run-Time Security Evaluation (RTSE) for Distributed Applications. - Cristina Serban; Bruce M. McMillin (S&P, 1996)

A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. - Martina Schollmeyer; Bruce M. McMillin (IEEE Trans. Parallel Distributed Syst., 1997)

Efficient run-time assurance in distributed systems through selection of executable assertions. - Martina Schollmeyer; Bruce M. McMillin (J. Syst. Softw., 2000)

Hardware/software co-design for power system test development. - Austin Armbruster; Matt Ryan; Xiaoqing Frank Liu; Ying Cheng; Bruce M. McMillin (WISER, 2004)

Power Transmission Control Using Distributed Max Flow. - Austin Armbruster; Michael R. Gosnell; Bruce M. McMillin; Mariesa L. Crow (COMPSAC (1), 2005)

Energy Balanced Broadcasting Through Delayed Intelligence. - Michael R. Gosnell; Ryan Albarelli; Maggie Xiaoyan Cheng; Bruce M. McMillin (ITCC (2), 2005)

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 (COMPSAC (1), 2006)

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 008; Xiaoqing Frank Liu; Bruce M. McMillin (COMPSAC (1), 2006)

Model Checking Control Communication of a FACTS Device. - David A. Cape; Bruce M. McMillin; James K. Townsend (ICPP Workshops, 2006)

Future Trends: Computing as a Core Discipline. - Bruce M. McMillin (COMPSAC (1), 2007)

Security of Information Flow in the Electric Power Grid. - Han Tang; Bruce M. McMillin (Critical Infrastructure Protection, 2007)

Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. - Yan Sun 008; Bruce M. McMillin; Xiaoqing Frank Liu; David A. Cape (QSIC, 2007)

Reliability Modeling for the Advanced Electric Power Grid. - Ayman Z. Faza; Sahra Sedigh; Bruce M. McMillin (SAFECOMP, 2007)

An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation. - Ryan C. Underwood; Bruce M. McMillin; Mariesa L. Crow (COMPSAC, 2008)

A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems. - Sojan Markose; Xiaoqing Frank Liu; Bruce M. McMillin (EUC (1), 2008)

Security Property Violation in CPS through Timing. - Han Tang; Bruce M. McMillin (ICDCS Workshops, 2008)

The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. - Ayman Z. Faza; Sahra Sedigh; Bruce M. McMillin (SAFECOMP, 2008)

Symbolic Reduction for High-Speed Power System Simulation. - William M. Siever; Daniel R. Tauritz; Ann Miller; Mariesa L. Crow; Bruce M. McMillin; Stanley Atcitty (Simul., 2008)

Model-Checking BNDC Properties in Cyber-Physical Systems. - Ravi Akella; Bruce M. McMillin (COMPSAC (1), 2009)

Dihomotopic Reduction Used in Deadlock Detection. - David A. Cape; Bruce M. McMillin (COMPSAC (1), 2009)

The Security Implication of Multiple Observers in a Distributed System. - Derek P. Ditch; Bruce M. McMillin (COMPSAC (2), 2009)

Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research. - Ayman Z. Faza; Sahra Sedigh; Bruce M. McMillin (COMPSAC (1), 2009)

EM Enforcing Information Flow Properties using Compensating Events. - Thoshitha T. Gamage; Bruce M. McMillin (HICSS, 2009)

Nondeducibility-Based Analysis of Cyber-Physical Systems. - Thoshitha T. Gamage; Bruce M. McMillin (Critical Infrastructure Protection, 2009)

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 (SAFECOMP, 2009)

Recursive Decomposition of Progress Graphs. - David A. Cape; Bruce M. McMillin; Benjamin W. Passer; Mayur Thakur (SSIRI, 2009)

Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation. - Thoshitha T. Gamage; Bruce M. McMillin; Thomas P. Roth (COMPSAC Workshops, 2010)

Environmental Obfuscation of a Cyber Physical System - Vehicle Example. - Jason Madden; Bruce M. McMillin; Anik Sinha (COMPSAC Workshops, 2010)

Information Flow Analysis of Energy Management in a Smart Grid. - Ravi Akella; Bruce M. McMillin (SAFECOMP, 2010)

Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. - Ayman Z. Faza; Sahra Sedigh; Bruce M. McMillin (SAFECOMP, 2010)

Analysis of information flow security in cyber-physical systems. - Ravi Akella; Han Tang; Bruce M. McMillin (Int. J. Crit. Infrastructure Prot., 2010)

Confidentiality Preserving Security Properties for Cyber-Physical Systems. - Thoshitha T. Gamage; Thomas P. Roth; Bruce M. McMillin (COMPSAC, 2011)

Information flow security in cyber-physical systems. - Thoshitha T. Gamage; Ravi Akella; Thomas P. Roth; Bruce M. McMillin (CSIIRW, 2011)

Invariants as a unified knowledge model for Cyber-Physical Systems. - Tamal Paul; Jonathan W. Kimball; Maciej J. Zawodniok; Thomas P. Roth; Bruce M. McMillin (SOCA, 2011)

CPS-CSH Cyber-Physical Analysis and Design. - Dale Fitch; Sahra Sedigh; Bruce M. McMillin; Ravi Akella (CRITIS, 2012)

The Effects of Network Link Unreliability for Leader Election Algorithm in a Smart Grid System. - Stephen Jackson; Bruce M. McMillin (CRITIS, 2012)

Breaking Nondeducible Attacks on the Smart Grid. - Thomas P. Roth; Bruce M. McMillin (CRITIS, 2012)

Verification and Protection of Confidentiality in an Advanced Smart Grid. - Bruce M. McMillin; Ravi Akella (HICSS, 2012)

A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing. - Michael R. Gosnell; Bruce M. McMillin (Critical Infrastructure Protection, 2012)

Privacy-Preserving Power Usage Control in the Smart Grid. - Chun Hu; Wei Jiang 026; Bruce M. McMillin (Critical Infrastructure Protection, 2012)

Modeling and reasoning about the security of drive-by-wire automobile systems. - Gerry Howser; Bruce M. McMillin (Int. J. Crit. Infrastructure Prot., 2012)

A Multiple Security Domain Model of a Drive-by-Wire System. - Gerry Howser; Bruce M. McMillin (COMPSAC, 2013)

Physical Attestation of Cyber Processes in the Smart Grid. - Thomas P. Roth; Bruce M. McMillin (CRITIS, 2013)

Modeling and verification of security properties for critical infrastructure protection. - Ravi Akella; Bruce M. McMillin (CSIIRW, 2013)

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 (ICCPS, 2013)

Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. - Sandeep Patil; Valeriy Vyatkin; Bruce M. McMillin (IECON, 2013)

Development of a smart-grid cyber-physical systems testbed. - Mark J. Stanovich; Isaac Leonard; Sanjeev K. Srivastava; Mischa Steurer; Thomas P. Roth; Stephen Jackson; Bruce M. McMillin (ISGT, 2013)

Mitigating Event Confidentiality Violations in Smart Grids: An Information Flow Security-Based Approach. - Thoshitha T. Gamage; Thomas P. Roth; Bruce M. McMillin; Mariesa L. Crow (IEEE Trans. Smart Grid, 2013)

Quantification of Information Flow in a Smart Grid. - Li Feng; Bruce M. McMillin (COMPSAC Workshops, 2014)

Adaptive Scheduling with Explicit Congestion Notification in a Cyber-Physical Smart Grid System. - Ashish Choudhari; Harini Ramaprasad; Sriram Chellappan; Bruce M. McMillin; Jonathan W. Kimball; Maciej J. Zawodniok (EUROMICRO-SEAA, 2014)

A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust. - Gerry Howser; Bruce M. McMillin (SERE, 2014)

A Survey on Zero-Knowledge Proofs. - Feng Li; Bruce M. McMillin (Adv. Comput., 2014)

Secure and threshold-based power usage control in smart grid environments. - Bharath K. Samanthula; Chun Hu; Wei Jiang 026; Bruce M. McMillin (Int. J. Parallel Emergent Distributed Syst., 2014)

Unified Invariants for Cyber-Physical Switched System Stability. - Tamal Paul; Jonathan W. Kimball; Maciej J. Zawodniok; Thomas P. Roth; Bruce M. McMillin; Sriram Chellappan (IEEE Trans. Smart Grid, 2014)

Information Flow Quantification Framework for Cyber Physical System with Constrained Resources. - Li Feng; Bruce M. McMillin (COMPSAC, 2015)

Distributed Intelligence in the Electric Smart Grid. - Bruce M. McMillin (COMPSAC, 2015)

Message from ECpE Symposium Organizing Committee. - Tiberiu Seceleanu; Rajesh Subramanyan; Cristina Seceleanu; Bruce M. McMillin (COMPSAC, 2015)

Towards formal verification of smart grid distributed intelligence: FREEDM case. - Sandeep Patil; Gulnara Zhabelova; Valeriy Vyatkin; Bruce M. McMillin (IECON, 2015)

Incremental Cost Consensus(ICC) and leaderless ICC implementations in FREEDM. - Li Feng; Bruce M. McMillin; Anthony Pérez-Santiago; Ziang Zhang (ISGT, 2015)

A Novel Flow Invariants-Based Approach to Microgrid Management. - Thoshitha T. Gamage; Yaxi Liu; Tu A. Nguyen; Xin Qiu 003; Bruce M. McMillin; Mariesa L. Crow (IEEE Trans. Smart Grid, 2015)

Messge from the ECPE Organizing Committee. - Tiberiu Seceleanu; Tiziana Margaria; Rajesh Subramanyan; Michele Bugliesi; Cristina Seceleanu; Bruce M. McMillin (COMPSAC, 2016)

WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology. - Fred Love; Bruce M. McMillin; Sivanesan Tulasidas; W. Balachandran (ICCPS, 2016)

Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach. - Fredrick Love; Bruce M. McMillin (COMPSAC (2), 2017)

Secure Fog Computing for Smart Living. - Bruce M. McMillin (COMPSAC (1), 2017)

Physical Attestation in the Smart Grid for Distributed State Verification. - Thomas P. Roth; Bruce M. McMillin (COMPSAC (1), 2017)

Cyber-Physical Security of a Chemical Plant. - Prakash Rao Dunaka; Bruce M. McMillin (HASE, 2017)

Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. - Anusha Thudimilla; Bruce M. McMillin (HASE, 2017)

Multiple Security Domain Model of a Vehicle in an Automated Platoon. - Uday Kanteti; Bruce M. McMillin (Critical Infrastructure Protection, 2017)

Application of Congestion Notifications in a Cyber-Physical System. - Stephen Jackson; Bruce M. McMillin (PRDC, 2017)

Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems. - Gerry Howser; Bruce M. McMillin (Computer, 2017)

Fog Computing for Smart Living. - Bruce M. McMillin; Tao Zhang 005 (Computer, 2017)

Cyber-Physical Security and Privacy in the Electric Smart Grid - Bruce M. McMillin; Thomas P. Roth (Morgan & Claypool Publishers, 2017)

Cyber-Physical Security of an Electric Microgrid. - Prashanth Palaniswamy; Bruce M. McMillin (PRDC, 2018)

An Approach for Formal Analysis of the Security of a Water Treatment Testbed. - Sai Sidharth Patlolla; Bruce M. McMillin; Sridhar Adepu; Aditya Mathur (PRDC, 2018)

Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains. - Matthew Wagner; Bruce M. McMillin (PRDC, 2018)

Software Engineering. - Bruce M. McMillin (Computer, 2018)

Introduction of a Hybrid Monitor to Cyber-Physical Systems. - Julius C. Aguma; Bruce M. McMillin (CoRR, 2018)

Physical Attestation in the Smart Grid for Distributed State Verification. - Thomas Roth; Bruce M. McMillin (IEEE Trans. Dependable Secur. Comput., 2018)

Comparison of Design-Centric and Data-Centric Methods for Distributed Attack Detection in Cyber-Physical Systems. - Jennifer L. Leopold; Bruce M. McMillin; Rachel Stiffler; Nathan Lutes (Critical Infrastructure Protection, 2020)

Distributed Bias Detection in Cyber-Physical Systems. - Simon Thougaard; Bruce M. McMillin (Critical Infrastructure Protection, 2020)

Cyber-Physical Security of Air Traffic Surveillance Systems. - Anusha Thudimilla; Bruce M. McMillin (Critical Infrastructure Protection, 2020)

An Efficient Blockchain Authentication Scheme for Vehicular Ad-Hoc Networks. - Matthew Wagner; Bruce M. McMillin (Critical Infrastructure Protection, 2020)

Introduction of a Hybrid Monitor for Cyber-Physical Systems. - Julius Ceasar Aguma; Bruce M. McMillin; Amelia Regan (SAI (3), 2020)

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 (COMPSAC, 2021)