John F. Berryman

Hybrid Diagnostics for the FalconSAT-5 Sciencecraft

Richard J. Adams, John F. Berryman, Paul G. Zetocha, 2011 .

Run-Time Verification and Validation for Safety-Critical Flight Control Systems

John D. Schierman, David G. Ward, John F. Berryman, 2008 .

Run-Time Assurance for Advanced Flight-Critical Control Systems *

John D. Schierman, John F. Berryman, Anthony M. Aiello, 2010 .

Analytical Charge Analysis for Two- and Three-Craft Coulomb Formations

John F. Berryman, H. Schaub, 2007 .

Necessary conditions for circularly-restricted static coulomb formations

John F. Berryman, Christopher D. Hall, Hanspeter Schaub, 2006 .

Analytical and Numerical Analysis of Static Coulomb Formations

John F. Berryman, 2005 .