| |
| 2008 | ||
|---|---|---|
| 3 | EE | 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 | ||
| 2 | EE | 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 |
| 1 | EE | James E. Weimer, Bruce H. Krogh: Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574 |
| 1 | Edmund M. Clarke | [2] |
| 2 | Sumit Kumar Jha | [2] |
| 3 | Bruce H. Krogh | [1] [2] [3] |
| 4 | Bruno Sinopoli | [3] |