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 3 of 8 - listing post-graduations 41 to 60 of a total of 144

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


* Gestão de memória em CxProlog
   MSc, André Manuel Pinheiro Castro (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2009 to 14 Oct 2010 ]
   Supervised by Artur Miguel Dias

* Software Languages Engineering: Experimental Evaluation
   MSc, Pedro Gabriel (Departamento de Informática FCT/UNL)
   [ 1 Mar 2009 to 13 Oct 2010 ]
   Supervised by Miguel Goulão, Vasco Amaral

* Modelação de Concerns Voláteis em aplicações geoespaciais: O caso dos Concerns Geoespaciais
   MSc, Sara Machado Silva (CITI)
   [ 15 Sep 2009 to 12 Oct 2010 ]
   Supervised by João Araújo, Armanda Rodrigues

* A Formal Approach to Long Running Transactions
   Phd, Cátia Vaz (Instituto Superior de Engenharia de Lisboa)
   [ 3 May 2005 to 21 Sep 2010 ]
   Supervised by Carla Ferreira

* Profiling de Aplicações em ambientes de produção
   MSc, Hugo Menino Aguiar (Departamento de Informática FCT/UNL)
   [ 16 Sep 2010 ]
   Supervised by João Costa Seco

* Core Language for Web Applications
   MSc, Miguel Domingues
   [ 1 Sep 2009 to 20 Jul 2010 ]
   Supervised by João Costa Seco

* A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing
   Phd, Hugo Torres Vieira
   [ 1 Jan 2006 to 24 Jun 2010 ]
   Supervised by Luis Caires

* Refinamento de Diagramas de Classes: Análise e Verificação
   MSc, Ana Ferreira (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Sep 2008 to 7 May 2010 ]
   Supervised by Carla Ferreira

* Estender a abordagem AORA para Linhas de Produtos de Software
   MSc, Patrícia Varela (Departamento de Informática FCT/UNL)
   [ 30 Sep 2008 to 30 Apr 2010 ]
   Supervised by João Araújo, Ana Moreira, Isabel Sofia Brito

* Adaptação da Abordagem Theme para Linhas de Produtos de Software
   MSc, Inês Nunes Simão (Departamento de Informática FCT/UNL)
   [ 15 Sep 2009 to 21 Apr 2010 ]
   Supervised by João Araújo

* Unificação de linguagens orientadas a objectivos: o caso do i* e o KAOS
   MSc, Pedro Miguel Beja Patrício (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Mar 2009 to 21 Apr 2010 ]
   Supervised by João Araújo, Vasco Amaral

* Mecanismos de Recuperação para Serviços Web
   MSc, Rui Costa (Departamento de Informática FCT/UNL)
   [ 1 Sep 2008 to 21 Apr 2010 ]
   Supervised by Carla Ferreira

* A Domain Specific Language for a Treceability Framework
   MSc, Ricardo João Dias Mateus (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2009 to 9 Apr 2010 ]
   Supervised by Vasco Amaral

* Building a Domain Specific Query Language for the AMPLE Traceability Framework (ATF)
   MSc, Ricardo João Dias Mateus (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Mar 2009 to 9 Apr 2010 ]
   Supervised by Vasco Amaral

* Governança e Modelação de Processos de TI
   MSc, Raquel Bragança Porciúncula
   [ 9 Apr 2010 ]
   Supervised by Fernando Brito e Abreu

* DSLTranslator - Ferramenta para Transformação de Modelos
   MSc, Roberto Fernandes Silva Félix (Departamento de Informática FCT/UNL)
   [ 1 Sep 2009 to 7 Apr 2010 ]
   Supervised by Vasco Amaral

* A DSML for Specification of Ubiquitous Games
   MSc, Ricardo Guerreiro (Departamento de Informática FCT/UNL)
   [ 1 Mar 2009 to 7 Apr 2010 ]
   Supervised by Nuno Correia, Vasco Amaral

* Estruturas de Dados Métricas Genéricas em Memória Secundária
   MSc, Ângelo Loureiro Sarmento (Departamento de Informática FCT/UNL)
   [ 22 Sep 2008 to 6 Apr 2010 ]
   Supervised by Margarida Mamede

* Engenharia de Requisitos Orientada a Modelos: O Caso das Abordagens Orientadas a Objectivos
   MSc, Rui Monteiro (Departamento de Informática FCT/UNL)
   [ 1 Mar 2009 to 23 Mar 2010 ]
   Supervised by João Araújo, Vasco Amaral

* Type Inference for Conversation Types
   MSc, Luísa Lourenço
   [ 1 Jan 2009 to 28 Feb 2010 ]
   Supervised by Luis Caires


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