Bruce H. Krogh

	2009
46		Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans: Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179
	2008
45		James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh: Control software model checking using bisimulation functions for nonlinear systems. CDC 2008: 4024-4029
44		Ajinkya Bhave, Bruce H. Krogh: Performance bounds on state-feedback controllers with network delay. CDC 2008: 4608-4613
43		Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200
42		Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh: Verification of Supervisory Control Software Using State Proximity and Merging. HSCC 2008: 344-357
41		James E. Weimer, Bruno Sinopoli, Bruce H. Krogh: A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. ICDCS Workshops 2008: 501-506
	2007
40		Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm: Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84
39		Bruce H. Krogh: From Analysis to Design. FORMATS 2007: 4
38		Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke: Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC 2007: 287-300
37		James E. Weimer, Bruce H. Krogh: Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574
	2006
36		Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar: Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262
35		Zhi Han, Bruce H. Krogh: Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. HSCC 2006: 287-301
34		Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler: Time Domain Verification of Oscillator Circuit Properties. Electr. Notes Theor. Comput. Sci. 153(3): 9-22 (2006)
33		Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha: High-Confidence Medical Device Software and Systems. IEEE Computer 39(4): 33-38 (2006)
32		Ansgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. Int. J. Found. Comput. Sci. 17(4): 885-902 (2006)
31		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: VigilNet: An integrated sensor network system for energy-efficient surveillance. TOSN 2(1): 1-38 (2006)
	2005
30		Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257
29		Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler: An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385
28		Haotian Zhang, José M. F. Moura, Bruce H. Krogh: Estimation in sensor networks: a graph approach. IPSN 2005: 203-209
27		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: Lightweight detection and classification for wireless sensor networks in realistic environments. SenSys 2005: 205-217
26		Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce H. Krogh, Diana Marculescu, Priya Narasimhan, JoAnn M. Paul, Ragunathan Rajkumar, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste, Donald E. Thomas, Chenxi Wang: Undergraduate embedded system education at Carnegie Mellon. ACM Trans. Embedded Comput. Syst. 4(3): 500-528 (2005)
25		Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu: Hierarchical Adaptive Dynamic Power Management. IEEE Trans. Computers 54(4): 409-420 (2005)
	2004
24		Ansgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277
23		Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu: Hierarchical Adaptive Dynamic Power Management. DATE 2004: 136-141
22		Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar: Towards formal verification of analog designs. ICCAD 2004: 210-217
21		Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar: Managing Verification Activities Using SVM. ICFEM 2004: 61-75
20		Tian He, Sudha Krishnamurthy, John A. Stankovic, Tarek F. Abdelzaher, Liqian Luo, Radu Stoleru, Ting Yan, Lin Gu, Jonathan Hui, Bruce H. Krogh: Energy-Efficient Surveillance System Using Wireless Sensor Networks. MobiSys 2004
	2003
19		James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297
18		Olaf Stursberg, Bruce H. Krogh: Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497
17		Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh: Sentry-Based Power Management in Wireless Sensor Networks. IPSN 2003: 458-472
16		Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald: Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207
15		Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14(4): 583-604 (2003)
	2002
14		Oded Maler, Bruce H. Krogh, Moez Mahfoudh: On Control with Bounded Computational Resources. FTRTFT 2002: 147-164
	2001
13		José M. E. González, Antonio E. C. da Cunha, José E. R. Cury, Bruce H. Krogh: Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. HSCC 2001: 247-260
12		Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis: Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6
	2000
11		Nancy A. Lynch, Bruce H. Krogh: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings Springer 2000
	1999
10		Bruce H. Krogh: Approximating Hybrid System Dynamics for Analysis and Control (Abstract). HSCC 1999: 2
9		Alongkrit Chutinan, Bruce H. Krogh: Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90
8		Bruce H. Krogh: Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). ICATPN 1999: 106
	1998
7		Enrique D. Ferreira, Bruce H. Krogh: Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. HSCC 1998: 126-142
	1997
6		Alongkrit Chutinan, Bruce H. Krogh: Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems 1997: 16-37
5		Enrique D. Ferreira, Bruce H. Krogh: Controller Scheduling Using Neural Networks: Implementation and Experimental Results. Hybrid Systems 1997: 86-99
	1995
4		Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig: Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. EUROSIM 1995: 421-426
3		Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury: Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. Hybrid Systems 1995: 475-484
	1990
2		Reg G. Willson, Bruce H. Krogh: Petri Net Tools for the Specification and Analysis of Discrete Controllers. IEEE Trans. Software Eng. 16(1): 39-50 (1990)
	1982
1		Bruce H. Krogh, H. Vincent Poor: The segment method as an alternative to minimax in hypothesis testing. Inf. Sci. 27(1): 9-37 (1982)

Coauthor Index

1	Tarek F. Abdelzaher	[20] [27] [31]
2	Bill Aldrich	[21]
3	Ajinkya Bhave	[44]
4	Qing Cao	[27] [31]
5	Howie Choset	[26]
6	Alongkrit Chutinan	[6] [9]
7	Edmund M. Clarke	[15] [16] [30] [38] [42]
8	Rance Cleaveland	[33]
9	Darren D. Cofer	[40]
10	Antonio E. C. da Cunha	[13]
11	José E. R. Cury	[3] [13]
12	Alexandre Donzé	[45] [46]
13	Sebastian Engell	[4]
14	Ansgar Fehnker	[15] [16] [21] [24] [30] [32]
15	Peter H. Feiler	[21] [29]
16	Enrique D. Ferreira	[5] [7]
17	Goran Frehse	[34] [36] [43]
18	Rajeev Gandhi	[26]
19	José M. E. González	[13]
20	Lin Gu	[20] [27] [31]
21	Smriti Gupta	[22]
22	Zhi Han	[15] [16] [21] [35]
23	John Hatcliff	[33]
24	Tian He	[20] [27] [31]
25	Thomas A. Henzinger	[12]
26	Jonathan Hui	[17] [20] [31]
27	Sumit Kumar Jha	[30] [38] [43]
28	Dong Jia	[27]
29	James Kapinski	[19] [42] [45]
30	Philip Koopman (Phil Koopman, Philip J. Koopman Jr.)	[26]
31	Stefan Kowalewski	[4]
32	Sudha Krishnamurthy	[20] [31]
33	Rajesh Kumar	[29]
34	Insup Lee	[33]
35	Peter Lee	[33]
36	Flavio Lerda	[42] [45]
37	Eric Lim	[21]
38	Liqian Luo	[20] [27] [31]
39	Nancy A. Lynch	[11]
40	Moez Mahfoudh	[14]
41	Hitashyam Maka	[45]
42	Oded Maler	[12] [14] [19] [34]
43	Diana Marculescu	[26]
44	Radu Marculescu	[23] [25]
45	Steven P. Miller	[40]
46	Manfred Morari	[12]
47	José M. F. Moura	[28]
48	Priya Narasimhan	[26]
49	Toshihiko Niinomi	[3]
50	Joël Ouaknine	[15]
51	Constantinos C. Pantelides (Costas C. Pantelides)	[12]
52	George J. Pappas	[12] [33]
53	JoAnn M. Paul	[26]
54	H. Vincent Poor (Harold Vincent Poor)	[1]
55	Jörg Preußig	[4]
56	Akshay Rajhans	[46]
57	Ragunathan Rajkumar	[26]
58	Zhiyuan Ren	[17] [23] [25]
59	Harvey Rubin	[33]
60	Rob A. Rutenbar	[22] [34] [36]
61	Alberto L. Sangiovanni-Vincentelli	[12]
62	Lui Sha	[33]
63	Daniel P. Siewiorek	[26]
64	Tunc Simsec	[12]
65	Bruno Sinopoli	[41]
66	Shiva Sivashankar	[21]
67	Asim Smailagic	[26]
68	John A. Stankovic	[20] [27] [31]
69	Peter Steenkiste	[26]
70	Radu Stoleru	[20] [31]
71	Walter Storm	[40]
72	Olaf Stursberg	[15] [16] [18] [19]
73	Janos Sztipanovits	[12]
74	Michael Theobald	[15] [16]
75	Donald E. Thomas	[26]
76	Ajay Tirumala	[27]
77	Stavros Tripakis	[12]
78	Pascal Vicaire	[27] [31]
79	Silke Wagner	[45]
80	Chenxi Wang	[26]
81	James E. Weimer	[37] [38] [41]
82	Michael W. Whalen	[40]
83	Reg G. Willson	[2]
84	Ting Yan	[20] [27] [31]
85	Haotian Zhang	[28]
86	Gang Zhou	[31]

Colors in the list of coauthors