Login

Projects

SAFEBRÓCOLO – Melhoria do processo produtivo com base em modelos de risco para alternaria e mosca da couve

SAFEBROCOLO Concluded

01/01/2015 - 31/12/2017

Team

Carlos Viegas Damásio, Armanda Rodrigues, João Moura Pires,

Towards the dependable cloud: Building the foundations for tomorrow’s dependable cloud computing

DependableCloud Concluded

01/10/2012 - 30/09/2017

Team

Rodrigo Rodrigues,

Avaliação dos Sistemas de Informação do Arquivo Municipal de Lisboa

AML Concluded

01/07/2016 - 31/03/2017

Team

Nuno Correia, Armanda Rodrigues,

behavioural types for reliable large-scale software systems

BETTY Concluded

26/10/2012 - 26/10/2016

Team

António Ravara, Luis Caires, João Costa Seco, Carla Ferreira, Marco Giunti, Bernardo Toninho,

End-to-End Privacy Enhanced Services using AWS EC2 (EC2 / AWS CloudSerach / AWS S3)

MyPrivateEC2 Concluded

01/10/2014 - 30/09/2016

Team

Henrique Domingos, Henrique Domingos, Bernardo Ferreira,

Large-scale computation without synchronisation

SyncFree Concluded

01/10/2013 - 30/09/2016

Team

Nuno Preguiça, Rodrigo Rodrigues, João Lourenço, Sérgio Duarte, Carla Ferreira, Valter Balegas,

Spreadsheet Models for the Real World

Spreadsheet Models for the Real World Concluded

01/09/2015 - 31/08/2016

Team

Jácome Cunha, Gregor Engels, Stefan Sauer, Jorge Mendes, Rui Pereira,

Restrict to Plan

RtP Concluded

01/09/2013 - 30/06/2016

Team

Pedro Barahona, Jorge Cruz, Marco Correia,

A Serious Game for Speech Therapy with Visual Bio-feedback

VisualSpeech Concluded

01/01/2015 - 31/03/2016

Team

Sofia Cavaco, João Magalhães,

Grid Intelligence and Optimsation

GIO Concluded

01/06/2009 - 01/01/2016

Team

Francisco Azevedo, Francisco Azevedo,