Combining unit-level symbolic execution and system-level concrete execution for testing NASA software CS Pǎsǎreanu, PC Mehlitz, DH Bushnell, K Gundy-Burlet, M Lowry, ... Proceedings of the 2008 international symposium on Software testing and …, 2008 | 377 | 2008 |
Physics of airfoil clocking in a high-speed axial compressor DJ Dorney, OP Sharma, KL Gundy-Burlet Turbo Expo: Power for Land, Sea, and Air 78620, V001T01A024, 1998 | 70 | 1998 |
Statistical hypoglycemia prediction F Cameron, G Niemeyer, K Gundy-Burlet, B Buckingham Journal of diabetes science and technology 2 (4), 612-621, 2008 | 63 | 2008 |
Integrated neural flight and propulsion control system J Kaneshige, K Gundy-Burlet, P Norvig | 60 | 2001 |
A survey of hot streak experiments and simulations DJ Dorney, KL Gundy-Burlet, DL Sondak International Journal of Turbo and Jet Engines 16 (1), 1-16, 1999 | 56 | 1999 |
Automatically finding the control variables for complex system behavior G Gay, T Menzies, M Davies, K Gundy-Burlet Automated Software Engineering 17, 439-468, 2010 | 50 | 2010 |
Hot-streak clocking effects in a 1-1/2 stage turbine DJ Dorney, K Gundy-Burlet Journal of propulsion and power 12 (3), 619-620, 1996 | 49 | 1996 |
Physics of airfoil clocking in axial compressors KL Gundy-Burlet, DJ Dorney Turbo Expo: Power for Land, Sea, and Air 78712, V004T14A058, 1997 | 47 | 1997 |
An adaptive critic approach to reference model adaptation K Krishnakumar, G Limes, K Gundy-Burlet, D Bryant AIAA Guidance, Navigation, and Control Conference and Exhibit, 5790, 2003 | 41 | 2003 |
Three-dimensional simulations of hot streak clocking in a 1-1/2 stage turbine KL Gundy-Burlet, DJ Dorney International Journal of Turbo and Jet Engines 14 (3), 133-144, 1997 | 40 | 1997 |
Investigation of airfoil clocking and inter-blade-row gaps in axial compressors K Gundy-Burlet, D Dorney, K Gundy-Burlet, D Dorney 33rd Joint Propulsion Conference and Exhibit, 3008, 1997 | 40 | 1997 |
Influence of 3D hot streaks on turbine heat transfer KL Gundy-Burlet, DJ Dorney Turbo Expo: Power for Land, Sea, and Air 78682, V001T03A075, 1997 | 38 | 1997 |
Two-dimensional computations of multi-stage compressor flows using azonal approach K GUNDY-BURLET, MAN RAI, R DRING 25th Joint Propulsion Conference, 2452, 1989 | 38 | 1989 |
Augmentation of an intelligent flight control system for a simulated C-17 aircraft K Gundy-Burlet, K Krishnakumar, G Limes, D Bryant Journal of Aerospace Computing, Information, and Communication 1 (12), 526-542, 2004 | 36 | 2004 |
Parametric analysis of antares re-entry guidance algorithms using advanced test generation and data analysis K Gundy-Burlet, J Schumann, T Menzies, T Barrett Proc. iSAIRAS 2008, 2008 | 28 | 2008 |
Effects of radial location on the migration of hot streaks in a turbine KL Gundy-Burlet, DJ Dorney Journal of Propulsion and Power 16 (3), 377-387, 2000 | 27 | 2000 |
Temporally and spatially resolved flow in a two-stage axial compressor: Part 2—Computational assessment KL Gundy-Burlet, MM Rai, RC Stauter, RP Dring | 25 | 1991 |
Control reallocation strategies for damage adaptation in transport class aircraft K Gundy-Burlet, K Krishnakumar, G Limes, D Bryant AIAA Guidance, Navigation, and Control Conference and Exhibit, 5642, 2003 | 24 | 2003 |
Hot streak clocking effects in a 1-1/2 stage turbine DJ Dorney, K Gundy-Burlet Turbo Expo: Power for Land, Sea, and Air 78781, V001T01A059, 1995 | 23 | 1995 |
Intelligent control approaches for aircraft applications K KrishnaKumar, K Gundy-Burlet Proceedings of the JANAFF Interagency Propulsion Committee Meeting, 2002 | 21 | 2002 |