Francisco Manuel Madureira e Castro Vasques de Carvalho


AuthID: R-000-5CQ

Publicações Confirmadas: 252



161
TÍTULO: Formal verification of a group membership protocol using model checking
AUTORES: Rosset, V; Souto, PF ; Vasques, R ;
PUBLICAÇÃO: 2007, FONTE: 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, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
162
TÍTULO: GSC: A real-time communication scheme for IEEE 802.11e industrial systems
AUTORES: Viegas, R; Moraes, R; Guedes, LA; Vasques, F ;
PUBLICAÇÃO: 2007, FONTE: 7th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT'2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 7, NÚMERO: PART 1
INDEXADO EM: Scopus
NO MEU: ORCID
163
TÍTULO: GSC: A REAL-TIME COMMUNICATION SCHEME FOR IEEE 802.11E INDUSTRIAL SYSTEMS
AUTORES: Raimundo Viégas Junior; Ricardo Moraes; Luiz Affonso Guedes; Francisco Vasques ;
PUBLICAÇÃO: 2007, FONTE: IFAC Proceedings Volumes, VOLUME: 40, NÚMERO: 22
INDEXADO EM: CrossRef
NO MEU: ORCID
164
TÍTULO: Implementation of an event-triggered smart sensor network architecture based on the IEEE 802.15.4 standard
AUTORES: Leao, EM; Guedes, LA; Vasques, F ;
PUBLICAÇÃO: 2007, FONTE: 7th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT'2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 7, NÚMERO: PART 1
INDEXADO EM: Scopus
NO MEU: ORCID
165
TÍTULO: IMPLEMENTATION OF AN EVENT-TRIGGERED SMART SENSOR NETWORK ARCHITECTURE BASED ON THE IEEE 802.15.4 STANDARD
AUTORES: Erico Leão ; Luiz Affonso Guedes; Francisco Vasques ;
PUBLICAÇÃO: 2007, FONTE: IFAC Proceedings Volumes, VOLUME: 40, NÚMERO: 22
INDEXADO EM: CrossRef
NO MEU: ORCID
166
TÍTULO: Real-time communication for smart sensor networks: A CAN based solution
AUTORES: Antonio J Pires; Erico Leão ; Joao P Sousa; Luiz Affonso Guedes; Francisco Vasques ;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | ResearcherID
167
TÍTULO: Real-Time Communication in IEEE 802.11 Networks: Timing Analysis and a Ring Management Scheme for the VTP-CSMA Architecture
AUTORES: Ricardo Moraes; Paulo Portugal ; Stefano Vitturi; Francisco Vasques ; Pedro F Souto ;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 4 Handle
NO MEU: ORCID | DBLP
168
TÍTULO: VTP-CSMA: A virtual token passing approach for real-time communication in IEEE 802.11 wireless networks
AUTORES: Ricardo Moraes; Francisco Vasques ; Paulo Portugal ; Jose Alberto Fonseca ;
PUBLICAÇÃO: 2007, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 3, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 47
NO MEU: ORCID | ResearcherID | DBLP
169
TÍTULO: A group membership protocol for communication systems with both static and dynamic scheduling
AUTORES: Rosset, V; Souto, PF ; Vasques, F ;
PUBLICAÇÃO: 2006, FONTE: WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
INDEXADO EM: Scopus CrossRef: 7 Handle
NO MEU: ORCID
170
TÍTULO: A model based on a stochastic petri net approach for dependability evaluation of controller area networks
AUTORES: Portugal, P ; Carvalho, A ; Vasques, F ;
PUBLICAÇÃO: 2006, FONTE: Fieldbus Systems and Their Applications 2005
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 17 de 26. Total de resultados: 252.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service