CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Areas  \  Research Stream Login  
   
banner bottom
[ Software Systems ]

Software Systems researches new programming and modeling languages, development methods and environments for large software-intensive systems, with a focus on web based and dependable systems, where communication and concurrency are pervasive. Sample application scenarios we are particularly interested in include web based applications (e.g., business apps, social networks), service infrastructures (e.g., app-stores, multi-party services / mashups), and ubiquitous computing infrastructures, such as smart buildings. Our work bridges from foundational theoretical principles to prototype development, experimental validation, and ultimately to technology and knowledge transfer.


bulletLuis Caires, Full Professor, Area/Group coordinator
bulletLuis Monteiro, Full Professor
bulletPedro Guerreiro, Full Professor
bulletAna Moreira, Associate Professor
bulletFernando Brito e Abreu, Associate Professor
bulletAntónio Ravara, Assistant Professor
bulletArtur Miguel Dias, Assistant Professor
bulletCarla Ferreira, Assistant Professor
bulletFernanda Barbosa, Assistant Professor
bulletJoão Araújo, Assistant Professor
bulletJoão Costa Seco, Assistant Professor
bulletMargarida Mamede, Assistant Professor
bulletMiguel Goulão, Assistant Professor
bulletMiguel Pessoa Monteiro, Assistant Professor
bulletVasco Amaral, Assistant Professor
bulletAnacleto Correia, Associate Researcher
bulletElisabete Freire, Associate Researcher
bulletHugo Torres Vieira, Associate Researcher
bulletIsabel Sofia Brito, Associate Researcher
bulletJorge A. Pérez, Associate Researcher
bulletLuís Alexandre Ferreira da Silva, Associate Researcher
bulletMarco Giunti, Associate Researcher
bulletMauricio Alférez, Associate Researcher
bulletAna Paula Maldonado, PhD Student
bulletAnkica Barisic, PhD Student
bulletAnne Kersten, PhD Student
bulletBernardo Toninho, PhD Student
bulletCarlos Leandro, PhD Student
bulletCédric Grueau, PhD Student
bulletFilipe Militão, PhD Student
bulletJorge Barreiros, PhD Student
bulletJosé Magno Lopes, PhD Student
bulletLuísa Lourenço, PhD Student
bulletMiguel Domingues, PhD Student
bulletSérgio Bryton, PhD Student
bulletTiago Santos, PhD Student
Research Stream Activities:

*  Research Projects (55)
*  Publications (735)
*  Seminars @ CITI (86)
*  External Talks (128)
*  Graduation Activities (230)
*  Organization of Events (277)
*  Editorial Committees (11)
*  Prototypes (72)
*  Visits (128)


[ Stream/CITI Graduation Activities ]      [ Participation in Graduations Jury ]

page 6 of 8 - listing post-graduations 101 to 120 of a total of 144

prev   |   1  2  3  4  5  6  7  8   |   next


* Modularity Improvements with Aspect-Oriented Programming
   MSc, Sérgio Bryton
   [ 25 Jul 2008 ]
   Supervised by Fernando Brito e Abreu

* Aspect-Oriented Requirements Engineering
   Phd, Isabel Sofia Brito
   [ 1 Jan 2004 to 18 Jul 2008 ]
   Supervised by Ana Moreira

* A Type Safe Language and Runtime support for Service Oriented Systems
   MSc, Filipe Militão (CITI)
   [ 1 Oct 2007 to 1 Jul 2008 ]
   Supervised by Luis Caires

* An Aspect-Oriented Infrastructure for Design by Contract in Java
   MSc, Sergio Agostinho (Universidade Nova de Lisboa)
   [ 1 Mar 2007 to 25 Jun 2008 ]
   Supervised by Pedro Guerreiro, Ana Moreira

* Hyper/Net: um ambiente de implementação MDSoC em .NET
   MSc, Tiago Dias (Brisa)
   [ 1 Sep 2005 to 23 Jan 2008 ]
   Supervised by Ana Moreira

* Dynamic Spatial Logics
   Agg, Luis Caires
   [ 14 Nov 2007 to 16 Nov 2007 ]
   Supervised by Luis Caires

* (H)ALL: a DSL for Rapid Prototyping of User Interfaces for Control Systems for Critical Complex Control Systems
   MSc, Bruno Barroca
   [ 28 Feb 2006 to 27 Jun 2007 ]
   Supervised by Vasco Amaral

* Designing Multi-Agent Systems with Aspects
   Phd, Carla Silva (Universidade Federal de Pernambuco)
   [ 1 Mar 2004 to 1 Apr 2007 ]
   Supervised by João Araújo, Jaelson F. B. Castro (Universidade Federal de Pernambuco)

* Especificação e composição de requisitos aspectuais
   MSc, Elisabete Soeiro
   [ 1 Jan 2005 to 21 Mar 2007 ]
   Supervised by Ana Moreira

* Uma metodologia ágil para requisitos baseada em cenários e orientada a objectos
   MSc, Joao Ribeiro (ONI)
   [ 31 Oct 2005 to 30 Jan 2007 ]
   Supervised by João Araújo

* Languages and Types for Component Oriented Programming
   Phd, João Costa Seco
   [ 1 Jan 2000 to 13 Oct 2006 ]
   Supervised by Luis Caires

* Um Modelo Multicritério para Gerir Conflitos na Composição de Aspectos
   MSc, Filipe Vieira
   [ 1 Jul 2004 to 23 Jan 2006 ]
   Supervised by Ana Moreira

* Controlling Security Policies in a Distributed Environment.
   Phd, Francisco Martins
   [ 1 Nov 2000 to 1 Jan 2006 ]
   Supervised by Vasco T. Vasconcelos

* ComponentGlue: Uma linguagem de Composição para Arquitecturas Distribuídas
   MSc, Miguel Durão (Siemens)
   [ 1 Jan 2004 to 12 Dec 2004 ]
   Supervised by Luis Caires

* Group-Based Distributed Programming Abstractions: the GroupLog Model [In Portuguese]
   Phd, Fernanda Barbosa
   [ 30 Nov 2004 ]
   Supervised by José Alberto Cardoso e Cunha

* Expressivité des logiques des spaces
   Phd, Etienne Lozes (ENS Cachan)
   [ 1 Jan 2001 to 4 Nov 2004 ]
   Supervised by Luis Caires, Daniel Hirschkoff (ENS Lyon)

* Aplicação de conjuntos com famílias de equivalências e de coálgebras à semântica de linguagens com concorrência e mobilidade
   Phd, Elisabete Freire
   [ 1 May 1998 to 4 Nov 2004 ]
   Supervised by Luis Monteiro

* Computational Power of Killers and Helpers in the Immune System
   MSc, José Pacheco
   [ 1 Jan 2000 to 21 Jul 2004 ]
   Supervised by Helder Coelho (Faculdade de Ciências da Universidade de Lisboa), José Félix Costa (Instituto Superior Técnico)

* Conceptualization of an environment for the development of simulators based on finite element method
   Phd, Maria Lencastre (Universidade de Pernambuco)
   [ 1 Mar 2000 to 27 Feb 2004 ]
   Supervised by João Araújo, Jaelson F. B. Castro (Universidade Federal de Pernambuco), Félix Santos (Universidade Federal de Pernambuco)

* Vision: um método de elicitação e análise de requisitos orientado a viewpoints
   MSc, Paulo Coutinho (DI-FCT-UNL)
   [ 1 Oct 2001 to 30 Jun 2003 ]
   Supervised by João Araújo


prev   |   1  2  3  4  5  6  7  8   |   next