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 1 of 5 - listing post-graduations 1 to 20 of a total of 86

prev   |   1  2  3  4  5   |   next


* Heterogeneous Computing with an Algorithmic Skeleton Framework
   MSc, Fábio Soldado (DI-FCT-UNL)
   [ 1 Mar 2013 to 27 Jun 2014 ]
   Jury participation: Hervé Paulino, João Araújo

* Definição e Execução de Computações Dinâmicas numa Linguagem de Programação Orientada-a-Serviços
   MSc, Paulo Dias (DI-FCT-UNL)
   [ 4 Mar 2013 to 26 Jun 2014 ]
   Jury participation: Hervé Paulino, Ana Moreira

* A System’s Approach to Cache Hierarchy-Aware Decomposition of Data-Parallel Computations
   MSc, Nuno Delgado (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 10 Sep 2012 to 8 May 2014 ]
   Jury participation: Hervé Paulino, António Ravara

* Video Interaction using Pen-based Technology
   Phd, Diogo Cabral
   [ 1 Aug 2008 to 7 Feb 2014 ]
   Jury participation: Nuno Correia, Luis Caires, Teresa Romão

* FairSky: Gestão Confiável e Otimizada de Dados em Múltiplas Nuvens de Armazenamento na Internet
   MSc, Adriano Constantino de Sousa Strumbudakis (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Mar 2013 to 20 Dec 2013 ]
   Jury participation: João Araújo

* Um estudo de performance de uma ferramenta de Object/Relational Mapping
   MSc, Joana Isabel da Costa Roque (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2012 to 19 Dec 2013 ]
   Jury participation: João Lourenço, Vasco Amaral

* Healing replicas in a software component replication system
   MSc, André Alves (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 12 Dec 2013 ]
   Jury participation: João Araújo

* Maintaining the Correctness of Transactional Memory Programs
   Phd, Ricardo Dias
   [ 20 Sep 2008 to 25 Nov 2013 ]
   Jury participation: José Alberto Cardoso e Cunha, José Legatheaux Martins, João Costa Seco

* Real-Time Collaborative Editing of OutSystems DSL Models
   MSc, Tiago Alexandre Gomes de Almeida (OutSystems, SA)
   [ 18 Nov 2013 to 18 Nov 2013 ]
   Jury participation: Ana Moreira

* Repairs of Databases with Null Values
   MSc, Lara Raquel Saraiva Luís (FCT-UNL)
   [ 6 Nov 2013 ]
   Jury participation: Carla Ferreira

* Data-Centric Concurrency Control on the Java Programming Language
   MSc, Daniel Luis Landeiroto Parreira (DI-FCT-UNL)
   [ 10 Sep 2012 to 4 Nov 2013 ]
   Jury participation: Hervé Paulino, Margarida Mamede

* Distributed Replicated Macro-Components
   MSc, Helder Ricardo Laximi Martins (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2012 to 29 Oct 2013 ]
   Jury participation: Nuno Preguiça, António Ravara

* DACA: Architecture to Implement Dynamic Access Control Mechanisms on Business Tier Components
   Phd, Óscar Pereira (Universidade de Aveiro)
   [ 15 Jul 2013 to 15 Jul 2013 ]
   Jury participation: João Costa Seco

* Development of CMS-based Web-Applications with a Multi-Language Model-Driven Approach
   Phd, João Paulo Pedro Mendes da Sousa Saraiva (INESC Id)
   [ 9 Jan 2013 ]
   Jury participation: Vasco Amaral

* A Modular Distributed Software Transacional Memory Framework
   MSc, Tiago Vale
   [ 26 Oct 2012 ]
   Jury participation: João Lourenço, Carla Ferreira

* Reconfiguração Dinâmica Estruturada de Workflows de Serviços Web
   MSc, Filipe Jorge da Silva Araújo (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2010 to 4 Jul 2012 ]
   Jury participation: Maria Cecília Gomes, António Ravara

* Key-CRDT Stores
   MSc, Valter Balegas
   [ 1 Mar 2011 to 2 Jul 2012 ]
   Jury participation: Carla Ferreira

* Benchmark-based Software Product Quality Evaluation
   Phd, Tiago Miguel Laureano Alves (Universidade do Minho)
   [ 15 May 2012 ]
   Jury participation: Fernando Brito e Abreu

* Tolerância a Faltas Bizantinas em Servidores RMI
   MSc, João Miguel Fernandes Bandeira Vaz (Departamento de Informática FCT/UNL)
   [ 20 Sep 2010 to 20 Jan 2012 ]
   Jury participation: Nuno Preguiça, Carla Ferreira

* Persistência de dados na Cloud recorrendo a uma Estrutura de Dados Métrica
   MSc, José Henrique Martins Cabrita Rio (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Sep 2010 to 21 Dec 2011 ]
   Jury participation: Sérgio Duarte, Luis Marcelino, António Ravara


prev   |   1  2  3  4  5   |   next