Skip navigation
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Document Type
Access types
Scientific areas
Scientific areas (cloud format)
Help
Idioma
English
português
Repositório Aberto da Universidade do Porto
Browsing by Author Valério Rosset
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
Title
Issue date
Author
Submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 6 of 6
Issue Date
Title
Author(s)
Type
2006
A group membership protocol for communication systems with both static and dynamic scheduling
Valério Rosset
;
Pedro F. Souto
;
Francisco Vasques
Artigo em Livro de Atas de Conferência Internacional
2007
A reliability evaluation of a group membership protocol
Valério Rosset
;
Pedro F. Souto
;
Paulo Portugal
;
Francisco Vasques
Artigo em Livro de Atas de Conferência Internacional
2007
Aplicação de Métodos Formais na Validação de Algoritmos Distribuídos Tolerantes a Falhas
Valério Rosset
;
Pedro Ferreira Do Souto
;
Paulo José Portugal
;
Francisco Vasques
Artigo em Livro de Atas de Conferência Nacional
2007
Formal verification of a group membership protocol using model checking
Valério Rosset
;
Pedro F. Souto
;
Francisco Vasques
Artigo em Livro de Atas de Conferência Internacional
2006
Model-checking a group membership protocol for TDMA-based networks with both static and dynamic scheduling
Valério Rosset
;
Pedro F. Souto
;
Francisco Vasques
Artigo em Livro de Atas de Conferência Internacional
2012
Modeling the reliability of a group membership protocol for dual-scheduled time division multiple access networks
Valério Rosset
;
Pedro F. Souto
;
Paulo Portugal
;
Francisco Vasques
Artigo em Revista Científica Internacional