| 2000 |
|---|
| 3 | EE | Murali Rangarajan,
Iqbal Mutabanna,
Darryl D. Dieckman,
Badar Farooqi,
Amitvikram Rajkhowa,
Sarjoun Doumit,
Arun Venkataraman,
Cindy Kong,
Roshan Kamath,
Perry Alexander,
Nael B. Abu-Ghazaleh:
On the Design of ORBIT.
ECBS 2000: 110- |
| 2 | EE | Cindy Kong,
Perry Alexander,
Darryl D. Dieckman:
Formal modeling of active network nodes using PVS.
FMSP 2000: 49-59 |
| 1999 |
|---|
| 1 | EE | Nael B. Abu-Ghazaleh,
Murali Rangarajan,
Darryl D. Dieckman,
Perry Alexander,
Philip A. Wilsey:
ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis.
ECBS 1999: 122-128 |
