Bruce H. Krogh Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Donzé, Bruce H. Krogh, Akshay Rajhans: Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames E. Weimer, Bruno Sinopoli, Bruce H. Krogh: Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. IEEE Real-Time Systems Symposium 2009: 333-342
2008
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjinkya Bhave, Bruce H. Krogh: Performance bounds on state-feedback controllers with network delay. CDC 2008: 4608-4613
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoran Frehse, Sumit Kumar Jha, Bruce H. Krogh: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh: Verification of Supervisory Control Software Using State Proximity and Merging. HSCC 2008: 344-357
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce H. Krogh: From Analysis to Design. FORMATS 2007: 4
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke: Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC 2007: 287-300
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames E. Weimer, Bruce H. Krogh: Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574
2006
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoran Frehse, Bruce H. Krogh, Rob A. Rutenbar: Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhi Han, Bruce H. Krogh: Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. HSCC 2006: 287-301
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoran 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)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInsup 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)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnsgar 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)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTian 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnsgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajesh Kumar, Bruce H. Krogh, Peter H. Feiler: An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaotian Zhang, José M. F. Moura, Bruce H. Krogh: Estimation in sensor networks: a graph approach. IPSN 2005: 203-209
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip 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)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyuan Ren, Bruce H. Krogh, Radu Marculescu: Hierarchical Adaptive Dynamic Power Management. IEEE Trans. Computers 54(4): 409-420 (2005)
2004
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnsgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyuan Ren, Bruce H. Krogh, Radu Marculescu: Hierarchical Adaptive Dynamic Power Management. DATE 2004: 136-141
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSmriti Gupta, Bruce H. Krogh, Rob A. Rutenbar: Towards formal verification of analog designs. ICCAD 2004: 210-217
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar: Managing Verification Activities Using SVM. ICFEM 2004: 61-75
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTian 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Stursberg, Bruce H. Krogh: Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Hui, Zhiyuan Ren, Bruce H. Krogh: Sentry-Based Power Management in Wireless Sensor Networks. IPSN 2003: 458-472
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOded Maler, Bruce H. Krogh, Moez Mahfoudh: On Control with Bounded Computational Resources. FTRTFT 2002: 147-164
2001
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNancy 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce H. Krogh: Approximating Hybrid System Dynamics for Analysis and Control (Abstract). HSCC 1999: 2
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlongkrit Chutinan, Bruce H. Krogh: Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce H. Krogh: Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). ICATPN 1999: 106
1998
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrique D. Ferreira, Bruce H. Krogh: Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. HSCC 1998: 126-142
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArchana S. Sathaye, Bruce H. Krogh: Supervisor Synthesis for Real-Time Discrete Event Systems. Discrete Event Dynamic Systems 8(1): 5-35 (1998)
1997
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlongkrit Chutinan, Bruce H. Krogh: Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems 1997: 16-37
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrique D. Ferreira, Bruce H. Krogh: Controller Scheduling Using Neural Networks: Implementation and Experimental Results. Hybrid Systems 1997: 86-99
1995
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshihiko 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReg 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce 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

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

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)