| 2015 | EMSOFT | Forward invariant cuts to simplify proofs of safety. | Nikos Archiga, James Kapinski, Jyotirmoy V. Deshmukh, Andr Platzer, Bruce H. Krogh |
| 2011 | ICCAD | Formal verification of phase-locked loops using reachability analysis and continuization. | Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi |
| 2009 | RTSS | Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. | James E. Weimer, Bruno Sinopoli, Bruce H. Krogh |
| 2007 | ACC | A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems. | Rajesh Kumar, Bruce H. Krogh |
| 2007 | FMICS | Integration of Formal Analysis into a Model-Based Software Development Process. | Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm |
| 2006 | DATE | Verifying analog oscillator circuits using forward/backward abstraction refinement. | Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar |
| 2006 | ICASSP | Inner Source Identification for Field Estimation in Wireless Sensor Networks. | Haotian Zhang, Bruce H. Krogh, Jos M. F. Moura |
| 2005 | SENSYS | Lightweight detection and classification for wireless sensor networks in realistic environments. | Lin Gu, Dong Jia, Pascal Vicaire, Ting Yan, Liqian Luo, Ajay Tirumala, Qing Cao, Tian He, John A. Stankovic, Tarek F. Abdelzaher, Bruce H. Krogh |
| 2004 | ATVA | Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. | Ansgar Fehnker, Bruce H. Krogh |
| 2004 | DATE | Hierarchical Adaptive Dynamic Power Management. | Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu |
| 2004 | ICCAD | Towards formal verification of analog designs. | Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar |
| 2004 | ICFEM | Managing Verification Activities Using SVM. | Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar |
| 2004 | Mobisys | Energy-Efficient Surveillance System Using Wireless Sensor Networks. | Tian He, Sudha Krishnamurthy, John A. Stankovic, Tarek F. Abdelzaher, Liqian Luo, Radu Stoleru, Ting Yan, Lin Gu, Jonathan Hui, Bruce H. Krogh |
| 2003 | TACAS | Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |
| 1990 | ICRA | The use of simulated annealing to solve the mobile manipulator path planning problem. | Wayne F. Carriker, Pradeep K. Khosla, Bruce H. Krogh |
| 1990 | ICRA | Dynamic steering control of conventionally-steered mobile robots. | Dai Feng, Bruce H. Krogh |
| 1989 | ICRA | The servo-control system for an omnidirectional mobile robot. | Dai Feng, Mark B. Friedman, Bruce H. Krogh |
| 1987 | ICRA | Hierarchical control structures for multi-cell flexible assembly system co-ordination. | Ram Akella, Bruce H. Krogh |
| 1987 | ICRA | Essentially decision free Petri nets for real-time resource allocation. | Bruce H. Krogh, Ramavarapu S. Sreenivas |
| 1986 | ICRA | Models for simulation and discrete control of manufacturing systems. | Carolyn L. Beck, Bruce H. Krogh |
| 1986 | ICRA | Integrated path planning and dynamic steering control for autonomous vehicles. | Bruce H. Krogh, Charles E. Thorpe |
| 1985 | ICRA | Kinematics and open-loop control of an ilonator-based mobile platform. | David J. Daniel, Bruce H. Krogh, Mark B. Friedman |