Francisco Manuel Madureira e Castro Vasques de Carvalho


AuthID: R-000-5CQ

Confirmed Publications: 252



161
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 | DBLP
162
TITLE: GSC: A real-time communication scheme for IEEE 802.11e industrial systems
AUTHORS: Viegas, R; Moraes, R; Guedes, LA; Vasques, F ;
PUBLISHED: 2007, SOURCE: 7th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT'2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 7, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID
163
TITLE: GSC: A REAL-TIME COMMUNICATION SCHEME FOR IEEE 802.11E INDUSTRIAL SYSTEMS
AUTHORS: Raimundo Viégas Junior; Ricardo Moraes; Luiz Affonso Guedes; Francisco Vasques ;
PUBLISHED: 2007, SOURCE: IFAC Proceedings Volumes, VOLUME: 40, ISSUE: 22
INDEXED IN: CrossRef
IN MY: ORCID
164
TITLE: Implementation of an event-triggered smart sensor network architecture based on the IEEE 802.15.4 standard
AUTHORS: Leao, EM; Guedes, LA; Vasques, F ;
PUBLISHED: 2007, SOURCE: 7th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT'2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 7, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID
165
TITLE: IMPLEMENTATION OF AN EVENT-TRIGGERED SMART SENSOR NETWORK ARCHITECTURE BASED ON THE IEEE 802.15.4 STANDARD
AUTHORS: Erico Leão ; Luiz Affonso Guedes; Francisco Vasques ;
PUBLISHED: 2007, SOURCE: IFAC Proceedings Volumes, VOLUME: 40, ISSUE: 22
INDEXED IN: CrossRef
IN MY: ORCID
166
TITLE: Real-time communication for smart sensor networks: A CAN based solution
AUTHORS: Antonio J Pires; Erico Leão ; Joao P Sousa; Luiz Affonso Guedes; Francisco Vasques ;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID | ResearcherID
167
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
IN MY: ORCID | DBLP
168
TITLE: VTP-CSMA: A virtual token passing approach for real-time communication in IEEE 802.11 wireless networks
AUTHORS: Ricardo Moraes; Francisco Vasques ; Paulo Portugal ; Jose Alberto Fonseca ;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 3, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 47
IN MY: ORCID | ResearcherID | DBLP
169
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
170
TITLE: A model based on a stochastic petri net approach for dependability evaluation of controller area networks
AUTHORS: Portugal, P ; Carvalho, A ; Vasques, F ;
PUBLISHED: 2006, SOURCE: Fieldbus Systems and Their Applications 2005
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 17 of 26. Total results: 252.

A place for researchers and their institutions

Useful Links

Get Help

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