| 2011 |
|---|
| 11 | 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. ICCAD 2011, 659-666. Web SearchBibTeXDownload |
| 2009 |
|---|
| 10 | An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave. ECEASST (21) (2009). Web SearchBibTeXDownload |
| 2008 |
|---|
| 9 | Verification of Supervisory Control Software Using State Proximity and Merging. Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh. HSCC 2008, 344-357. Web SearchBibTeXDownload |
| 2007 |
|---|
| 8 | Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke. HSCC 2007, 287-300. Web SearchBibTeXDownload |
| 2006 |
|---|
| 7 | VigilNet: An integrated sensor network system for energy-efficient surveillance. Tian He, Sudha Krishnamurthy, Liqian Luo, Ting Yan, Lin Gu, Radu Stoleru, Gang Zhou, Qing Cao, Pascal Vicaire, John A. Stankovic, Tarek F. Abdelzaher, Jonathan Hui, Bruce H. Krogh. TOSN (2): 1-38 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 6 | Refining Abstractions of Hybrid Systems Using Counterexample Fragments. Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh. HSCC 2005, 242-257. Web SearchBibTeXDownload |
| 5 | 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. SenSys 2005, 205-217. Web SearchBibTeXDownload |
| 2004 |
|---|
| 4 | 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. MobiSys 2004. Web SearchBibTeX |
| 2003 |
|---|
| 3 | Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald. Int. J. Found. Comput. Sci. (14): 583-604 (2003). Web SearchBibTeXDownload |
| 2 | Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald. TACAS 2003, 192-207. Web SearchBibTeXDownload |
| 1982 |
|---|
| 1 | The segment method as an alternative to minimax in hypothesis testing. Bruce H. Krogh, H. Vincent Poor. Inf. Sci. (27): 9-37 (1982). Web SearchBibTeXDownload |
