Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

Investigador Doutorado no HASLab - Centro de Software Confiável da Universidade do Minho e INESC TEC. Os seus principais tópicos de interesse são sistemas distribuídos, computação na nuvem, gestão de dados de muito larga escala e protocolos epidémicos. 

Obteve o grau de doutoramento pela Universidade do Minho, Aveiro e Porto (MAP-i Doctoral Program in Computer Science) em 2015 com a orientação do Professor Rui Oliveira. O trabalho de doutoramento focou-se no sistema DataFlasks, uma base de dados não relacional, escalável e resiliente, especificamente desenhada para sistemas de muito larga escala. Esta base de dados foi desenhada com base em protocolos epidémicos não estruturados de forma a ser capaz de lidar com níveis muito elevados de dinamismo no sistema (constante entrada e saída de nós do sistema).

Neste momento continua o trabalho no sistema DataFlasks procurando perceber de que forma pode ser enriquecido com guarantias de coerência de dados mais fortes e, ao mesmo tempo, manter as suas propriedades de escalabilidade.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Francisco Almeida Maia
  • Cargo

    Investigador Sénior
  • Desde

    01 novembro 2011
002
Publicações

2026

Stochastic dynamic inventory-routing: A comprehensive review

Autores
Maia, F; Figueira, G; Neves-Moreira, F;

Publicação
COMPUTERS & OPERATIONS RESEARCH

Abstract
The stochastic dynamic inventory-routing problem (SDIRP) is a fundamental problem within supply chain operations that integrates inventory management and vehicle routing while handling the stochastic and dynamic nature of exogenous factors unveiled over time, such as customer demands, inventory supply and travel times. While practical applications require dynamic and stochastic decision-making, research in this field has only recently experienced significant growth, with most inventory-routing literature focusing on static variants. This paper reviews the current state of research on SDIRPs, identifying critical gaps and highlighting emerging trends in problem settings and decision policies. We extend the existing inventory-routing taxonomies by incorporating additional problem characteristics to better align models with real-world contexts. As a result, we highlight the need to account for further sources of uncertainty, multiple-supplier networks, perishability, multiple objectives, and pickup and delivery operations. We further categorize each study based on its policy design, investigating how different problem aspects shape decision policies. To conclude, we emphasize that large-scale and real-time problems require more attention and can benefit from decomposition approaches and learning-based methods.

2019

d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds

Autores
Pontes, R; Maia, F; Vilaça, R; Machado, N;

Publicação
SRDS

Abstract
Privacy sensitive applications that store confidential information such as personal identifiable data or medical records have strict security concerns. These concerns hinder the adoption of the cloud. With cloud providers under the constant threat of malicious attacks, a single successful breach is sufficient to exploit any valuable information and disclose sensitive data. Existing privacy-aware databases mitigate some of these concerns, but sill leak critical information that can potently compromise the entire system's security. This paper proposes d'Artagnan, the first privacy-aware multi-cloud NoSQL database framework that renders database leaks worthless. The framework stores data as encrypted secrets in multiple clouds such that i) a single data breach cannot break the database's confidentiality and ii) queries are processed on the server-side without leaking any sensitive information. d'Artagnan is evaluated with industry-standard benchmark on market-leading cloud providers.

2019

Minha: Large-Scale Distributed Systems Testing Made Practical

Autores
Machado, N; Maia, F; Neves, F; Coelho, F; Pereira, J;

Publicação
OPODIS

Abstract
Testing large-scale distributed system software is still far from practical as the sheer scale needed and the inherent non-determinism make it very expensive to deploy and use realistically large environments, even with cloud computing and state-of-the-art automation. Moreover, observing global states without disturbing the system under test is itself difficult. This is particularly troubling as the gap between distributed algorithms and their implementations can easily introduce subtle bugs that are disclosed only with suitably large scale tests. We address this challenge with Minha, a framework that virtualizes multiple JVM instances in a single JVM, thus simulating a distributed environment where each host runs on a separate machine, accessing dedicated network and CPU resources. The key contributions are the ability to run off-the-shelf concurrent and distributed JVM bytecode programs while at the same time scaling up to thousands of virtual nodes; and enabling global observation within standard software testing frameworks. Our experiments with two distributed systems show the usefulness of Minha in disclosing errors, evaluating global properties, and in scaling tests orders of magnitude with the same hardware resources.

2018

Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, P2DS@EuroSys 2018, Porto, Portugal, April 23, 2018

Autores
Maia, F; Mercier, H; Brito, A;

Publicação
P2DS@EuroSys

Abstract

2018

Totally Ordered Replication for Massive Scale Key-Value Stores

Autores
Ribeiro, J; Machado, N; Maia, F; Matos, M;

Publicação
DAIS

Abstract
Scalability is one of the most relevant features of today’s data management systems. In order to achieve high scalability and availability, recent distributed key-value stores refrain from costly replica coordination when processing requests. However, these systems typically do not perform well under churn. In this paper, we propose DataFlagons, a large-scale key-value store that integrates epidemic dissemination with a probabilistic total order broadcast algorithm. By ensuring that all replicas process requests in the same order, DataFlagons provides probabilistic strong data consistency while achieving high scalability and robustness under churn.