Pedro Alexandre Guimarães Lobo Ferreira Souto


AuthID: R-000-EN8

Confirmed Publications: 45



41
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 CrossRef
IN MY: ORCID
42
TITLE: Formal verification of a group membership protocol using model checking
AUTHORS: Rosset, V; Souto, PF ; Vasques, R ;
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 CrossRef Handle
IN MY: ORCID
43
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 CrossRef: 4 Handle
44
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 CrossRef: 7 Handle
IN MY: ORCID
45
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
Page 5 of 5. Total results: 45.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service