| |
| 2007 | ||
|---|---|---|
| 3 | 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 |
| 2 | EE | Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques: A Reliability Evaluation of a Group Membership Protocol. SAFECOMP 2007: 397-410 |
| 2005 | ||
| 1 | EE | Valério Rosset, Cleber Vinicios Filippin, Carla Merkle Westphall: A DRM Architecture to Distribute and Protect Digital Contents Using Digital Licenses. AICT/SAPIR/ELETE 2005: 422-427 |
| 1 | Cleber Vinicios Filippin | [1] |
| 2 | Paulo Portugal | [2] |
| 3 | Pedro F. Souto | [2] [3] |
| 4 | Francisco Vasques | [2] [3] |
| 5 | Carla Merkle Westphall | [1] |