Login

projects

An Environment for Live Construction of Trustworthy Software

CLAY Concluded

01/07/2016 - 31/12/2019

Team

Luis Caires, João Costa Seco, Teresa Romão, Nuno Preguiça, João Costa Seco, Carlos Viegas Damásio,

Lightweight Computation for Networks at the Edge

LightKone Concluded

01/01/2017 - 31/12/2019

Team

Nuno Preguiça, João Leitão, Carla Ferreira, Henrique Domingos, Sérgio Duarte, Bernardo Ferreira, Gonçalo Tomás, Pedro Ákos Costa, Pedro Fouto, Guilherme Borges, Maria Cecília Gomes,

USMA- Bridging Theory and Practice: Update Semantics and Multi-shot ASP

Concluded

01/04/2017 - 31/03/2019

Team

João Leite, Torsten Schaub, Matthias Knorr, Ricardo Gonçalves, Carlos Lopes, Martin Gebser, Philipp Obermeier, Javier Romero, Orkunt Sabuncu,

Auditoria de Segurança e Qualidade de Sistemas Críticos (IGF/Ministério da Justiça)

IGF-CITIUS-LOSJ Concluded

01/10/2018 - 29/03/2019

Team

Henrique Domingos,

DSML4MAS – Developing a Framework on Evaluating Domain-specific Modeling Languages for Multi-agent Systems

DSML4MAS Concluded

01/11/2016 - 31/01/2019

Team

Vasco Amaral, Ankica Barisic, Miguel Goulão, Geylani Kardas,

Towards an Engineering Discipline for Green Software

GreenSoftwareLab Concluded

01/01/2016 - 31/12/2018

Team

Jácome Cunha, Alexandre Perez, Jorge Mendes, Marco Couto, Pedro Martins, Rui Pereira,

Converging broadcast and user generated content for interactive UHD services

COGNITUS Concluded

01/01/2016 - 31/12/2018

Team

Marta Mrak, João Magalhães, Nuno Correia, Sofia Cavaco,

Sistema de Inspecção Automático para Veículos

AutoCarInsp Concluded

01/03/2017 - 31/12/2018

Team

Nuno Correia, Rui Jesus,

Rapid Application Delivery for the Modern Enterprise Project code

Radicalize Concluded

01/01/2016 - 31/12/2018

Team

Luis Caires, João Costa Seco, Carla Ferreira,

Infrastructure for Client-Based Desktops

iCBD Concluded

01/03/2017 - 30/06/2018

Team

Paulo Afonso Lopes, Pedro Medeiros, Nuno Preguiça,