research
∙
05/05/2023
CHAMELEON: OutSystems Live Bidirectional Transformations
In model-driven engineering, the bidirectional transformation of models ...
share
research
∙
03/24/2023
JepREST: Functional tests for distributed REST applications
Application services often support mobile and web applications with REST...
research
∙
09/20/2022
Optimizing Crop Management with Reinforcement Learning and Imitation Learning
Crop management, including nitrogen (N) fertilization and irrigation man...
research
∙
07/06/2022
VeriFx: Correct Replicated Data Types for the Masses
Distributed systems adopt weak consistency to ensure high availability a...
research
∙
08/06/2021
On circulant and skew-circulant splitting algorithms for (continuous) Sylvester equations
We present a circulant and skew-circulant splitting (CSCS) iterative met...
research
∙
03/08/2021
A coordination-free, convergent, and safe replicated tree
The tree is an essential data structure in many applications. In a distr...
research
∙
10/13/2020
CISE3: Verifying Weakly Consistent Applications with Why3
In this paper we present a tool for the formal analysis of applications ...
research
∙
02/14/2020
Robust Contract Evolution in a TypeSafe MicroServices Architecture
Microservices architectures allow for short deployment cycles and immedi...
research
∙
09/09/2019
Análise de Segurança Baseada em Roles para Fábricas de Software
Most software factories contain applications with sensitive information ...
research
∙
09/09/2019
CISE3: Verificação de aplicações com consistência fraca em Why3
In this article we present a tool for the verification of programs built...
research
∙
03/08/2019
Set CRDT com Múltiplas Políticas de Resolução de Conflitos
Um CRDT é um tipo de dados que pode ser replicado e modificado concorren...
research
∙
02/10/2019
Antidote SQL: Relaxed When Possible, Strict When Necessary
Geo-replication poses an inherent trade-off between low latency, high av...
research
∙
02/23/2018