PROJECTS
- UNICOS - Unifying Correctness for Communicating Software
- 1 Jan 2019 - 31 Dec 2023
- BehAPI - Behavioural Application Program Interfaces
- 1 Nov 2018 - 1 Oct 2022
- Adrian Francalanza, Marco Giunti
- FORGET - Efficiently Forgetting What Needs to be Forgotten
- 1 Oct 2018 - 30 Sep 2021
- João Leite, Matthias Knorr, Ricardo Gonçalves, João Leitão, Carla Ferreira, Carlos Viegas Damásio, José Júlio Alferes, Nuno Preguiça
- NG-STORAGE - New Generation of Data Storage and Management Systems
- 1 Oct 2018 - 30 Sep 2021
- João Leitão, Nuno Preguiça, Carla Ferreira, Sérgio Duarte, João Lourenço, Albert van der Linde, Pedro Fouto, Pedro Ákos Costa, Gonçalo Tomás, Luís Rodrigues
- HADES - Hardware-backed trusted and scalable decentralized systems
- 1 Oct 2018 - 30 Sep 2021
- Bernardo Ferreira, João Leitão, Henrique Domingos, Nuno Preguiça, Albert van der Linde, Manuel Barbosa, Bernardo Portela, Tiago Oliveira
- MIMU - MIning MUlti-source and MUlti-modal geo-referenced information
- 1 Oct 2018 - 30 Sep 2021
- João Moura Pires
- BoostDFO - Improving the performance and moving to newer dimensions in Derivative-Free Optimization
- 1 Oct 2018 - 30 Sep 2021
- Ana Luísa Custódio, Pedro Medeiros, Vítor Duarte
- BRaNT - Belief Revision applied to Neurorehabilitation Therapy
- 1 Oct 2018 - 30 Sep 2021
- Eduardo Fermé, Mónica Cameirão, Sergi Bermúdez i Badia
- BRANT - Belief Bevision applied to Neurorehabilitation Therapy
- 1 Oct 2018 - 30 Sep 2021
- Eduardo Fermé
- IGF-CITIUS-LOSJ - Auditoria de Segurança e Qualidade de Sistemas Críticos (IGF/Ministério da Justiça)
- 1 Oct 2018 - 29 Mar 2019
- Henrique Domingos, Henrique João Lopes Domingos, João Carlos Costa Seco
- PRECISE - A correct by design methodology for available cloud applications
- 1 Oct 2018 - 30 Sep 2021
- Carla Ferreira, Nuno Preguiça, Miguel Goulão, João Costa Seco, Sérgio Duarte, Valter Balegas
- DeDuCe - Distributed Data-Centric Concurrency Control
- 1 Sep 2018 - 31 Aug 2021
- Hervé Paulino, António Ravara, João Lourenço, Marco Giunti, Ana Almeida Matos
Ongoing
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded