Personal home page of Bruce H. Krogh.
Selected recent papers.
For lists of my papers, please search one of the many on-line services that are maintained much better than this page, e.g.
IEEE Xplore
DBLP
ACM Portal
INSPEC
I will gladly send an electronic copy if you want one of my papers not available on this sight.
Links to information about some of my current research projects:
Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems
Specification and Verification Center
Current research projects without links include:
- Verification tools for embedded systems (ARO) [co-PIs: J. Wing (CS), D. Garlan (CS), E. Clarke (CS), R. Simmons (RI)]
- Collaborative Research (with UMich): Embedded Control Systems for X-by-Wire Applications (NSF)
- Graph-Based Refinement Strategies for Hybrid Systems (NSF) [co-PI: E. Clarke (CS)]
- Toward a multi-layered architecture for reliable and secure large-scale networks: the case of an electric power grid (NSF) [co-PIs: M. Ilic, J. Moura, J. Apt (EPP), L. Lave (Tepper)]
Links to information about some of my previous research projects:
Sensor Networks
System Verification Manager
CheckMate: A MATLAB-based hybrid system verification tool
If you would like more information about me or my research projects, please feel free to contact me at:
Bruce H. Krogh
Dept. of Electrical and Computer Engineering
5000 Forbes Ave.
Carnegie Mellon University
Pittsburgh, PA 15213-3890
ph: +1 412 268 2472; fax -3890
e-mail: krogh_at_ece.cmu.edu