Francisco Vasques

2007
19	EE	Ricardo Moraes, Paulo Portugal, Stefano Vitturi, Francisco Vasques, Pedro F. Souto: Real-Time Communication in IEEE 802.11 Networks: Timing Analysis and a Ring Management Scheme for the VTP-CSMA Architecture. LCN 2007: 107-116
18	EE	Valério Rosset, Pedro F. Souto, Francisco Vasques: Formal Verification of a Group Membership Protocol Using Model Checking. OTM Conferences (1) 2007: 471-488
17	EE	Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques: A Reliability Evaluation of a Group Membership Protocol. SAFECOMP 2007: 397-410
2006
16	EE	Ricardo Moraes, Paulo Portugal, Francisco Vasques: Simulation Analysis of the IEEE 802.11e EDCA Protocol for an Industrially-Relevant Real-Time Communication Scenario. ETFA 2006: 202-209
15	EE	Ricardo Moraes, Paulo Portugal, Francisco Vasques: A Stochastic Petri Net Model for the Simulation Analysis of the IEEE 802.11e EDCA Communication Protocol. ETFA 2006: 38-45
2005
14	EE	F. B. Carreiro, Ricardo Moraes, José Alberto Fonseca, Francisco Vasques: Real-time communication in unconstrained shared Ethernet networks: the virtual token-passing approach. ETFA 2005
13	EE	Ricardo Moraes, Francisco Vasques: Real-Time Traffic Separation in Shared Ethernet Networks: Simulation Analysis of the h-BEB Collision Resolution Algorithm. RTCSA 2005: 89-92
2004
12	EE	Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings: Replication Management in Reliable Real-Time Systems. Real-Time Systems 26(3): 261-296 (2004)
2003
11	EE	Luís Miguel Pinho, Francisco Vasques: Reliable Real-Time Communication in CAN Networks. IEEE Trans. Computers 52(12): 1594-1607 (2003)
2002
10	EE	Luís Miguel Pinho, Francisco Vasques: Transparent Environment for Replicated Ravenscar Applications. Ada-Europe 2002: 297-308
9	EE	Mário Alves, Eduardo Tovar, Francisco Vasques, Gerhard Hammer, Klaus Röther: Real-Time Communications over Hybrid Wired/Wireless PROFIBUS-based Networks. ECRTS 2002: 142-151
8		Eduardo Tovar, Francisco Vasques, Alan Burns: Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization. Real-Time Systems 22(3): 229-249 (2002)
2001
7	EE	Luís Miguel Pinho, Francisco Vasques: Reliable Communication in Distributed Computer-Controlled Systems. Ada-Europe 2001: 136-147
6	EE	Luís Miguel Pinho, Francisco Vasques: Timing Analysis of Reliable Real-Time Communication in CAN Networks. ECRTS 2001: 103-116
2000
5		Luís Miguel Pinho, Francisco Vasques: An Architecture for Reliable Distributed Computer-Controlled Systems. DIPES 2000: 43-52
1999
4		Eduardo Tovar, Francisco Vasques: From Task Scheduling in Single Processor Environments to Message Scheduling in a PROFIBUS Fieldbus Network. IPPS/SPDP Workshops 1999: 339-352
3	EE	Eduardo Tovar, Francisco Vasques: Cycle time properties of the PROFIBUS timed-token protocol. Computer Communications 22(13): 1206-1216 (1999)
1998
2	EE	Luís Miguel Pinho, Francisco Vasques: Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. SIGAda 1998: 52-60
1994
1		Rosa M. L. R. Carmo, Francisco Vasques, Guy Juanole: Real-Time Communication Services in a DQDB Network. IEEE Real-Time Systems Symposium 1994: 249-258

Coauthor Index

1	Mário Alves	[9]
2	Alan Burns	[8]
3	Rosa M. L. R. Carmo	[1]
4	F. B. Carreiro	[14]
5	José Alberto Fonseca	[14]
6	Gerhard Hammer	[9]
7	Guy Juanole	[1]
8	Ricardo Moraes	[13] [14] [15] [16] [19]
9	Luís Miguel Pinho	[2] [5] [6] [7] [10] [11] [12]
10	Paulo Portugal	[15] [16] [17] [19]
11	Valério Rosset	[17] [18]
12	Klaus Röther	[9]
13	Pedro F. Souto	[17] [18] [19]
14	Eduardo Tovar	[3] [4] [8] [9]
15	Stefano Vitturi	[19]
16	Andy J. Wellings	[12]

Colors in the list of coauthors