ProfileOfResearchers

161

TITLE: An event-triggered smart sensor network architecture
AUTHORS: Erico Leão ; 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: 6

IN MY:

ORCID |

ResearcherID

162

TITLE: Aplicação de Métodos Formais na Validação de Algoritmos Distribuídos Tolerantes a Falhas
AUTHORS: Valério Rosset; Pedro F Do Souto; Paulo J Portugal; Francisco Vasques ;
PUBLISHED: 2007

INDEXED IN:

Handle

163

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: 1

Handle

IN MY:

ORCID |

DBLP

164

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

165

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

166

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

167

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

168

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

169

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

170