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 2 of 8 - listing post-graduations 21 to 40 of a total of 144

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


* Information Flow Analysis using Data-dependent Logical Propositions
   MSc, Paulo Jorge Abreu Duarte Ferreira (Departamento de Informática FCT/UNL)
   [ 6 Nov 2012 ]
   Supervised by João Costa Seco, Carla Ferreira

* Parametrização da Estrutura de Dados Métrica RLC
   MSc, Águeda Piedade Ramos (CITI)
   [ 28 Sep 2010 to 22 Jun 2012 ]
   Supervised by Margarida Mamede

* Melhoria da qualidade para modelos orientados a objectivos: o caso da abordagem KAOS
   MSc, Patrícia Espada (Departamento de Informática FCT/UNL)
   [ 1 Oct 2011 to 21 May 2012 ]
   Supervised by João Araújo, Miguel Goulão

* Test Selection from Algebraic Petri Nets: an operational method and a tool
   MSc, Rui Domingues (Departamento de Informática FCT/UNL)
   [ 1 Sep 2009 to 6 Mar 2012 ]
   Supervised by Vasco Amaral

* Building Anonymised Data Samples
   MSc, Bruno Areal (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Mar 2010 to 5 Dec 2011 ]
   Supervised by Miguel Goulão, José Júlio Alferes (CENTRIA)

* Um Middleware para a Internet das Coisas
   MSc, Bruno Valente (Faculdade de Ciências da Universidade de Lisboa)
   [ 29 Nov 2011 ]
   Supervised by Francisco Martins, Dulce Domingos (Faculdade de Ciências da Universidade de Lisboa)

* A Semi-automatic Approach to Code Smells Detection
   MSc, Tiago Simões Pessoa (CITI)
   [ 18 Nov 2011 ]
   Supervised by Fernando Brito e Abreu, Miguel Pessoa Monteiro

* Avaliação comparativa de formatos de informação geo-referenciada em contexto militar
   MSc, Francisco Salvador (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Oct 2010 to 9 Nov 2011 ]
   Supervised by Miguel Goulão, Sérgio Bryton

* Pesquisa de eventos geográficos semelhantes: Trajectórias de Objectos em Movimento
   MSc, Fábio Afonso
   [ 15 Feb 2010 to 30 Mar 2011 ]
   Supervised by Armanda Rodrigues, Fernanda Barbosa

* Measuring Modularity of CaesarJ Components
   MSc, Miguel Baptista de Almeida (Departamento de Informática FCT/UNL)
   [ 15 Sep 2009 to 18 Mar 2011 ]
   Supervised by Miguel Goulão, Miguel Pessoa Monteiro

* Statically Proving Behavioural Properties in the Pi-Calculus via Dependency Analysis
   Phd, Maxime Gamboni (Instituto Superior Técnico)
   [ 17 Dec 2010 ]
   Supervised by António Ravara

* Simulating Sensor Networks
   MSc, Duarte Vieira (Faculdade de Ciências da Universidade de Lisboa)
   [ 25 Nov 2010 ]
   Supervised by Francisco Martins

* Linguagem de Especificação Leve Hoare-Separação para Java
   MSc, Tiago Santos
   [ 18 Nov 2009 to 18 Nov 2010 ]
   Supervised by Luis Caires

* Análise da Evolução de Software com Séries Temporais
   MSc, Nelson Baptista Fonte (Departamento de Informática FCT/UNL)
   [ 15 Sep 2009 to 4 Nov 2010 ]
   Supervised by Miguel Goulão

* JavaCO - Uma variante de Java com um sistema de tipos baseado em covariância
   MSc, Duarte João Figueira Martins (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2009 to 29 Oct 2010 ]
   Supervised by Artur Miguel Dias

* Core Language for Web Applications
   MSc, Miguel Domingues
   [ 27 Oct 2010 ]
   Supervised by João Costa Seco

* Estruturas de Dados Para Representação de um Léxico Bilingue
   MSc, Jorge Nogueira da Costa (CITI)
   [ 1 Oct 2009 to 22 Oct 2010 ]
   Supervised by Gabriel Pereira Lopes, Luís Russo

* Metamodelação de Processos e Serviços
   MSc, Jorge Manuel da Silva C. P. Freitas
   [ 22 Oct 2010 ]
   Supervised by Fernando Brito e Abreu

* Uma Linguagem de Domínio Específico para AORE
   MSc, Ana Oliveira (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2009 to 20 Oct 2010 ]
   Supervised by João Araújo, Vasco Amaral

* Modelo Automático de Qualidade para Sítios Web
   MSc, Américo Rio
   [ 19 Oct 2010 ]
   Supervised by Fernando Brito e Abreu


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