| 2006 |
|---|
| 12 | EE | Frank M. Alfano,
Peter J. McCann,
Thomas T. Towle:
IMS service-based bearer control.
Bell Labs Technical Journal 10(4): 151-166 (2006) |
| 2002 |
|---|
| 11 | | Gruia-Catalin Roman,
Peter J. McCann:
A Notation and Logic for Mobile Computing.
Formal Methods in System Design 20(1): 47-68 (2002) |
| 2001 |
|---|
| 10 | EE | Karthikeyan Bhargavan,
Satish Chandra,
Peter J. McCann,
Carl A. Gunter:
What packets may come: automata for network monitoring.
POPL 2001: 206-219 |
| 9 | EE | Gian Pietro Picco,
Gruia-Catalin Roman,
Peter J. McCann:
Reasoning about code mobility with mobile UNITY.
ACM Trans. Softw. Eng. Methodol. 10(3): 338-395 (2001) |
| 2000 |
|---|
| 8 | EE | Peter J. McCann,
Satish Chandra:
Packet Types: Abstract specifications of network protocol messages.
SIGCOMM 2000: 321-333 |
| 1999 |
|---|
| 7 | EE | Peter J. McCann,
Gruia-Catalin Roman:
Modeling Mobile IP in Mobile UNITY.
ACM Trans. Softw. Eng. Methodol. 8(2): 115-146 (1999) |
| 1998 |
|---|
| 6 | | Gruia-Catalin Roman,
Peter J. McCann:
An Introduction to Mobile UNITY.
IPPS/SPDP Workshops 1998: 871-880 |
| 5 | EE | Peter J. McCann,
Gruia-Catalin Roman:
Compositional Programming Abstractions for Mobile Computing.
IEEE Trans. Software Eng. 24(2): 97-110 (1998) |
| 1997 |
|---|
| 4 | | Peter J. McCann,
Gruia-Catalin Roman:
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts.
COORDINATION 1997: 338-354 |
| 3 | EE | Gian Pietro Picco,
Gruia-Catalin Roman,
Peter J. McCann:
Expressing Code Mobility in Mobile UNITY.
ESEC / SIGSOFT FSE 1997: 500-518 |
| 2 | EE | Gruia-Catalin Roman,
Peter J. McCann,
Jerome Y. Plun:
Mobile UNITY: Reasoning and Specification in Mobile Computing.
ACM Trans. Softw. Eng. Methodol. 6(3): 250-282 (1997) |
| 1996 |
|---|
| 1 | EE | Gruia-Catalin Roman,
Peter J. McCann,
Jerome Y. Plun:
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.
ICSE 1996: 155-164 |
