Karen Gundy-Burlet

Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

Corina S. Păsăreanu, Peter Mehlitz, David Bushnell et al. · 2008 · 279 citations

Software Maintenance, Java Pathfinder Model, Engineering +25

Statistical Hypoglycemia Prediction

Fraser Cameron, Günter Niemeyer, Karen Gundy-Burlet et al. · Journal of Diabetes Science and Technology · 2008 · 61 citations · Full text

Integrated neural flight and propulsion control system

Karen Gundy-Burlet, John Kaneshige · AIAA Guidance, Navigation, and Control Conference and Exhibit · 2001 · 61 citations

Propulsion Control System, Engineering, Aerospace Engineering +14

An Adaptive Critic Approach to Reference Model Adaptation

Kalmanje Krishnakumar, Greg Limes, Karen Gundy-Burlet et al. · AIAA Guidance, Navigation, and Control Conference and Exhibit · 2003 · 38 citations

Engineering, Machine Learning, Neural Network +17

Automatically finding the control variables for complex system behavior

Gregory Gay, Tim Menzies, Misty Davies et al. · Automated Software Engineering · 2010 · 36 citations

Control Method, Control Strategy, Engineering +7