ProfileOfResearchers

TITLE: A reliability evaluation of a group membership protocol
AUTHORS: Valerio Rosset; Pedro F Souto ; Paulo Portugal ; Francisco Vasques ;
PUBLISHED: 2007, SOURCE: 26th International Conference on Computer Safety, Reliability and Security in COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, VOLUME: 4680

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID

TITLE: Formal verification of a group membership protocol using model checking
AUTHORS: Valerio Rosset; Pedro F Souto ; Rancisco Vasques ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, ISSUE: PART 1

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID

TITLE: Real-Time Communication in IEEE 802.11 Networks: Timing Analysis and a Ring Management Scheme for the VTP-CSMA Architecture
AUTHORS: Ricardo Moraes; Paulo Portugal ; Stefano Vitturi; Francisco Vasques ; Pedro F Souto ;
PUBLISHED: 2007, SOURCE: 32nd IEEE Conference on Local Computer Networks, LCN 2007 in 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 15-18 October 2007, Clontarf Castle, Dublin, Ireland, Proceedings

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID

TITLE: A group membership protocol for communication systems with both static and dynamic scheduling
AUTHORS: Rosset, V; Souto, PF ; Vasques, F ;
PUBLISHED: 2006, SOURCE: WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS

INDEXED IN:

Scopus

IN MY:

ORCID

TITLE: XML scheme for specification of security policies
AUTHORS: Pedro Monteiro; Joao Vila Verde; Pedro Souto ;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2

INDEXED IN:

Scopus

WOS

IN MY:

ORCID

Useful Links