Formal Verification of Prim’s Algorithm in SPARK, Brian S. Wheelhouse, Kenneth M. Hopkinson, Laura Humphrey
Faculty Publications

Improving Optimization of Convolutional Neural Networks through Parameter Fine-tuning, Nicholas C. Becherer, John M. Pecarina, Scott L. Nykl, Kenneth M. Hopkinson
Faculty Publications

Context Aware Routing Management Architecture for Airborne Networks, Mark Silvius, J. Addison Betances, Kenneth M. Hopkinson
Faculty Publications

Con-Resistant Trust for Improved Reliability in a Smart Grid Special Protection System, Crystal M. Shipman, Kenneth M. Hopkinson, Juan L. Lopez Jr.
Faculty Publications

Transferable Multiparty Computation with Applications to the Smart Grid, Michael R. Clark, Kenneth M. Hopkinson
Faculty Publications

A Trust-Management Toolkit for Smart-Grid Protection Systems, Jose E. Fadul, Kenneth M. Hopkinson, Todd R. Andel, Christopher A. Sheffield
Faculty Publications

Using Modeling and Simulation to Examine the Benefits of a Network Tasking Order, Matthew D. Compton, Kenneth M. Hopkinson, Gilbert L. Peterson, James T. Moore
Faculty Publications

Network Formation Using Ant Colony Optimization -- A Systematic Review, Steven C. Oimoen, Gilbert L. Peterson, Kenneth M. Hopkinson
Faculty Publications

Cyberspace Policy for Critical Infrastructures, Dorsey Wilkin, Richard Raines, Paul Williams, Kenneth M. Hopkinson
Faculty Publications