Chapter 4 A Guided Tour on the Theory and Practice of State Machine Replication Alysson Neves Bessani (University of Lisbon, Faculty of Sciences. Portugal)

Source URL: www.di.fc.ul.pt

• Fault-tolerant computer systems
• Paxos
• State machine replication
• Byzantine fault tolerance
• Consensus
• Replication
• Fault tolerance
• Object
• Communications protocol
• Virtual synchrony

A Look to the Old-world Sky: EU-funded Dependability Cloud Computing Research ∗ Alysson Bessani

Source URL: www.di.fc.ul.pt

C:/Users/alysson/Documents/My Papers/wip/aqs/aqs-hotdep10/aqs-6pages-final.dvi

Source URL: www.di.fc.ul.pt

Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection ∗ Paulo Sousa, Alysson N. Bessani, Wagner S. Dantas, F´abio Souto, Miguel Correia, Nuno F. Neves University of Lisboa, Faculdade de Ciˆen

Source URL: www.di.fc.ul.pt

1 Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery Paulo Sousa, Member, IEEE, Alysson Neves Bessani, Miguel Correia, Member, IEEE, Nuno Ferreira Neves, Member, IEEE, Paulo Verissimo, Fellow,

Source URL: www.di.fc.ul.pt

• Computing
• Engineering
• Physics
• Data synchronization
• Fault-tolerant computer systems
• Replication
• Wormhole
• Replica
• Fault tolerance

Byzantine Fault-Tolerant MapReduce: Faults Are Not Just Crashes Pedro Costa1 , Marcelo Pasin1 , Alysson N. Bessani1 , Miguel Correia2 1 Universidade de Lisboa, Faculdade de Ciˆencias, LASIGE – Lisboa, Portugal 2 Insti

Source URL: www.di.fc.ul.pt

• Computing
• Concurrent computing
• Hadoop
• Parallel computing
• Cloud infrastructure
• Apache Software Foundation
• Distributed computing architecture
• MapReduce
• Apache Hadoop
• Data-intensive computing
• State machine replication
• Byzantine fault tolerance

DepSpace: A Byzantine Fault-Tolerant Coordination Service Alysson Neves Bessani† , Eduardo Pelison Alchieri‡ , Miguel Correia† , Joni da Silva Fraga‡ ‡

Source URL: www.di.fc.ul.pt

• Computing
• Relational model
• Functional languages
• Data management
• Mathematical notation
• Tuple
• Type theory
• State machine replication
• Extensible Storage Engine
• ATS
• Relation

EBAWA: Efficient Byzantine Agreement for Wide-Area Networks Giuliana Santos Veronese1 , Miguel Correia1,2 , Alysson Neves Bessani1 , Lau Cheuk Lung3 1 Universidade de Lisboa, Faculdade de Ciências, LASIGE – Portugal

Source URL: www.di.fc.ul.pt

Equipe técnica e de apoio — Etapa Nacional Ministério da Saúde: Ana Cristina Sá Fischer, Ana Elizabeth Gomes, André Fenner, Alysson Feliciano Lemos, Aramis Cardoso Beltrami, Carlos Augusto Vaz de Souza, Carmen

Source URL: www.ipea.gov.br

Universidade do Minho Gonçalves, Alysson Pires Rede social na UM : um estudo de caso : análise e estratégias de utilização de portais situados na dinamização da rede social – Flickr

Source URL: repositorium.sdum.uminho.pt