The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bruce H. Krogh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bruce H. Krogh
    Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:106- [Conf]
  2. Ansgar Fehnker, Bruce H. Krogh
    Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:263-277 [Conf]
  3. Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar
    Verifying analog oscillator circuits using forward/backward abstraction refinement. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:257-262 [Conf]
  4. Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
    Hierarchical Adaptive Dynamic Power Management. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:136-141 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    EUROSIM, 1995, pp:421-426 [Conf]
  6. Oded Maler, Bruce H. Krogh, Moez Mahfoudh
    On Control with Bounded Computational Resources. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:147-164 [Conf]
  7. Alongkrit Chutinan, Bruce H. Krogh
    Computing Approximating Automata for a Class of Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1997, pp:16-37 [Conf]
  8. Alongkrit Chutinan, Bruce H. Krogh
    Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:76-90 [Conf]
  9. Zhi Han, Bruce H. Krogh
    Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:287-301 [Conf]
  10. Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh
    Refining Abstractions of Hybrid Systems Using Counterexample Fragments. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:242-257 [Conf]
  11. Enrique D. Ferreira, Bruce H. Krogh
    Controller Scheduling Using Neural Networks: Implementation and Experimental Results. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1997, pp:86-99 [Conf]
  12. Enrique D. Ferreira, Bruce H. Krogh
    Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:126-142 [Conf]
  13. Jim Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
    On Systematic Simulation of Open Continuous Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:283-297 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:247-260 [Conf]
  15. Bruce H. Krogh
    Approximating Hybrid System Dynamics for Analysis and Control (Abstract). [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:2- [Conf]
  16. Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler
    An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:370-385 [Conf]
  17. Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury
    Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:475-484 [Conf]
  18. 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? [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:5-6 [Conf]
  19. Olaf Stursberg, Bruce H. Krogh
    Efficient Representation and Computation of Reachable Sets for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:482-497 [Conf]
  20. Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke
    Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:287-300 [Conf]
  21. Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar
    Towards formal verification of analog designs. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2004, pp:210-217 [Conf]
  22. Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar
    Managing Verification Activities Using SVM. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:61-75 [Conf]
  23. Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh
    Sentry-Based Power Management in Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    IPSN, 2003, pp:458-472 [Conf]
  24. Haotian Zhang, José M. F. Moura, Bruce H. Krogh
    Estimation in sensor networks: a graph approach. [Citation Graph (0, 0)][DBLP]
    IPSN, 2005, pp:203-209 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    MobiSys, 2004, pp:- [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    SenSys, 2005, pp:205-217 [Conf]
  27. Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
    Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:192-207 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:33-38 [Journal]
  29. Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
    Time Domain Verification of Oscillator Circuit Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:3, pp:9-22 [Journal]
  30. 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. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:583-604 [Journal]
  31. Ansgar Fehnker, Bruce H. Krogh
    Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:885-902 [Journal]
  32. Bruce H. Krogh, H. Vincent Poor
    The segment method as an alternative to minimax in hypothesis testing. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1982, v:27, n:1, pp:9-37 [Journal]
  33. Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
    Hierarchical Adaptive Dynamic Power Management. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2005, v:54, n:4, pp:409-420 [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:500-528 [Journal]
  35. 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. [Citation Graph (0, 0)][DBLP]
    TOSN, 2006, v:2, n:1, pp:1-38 [Journal]
  36. Reg G. Willson, Bruce H. Krogh
    Petri Net Tools for the Specification and Analysis of Discrete Controllers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:1, pp:39-50 [Journal]
  37. Bruce H. Krogh
    From Analysis to Design. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:4- [Conf]

  38. Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. [Citation Graph (, )][DBLP]


  39. Verification of Supervisory Control Software Using State Proximity and Merging. [Citation Graph (, )][DBLP]


  40. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. [Citation Graph (, )][DBLP]


  41. A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. [Citation Graph (, )][DBLP]


  42. Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  43. Integration of Formal Analysis into a Model-Based Software Development Process. [Citation Graph (, )][DBLP]


  44. Hierarchical modeling of mode-switching systems. [Citation Graph (, )][DBLP]


  45. Performance bounds on state-feedback controllers with network delay. [Citation Graph (, )][DBLP]


  46. Control software model checking using bisimulation functions for nonlinear systems. [Citation Graph (, )][DBLP]


Search in 0.283secs, Finished in 0.285secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002