Proactive Byzantine Quorum Systems Eduardo A. P. Alchieri1 , Alysson Neves Bessani2 , Fernando Carlos Pereira1 , and Joni da Silva Fraga1 1 2

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

The TClouds Platform From the Concept to the Implementation of Benchmark Scenarios Alysson Bessani2 , Leucio A. Cutillo1 , Gianluca Ramunno1 , Norbert Schirmer3 , Paolo Smiraglia1 1 2

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

IEEE TRANSACTIONS ON COMPUTERS, VOL. X, NO. Y, MONTH YEAR 1 An Efficient Byzantine-Resilient Tuple Space Alysson Neves Bessani, Miguel Correia Member, IEEE, Joni da Silva Fraga Member, IEEE and Lau Cheuk Lung

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

• Computing
• Mathematics
• Concurrent computing
• Data management
• Mathematical notation
• Tuple
• Type theory
• State machine replication
• Extensible Storage Engine
• Exponentiation
• Extension

BiobankCloud: a Platform for the Secure Storage, Sharing, and Processing of Large Biomedical Data Sets Alysson Bessani5 , Jörgen Brandt2 , Marc Bux2 , Vinicius Cogo5 , Lora Dimitrova4 , Jim Dowling1 , Ali Gholami1 , Kam

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

• Computing
• Software
• Workflow technology
• Hadoop
• Apache Software Foundation
• Cloud infrastructure
• Data management
• Apache Hadoop
• Cuneiform
• Galaxy
• Bioinformatics
• Workflow

Active Replication in CORBA: Standards, Protocols and Implementation Framework? Alysson Neves Bessani1 , Joni da Silva Fraga1 , Lau Cheuk Lung2 , and Eduardo Ad´ılio Pelinson Alchieri1 1

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

A Dependable Infrastructure for Cooperative Web Services Coordination Eduardo A. P. Alchieri1 Alysson Neves Bessani2 Joni da Silva Fraga1 1 DAS, Federal University of Santa Catarina, Florian´opolis, Brazil

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

Appeared in the Proceedings of the 2013 USENIX Annual Technical Conference On the Efficiency of Durable State Machine Replication Alysson Bessani1 , Marcel Santos1 , Jo˜ao Felix1 , Nuno Neves1 , Miguel Correia2 {1 FCUL

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

• Fault-tolerant computer systems
• Computing
• State machine replication
• Replication
• Application checkpointing
• Byzantine fault tolerance
• In-memory database
• Paxos

SCFS: A Shared Cloud-backed File System Alysson Bessani,1 Ricardo Mendes,1 Tiago Oliveira,1 Nuno Neves,1 Miguel Correia,2 Marcelo Pasin,3 Paulo Verissimo1 1 Faculdade de Ciˆencias/LaSIGE, 2 Instituto Superior T´ecnico

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

• Computing
• Network file systems
• Cloud infrastructure
• Cloud storage
• Data management
• Data synchronization
• Amazon S3
• File system
• Cloud computing
• Clustered file system
• Backup
• Dropbox

Extending the UMIOP Specification for Reliable Multicast in CORBA? Alysson Neves Bessani1 , Joni da Silva Fraga1 , and Lau Cheuk Lung2 1 DAS - Departamento de Automa¸ca

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

Evaluating Byzantine Quorum Systems Wagner Saback Dantas† Alysson Neves Bessani‡ Joni da Silva Fraga†

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