Login
Research

Software Systems

Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

Parallel and Distributed Computing with Computational Clusters and Grids

TransGRID Concluded

01/01/2003 - 30/06/2007

Team

José Cardoso e Cunha, Nuno Correia, Pedro Medeiros, Vítor Duarte, João Lourenço, Maria Cecília Gomes, Carmen Morgado, Paulo Afonso Lopes, Hervé Paulino, Joaquim Ferreira da Silva, Fernanda Barbosa, Gabriel Pereira Lopes, Carlos Gonçalves, Luis Assunção, Nuno Oliveira, Rui Marques,

Assertion Types for Object-Oriented Programming

ASSERTION Concluded

01/01/2010 - 31/12/2012

Team

Luis Caires, João Costa Seco,

Building Adaptive Three-dimensional Interfaces

BATIC3S Concluded

01/10/2005 - 01/11/2010

Team

Ana Moreira, João Araújo, Vasco Amaral, Bruno Barroca, Vasco Sousa,

SwiftComp – Fast and Efficient Incremental Computation for Cloud Computing Environments

SwiftComp Concluded

01/07/2013 - 30/06/2015

Team

Nuno Preguiça, Rodrigo Rodrigues, João Lourenço, Margarida Mamede, Sérgio Duarte, David Navalho,

Logics for Security Protocols

SecureSpace Concluded

01/01/2007 - 31/12/2008

Team

Luis Caires,

Model-Driven Development of Configurable Aspectual Black Box Components for Embedded and Real-Time Systems

MDD-RT Concluded

01/05/2011 - 01/07/2013

Team

Ana Moreira, João Araújo, Miguel Goulão, Vasco Amaral, Jorge Barreiros, Bruno Barroca,

Specification and Verification of Complex, Stateful, Distributed Systems

MOBILOG Concluded

01/01/2008 - 31/12/2008

Team

Luis Caires, Nuno Preguiça, Carla Ferreira,

Liveness, statically

Liveness, statically Concluded

20/03/2012 - 19/04/2015

Team

António Ravara, Marco Giunti, Vasco Vasconcelos, Hugo Torres Vieira,

P2P Dissemination of Web Syndication Content

LiveFeeds Concluded

01/01/2008 - 30/06/2011

Team

José Legatheaux Martins, Margarida Mamede, Sérgio Duarte, Nuno Preguiça,

ASPECTS AND COMPILER OPTIMIZATIONS FOR MATLAB SYSTEM DEVELOPMENT

AMADEUS Concluded

01/01/2007 - 31/12/2009

Team

Miguel Monteiro,

Integração de Técnicas de Requisitos com Aspectos: o Caso TROPOS

AO-TROPOS Concluded

01/03/2005 - 30/03/2007

Team

Ana Moreira, João Araújo,

Agile Requirements Analysis

ARA Concluded

01/05/2003 - 30/04/2004

Team

Ana Moreira, João Araújo,

Rewriting and Algebraic Data Types

Rew Concluded

01/03/2000 - 01/03/2003

Team

Luis Caires,

Concurrent Constraint Programming for Time-Critical Systems

COTIC Concluded

01/01/1997 - 01/01/2001

Team

Luís Monteiro,

Models and Infra-structures for Mobile cOmputing

MIMO Concluded

01/01/2002 - 31/12/2004

Team

Luis Caires, Hervé Paulino, Vasco Vasconcelos, Francisco Martins,

Aspect Specification for the Space Domain

ASSD Concluded

15/01/2006 - 30/01/2007

Team

Ana Moreira, João Araújo,

Formal Approach to Software Architecture

FAST Concluded

01/07/2000 - 01/06/2004

Team

Luis Caires, Miguel Wermelinger,

Desenvolvimento de Software com Aspectos

SOFTAS Concluded

01/04/2005 - 01/05/2008

Team

Ana Moreira, João Araújo, Miguel Goulão, Miguel Monteiro, Sérgio Bryton, Pedro Guerreiro, Fernando Brito e Abreu, Isabel Brito,

Multidimensional Dimensional Analysis of Requirements Level Trade-Offs

MULDRE Concluded

01/01/2004 - 21/02/2007

Team

Ana Moreira, João Araújo,

Software Engineering for Service-Oriented Overlay Computers

SENSORIA Concluded

01/09/2005 - 01/05/2010

Team

Luís Monteiro, Luis Caires, João Costa Seco, Carla Ferreira, Hugo Torres Vieira,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems