| |
| 2007 | ||
|---|---|---|
| 3 | EE | Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52 |
| 2006 | ||
| 2 | EE | Naghmeh Ghafari, Richard J. Trefler: Piecewise FIFO Channels Are Analyzable. VMCAI 2006: 252-266 |
| 2004 | ||
| 1 | EE | Naghmeh Ghafari, Rudolph E. Seviora: A Signal Processing Approach to Global Predicate Monitoring. SRDS 2004: 136-145 |
| 1 | Arie Gurfinkel | [3] |
| 2 | Nils Klarlund | [3] |
| 3 | Rudolph E. Seviora | [1] |
| 4 | Richard J. Trefler | [2] [3] |