Percorrer por autor Correia, Miguel

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou inserir as letras iniciais:  
Mostrar resultados 1-20 de 30.  próximo >
DataTítuloAutor(es)TipoAcesso
Mar-2009Architecture, Services and Protocols for CRUTIALAbou El Kalan, Anas; Baina, Amine; Beitollahi, Hakem; Bessani, Alysson Neves; Bondavalli, Andrea; Correia, Miguel; Daidone, Alessandro; Dantas, Wagner; Deconinck, Geert; Deswarte, Yves; Moniz, Henrique; Neves, Nuno; Sousa, Paulo; Veríssimo, PauloreportopenAccess
29-Dez-2009Asynchronous Byzantine Consensus with 2f+1 Processes (extended version)Correia, Miguel; Veronese, Giuliana Santos; Lung, Lau CheukreportopenAccess
10-Set-2009Cheap Intrusion-Tolerant Protection for CRUTIAL ThingsCorreia, Miguel; Bessani, Alysson; Neves, Nuno; Verissimo, Paulo; Sousa, PauloreportopenAccess
Jul-2002Complete Specification of APIs and Protocols for the MAFTIA MiddlewareArmstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
Mai-2007Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed SystemsBessani, Alysson Neves; Correia, Miguel; Fraga, Joni da Silva; Lung, Lau CheukreportopenAccess
Mar-2009Experimental Validation of Architectural SolutionsFranceschinis, Giuliana; Alata, Eric; Antunes, João; Beitollah, Hakem; Bessani, Alysson Neves; Correia, Miguel; Dantas, Wagner; Deconinck, Geert; Kaâniche, Mohamed; Neves, Nuno; Nicomette, Vincent; Sousa, Paulo; Verissimo, PauloreportopenAccess
Set-2001First Specification of APIs and Protocols for the MAFTIA MiddlewareArmstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
Jun-2004From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Out-2005From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Set-2006How Practical Are Intrusion-Tolerant Distributed Systems?Obelheiro, Rafael R.; Bessani, Alysson Neves; Lung, Lau Cheuk; Correia, MiguelreportopenAccess
Jul-2004How to Tolerate Half Less One Byzantine Nodes in Practical Distributed SystemCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Dez-2005Improving Byzantine Protocols with Secure Computational ComponentsCorreia, Miguel; Bessani, Alysson Neves; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Dez-2003Intrusion Tolerance based on Architectural HybridizationCorreia, MigueldoctoralThesisopenAccess
Abr-2003Intrusion-Tolerant Architectures: Concepts and DesignVeríssimo, Paulo; Neves, Nuno Ferreira; Correia, MiguelreportopenAccess
Abr-2007Intrusion-Tolerant Protection for Critical InfrastructuresBessani, Alysson Neves; Sousa, Paulo; Correia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Ago-2003Low Complexity Byzantine-Resilient ConsensusCorreia, Miguel; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Dez-2008Minimal Byzantine Fault ToleranceVeronese, Giuliana Santos; Correia, Miguel; Lung, Lau Cheuk; Bessani, Alysson NevesreportopenAccess
Jun-2009Minimal Byzantine Fault Tolerance: Algorithm and EvaluationVeronese, Giuliana Santos; Correia, Miguel; Bessani, Alysson Neves; Lung, Lau Cheuk; Verissimo, PauloreportopenAccess
Mar-2007Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant SystemsCorreia, Miguel; Neves, Nuno FerreirabookopenAccess
Mai-2009Resilient Computing CoursewareBernardeschi, Cinzia; Bloomfield, Robin; Bondavalli, Andrea; Cachin, Christian; Correia, Miguel; Dacier, Marc; Di Giandomenico, Felicita; Fabre, Jean-Charles; Harrison, Michael; Kaâniche, Mohamed; Kanoun, Karama; Lac, Chidung; Lami, Giuseppe; Laprie, Jean-Claude; Majzik, Istvan; Masci, Paolo; Palanque, Philippe; Pataricza, Andras; Pfeifer, Holger; Raynal, Michel; Simoncini, Luca; Strigini, Lorenzo; Suri, Neeraj; Urvoy-Keller, Guillame; Veríssimo, Paulo; Henke, Friedrich von; Waeselynck, Helene; Winckler, Marco; Ahrendt, Wolfgang; Ammann, Paul; Candea, George; Dix, Alan; Huth, Michael; Jimenez-Peris, Ricardo; Karlsson, Johan; Patino-Martinez, Marta; Pnueli, Amir; Rodrigues, Luis; Ryan, Mark; Trivedi, Kishor S.; Voges, Udo; Baldoni, RobertoreportopenAccess