| 2005 |
|---|
| 5 | EE | Azer Bestavros,
Adam Bradley,
Assaf J. Kfoury,
Ibrahim Matta:
Typed Abstraction of Complex Network Compositions.
ICNP 2005: 289-300 |
| 2004 |
|---|
| 4 | EE | Adam Bradley,
Azer Bestavros,
Assaf J. Kfoury:
A Typed Model for Encoding-Based Protocol Interoperability.
ICNP 2004: 72-83 |
| 3 | EE | Azer Bestavros,
Adam Bradley,
Assaf J. Kfoury,
Ibrahim Matta:
Safe compositional specification of networking systems.
Computer Communication Review 34(3): 21-34 (2004) |
| 2003 |
|---|
| 2 | EE | Adam Bradley,
Azer Bestavros,
Assaf J. Kfoury:
Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN.
ICNP 2003: 234- |
| 1999 |
|---|
| 1 | | Paul Barford,
Azer Bestavros,
Adam Bradley,
Mark Crovella:
Changes in Web Client Access Patterns: Characteristics and Caching Implications.
World Wide Web 2(1-2): 15-28 (1999) |
