Miguel Correia

2009
32	EE	Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa: Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. HICSS 2009: 1-8
31	EE	Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces. IEEE Trans. Parallel Distrib. Syst. 20(3): 419-432 (2009)
2008
30	EE	Alysson Neves Bessani, Eduardo Adílio Pelinson Alchieri, Miguel Correia, Joni da Silva Fraga: DepSpace: a byzantine fault-tolerant coordination service. EuroSys 2008: 163-176
29	EE	Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA 2008: 37-44
28	EE	Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo: On Byzantine generals with alternative plans. J. Parallel Distrib. Comput. 68(9): 1291-1296 (2008)
2007
27	EE	Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo: When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. DISC 2007: 480-481
26	EE	Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia, João Felipe Santos: Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. ISORC 2007: 403-411
25	EE	Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia: GRIDTS: A New Approach for Fault-Tolerant Scheduling in Grid Computing. NCA 2007: 187-194
24	EE	Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. NCA 2007: 231-238
23	EE	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo: Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364
22	EE	Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC 2007: 373-380
21	EE	Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: On the Effects of Finite Memory on Intrusion-Tolerant Systems. PRDC 2007: 401-404
20	EE	Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia: Evaluating Byzantine Quorum Systems. SRDS 2007: 253-264
19	EE	Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone: The CRUTIAL Architecture for Critical Information Infrastructures. WADS 2007: 1-27
18	EE	Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Worm-IT - A wormhole-based intrusion-tolerant group communication system. Journal of Systems and Software 80(2): 178-197 (2007)
2006
17	EE	Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS 2006: 1-14
16	EE	Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. DISC 2006: 554-556
15	EE	Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves: Using Attack Injection to Discover New Vulnerabilities. DSN 2006: 457-466
14	EE	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomized Intrusion-Tolerant Asynchronous Services. DSN 2006: 568-577
13	EE	Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia, Lau Cheuk Lung: Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces. ICDCS 2006: 35
12	EE	Lau Cheuk Lung, Fábio Favarim, Giuliana Teixeira Santos, Miguel Correia: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA. ISORC 2006: 504-511
11	EE	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS 2006: 235-244
10	EE	Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. 49(1): 82-96 (2006)
2005
9	EE	Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Low complexity Byzantine-resilient consensus. Distributed Computing 17(3): 237-249 (2005)
8	EE	Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distrib. Syst. 16(12): 1120-1131 (2005)
2004
7	EE	Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS 2004: 174-183
2002
6	EE	Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Design of a COTSReal-Time Distributed Security Kernel. EDCC 2002: 234-252
5	EE	Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo: Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS 2002: 2-11
4	EE	Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: Intrusion-Tolerant Architectures: Concepts and Design. WADS 2002: 3-36
2001
3	EE	Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops 2001: 17-24
1998
2		João Bom, Paulo Marques, Miguel Correia, Paulo Pinto: Integrated Dymanic QoS Control for Multimedia Applications. SYBEN 1998: 384-394
1995
1	EE	Miguel Correia, Paulo Pinto: Low-Level Multimedia Synchronization Algorithms on Broadband Networks. ACM Multimedia 1995: 423-434

Coauthor Index

1	Eduardo Adílio Pelinson Alchieri	[30]
2	João Antunes	[15]
3	Alysson Neves Bessani	[13] [16] [20] [22] [24] [27] [28] [30] [31] [32]
4	João Bom	[2]
5	Andrea Bondavalli	[19]
6	Antonio Casimiro	[23]
7	Alessandro Daidone	[19]
8	Wagner Saback Dantas	[20]
9	Yves Deswarte	[19]
10	Fábio Favarim	[12] [25] [26]
11	Joni da Silva Fraga	[13] [16] [20] [24] [25] [26] [30] [31]
12	Anas Abou El Kalam	[19]
13	Lau Cheuk Lung	[5] [9] [12] [13] [16] [18] [21] [24] [25] [26] [29] [31]
14	Paulo Marques	[2]
15	Henrique Moniz	[11] [14] [23] [27]
16	Nuno Ferreira Neves	[3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [15] [17] [18] [19] [22] [23] [27] [32]
17	Rui Neves	[15]
18	Paulo Pinto	[1] [2]
19	Giuliana Teixeira Santos	[12]
20	João Felipe Santos	[26]
21	Paulo Sousa (Paulo Jorge Paiva de Sousa)	[22] [32]
22	Paulo Veríssimo	[3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [15] [17] [18] [19] [21] [22] [23] [27] [28] [29] [32]
23	Giuliana Santos Veronese	[21] [29]

Colors in the list of coauthors