| |
| 2007 | ||
|---|---|---|
| 3 | EE | Ricardo Moraes, Paulo Portugal, Stefano Vitturi, Francisco Vasques, Pedro F. Souto: Real-Time Communication in IEEE 802.11 Networks: Timing Analysis and a Ring Management Scheme for the VTP-CSMA Architecture. LCN 2007: 107-116 |
| 2 | EE | Valério Rosset, Pedro F. Souto, Francisco Vasques: Formal Verification of a Group Membership Protocol Using Model Checking. OTM Conferences (1) 2007: 471-488 |
| 1 | EE | Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques: A Reliability Evaluation of a Group Membership Protocol. SAFECOMP 2007: 397-410 |
| 1 | Ricardo Moraes | [3] |
| 2 | Paulo Portugal | [1] [3] |
| 3 | Valério Rosset | [1] [2] |
| 4 | Francisco Vasques | [1] [2] [3] |
| 5 | Stefano Vitturi | [3] |