• Formal Approaches: SECURITY and RELIABILITY Analysis

• Verifying Noninterference in a Cyber-Physical System - The Advanced Electric Power Grid, Yan Sun, Bruce McMillin, Xiaoqing (Frank) Liu, David Cape, Proceedings of the Seventh International Conference on Quality Software (QSIC 07), 11-12 October 2007, Portland, OR.
• Reliability Modeling of the Power GridAyman Z. Faza, Sahra Sedigh, and Bruce M. McMillin, Proceedings of SAFECOMP 2007 26th International Conference on Computer Safety, Reliability and Security, 18 - 21 September 2007, Nuremberg, Germany.
• Inductive versus Recursive Partitioning of Progress Graphs David Cape, Bruce McMillin, Benjamin Passer, Mayur Thakur. July 16, 2007.
• Use of Max-Flow on FACTS devices. A. Lininger B. McMillin M. Crow B. Chowdhury, 2007 North American Power Symposium.
• Analysis of the security of information flow in the Advanced Electric Power Grid using FACTS Han Tang and Bruce M. McMillin (Proceedings of the First IFIP WG 11.10 International Conference on Critical Infrastructure Protection, Dartmouth, NH, March 19-21, 2007, Critical Infrastructure Protection: Issues and Solutions (Springer, 2007)).
• Model Checking Control Communication of a FACTS Device David A. Cape, Bruce M. McMillin, and James K. Townsend (Proceedings of the 3rd International Workshop on Embedded Computing (EC-06), Columbus, OH, August 14, 2006, pp. 391-396 )
• Creating Cascading Failure Scenarios in Interconnected Power Systems Badrul H. Chowdhury and Sushant Barave, IEEE Power Engineering Society General Meeting, Montreal, Canada, June 18-22, 2006

• Hardware/Software Co-Design and Co-Analysis

• 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, and Ying Cheng (30th Annual IEEE International Computers Software and Applications Conference. September 2006, Chicago, IL, pp. 273-280)
• A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co- Yan Sun, Xiaoqing (Frank) Liu, and Bruce M. McMillin (30th Annual IEEE International Computers Software and Applications Conference. September 2006, Chicago, IL, pp. 281-290)
• A Systematic Framework for Structured Object Oriented Security Requirements Analysis Sojan Markose, Xiaoqing (Frank) Liu, and Bruce McMillin
• Structured Object-oriented Co-analysis/Co-design of Hardware/Software for the FACTS Powers System M. Ryan, S. Markose, Y. Cheng, F. Liu, and B. McMillin (29th Annual Computers, Software, and Applications Conference)
• Hardware/software Co-design for Power System Test Development "Proceeding of the 2004 ACM workshop on Interdisciplinary software engineering research," 2004, pp. 83-88, with Austin Armbruster, Matt Ryan, Frank Liu, Ying Cheng, and Bruce McMillin

Integrated Cyber-Physical Power System Design, Operation, and Control

• An Open Framework for Highly Concurrent Hardware-In-The-Loop Simulation Ryan C. Underwood (supervised by Bruce McMillin)

• An Approach to Improving the Physical and Cyber Security of a Bulk Power System with FACTS Mariesa Crow, Bruce McMillin, and Stan Atcitty
• UPFC Control Employing Gradient Descent Search W. Siever, R. P. Kalyani, M. L. Crow, D. R. Tauritz
• Improving grid fault tolerance by optimal control of FACTS devices W. Siever, A. Miller, D. R. Tauritz
• Power Transmission Control Using Max-Flow, Austin Armbruster, Mike Gosnell, Bruce McMillin, amd Mariesa Crow (29th Annual International Computers Software and Applications Conference.)
• Evolutionary Optimization of Flexible A/C Transmission System Device Placement for Increasing Power Grid Reliability, John Chaloupek, Daniel R. Tauritz, B. McMillin and M.L. Crow. In Proceedings of FEA 2005, the 6th International Workshop on Frontiers in Evolutionary Algorithms, pages 516--519, Salt Lake City, Utah, July 21-26, 2005.
• Improving Grid Fault Tolerance by Optimal Control of FACTS Devices, William M. Siever, Ann Miller and Daniel R. Tauritz. Improving Grid Fault Tolerance by Optimal Control of FACTS Devices. International Journal of Innovations in Energy Systems and Power, 2(1):44--49, June 2007.
• The Maximum Flow Algorithm Applied to the Placement and Steady State Control of FACTS Devices, Austin Armbruster, Mike Gosnell, Bruce McMillin and Mariesa Crow (Proceedings of the 2005 North American Power Symposium and Submitted to the IEEE Transactions on Power Systems)
• A Reconfigurable FACTS System for University Laboratories Dong, L. Crow, M.L. Yang, Z. Shen, C. Zhang, L. Atcitty, S. (IEEE Transactions on Power Systems, Feb. 2004, Volume: 19 , Issue: 1, page(s): 120 - 128)
•  Controlling Power Using FACTs Devices and the Maximum Flow Algorithm, Austin Armbruster, Bruce McMillin and Mariesa Crow, Proc. 5th International Conference on Power Systems Operation and Planning, ICPSOP-2002, Abuja, Nigeria December 16-18, 2002.
• Fault Tolerance and Security for Power Transmission System Configuration with FACTS Devices, Bruce McMillin and Mariesa Crow, "Proceedings of 2000 North American Power Symposium", pp. 5.1-5.9, October, 2000