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 4 of 8 - listing post-graduations 61 to 80 of a total of 144

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


* MGPSI – Metodologia de Gestão de Projectos Aplicada ao Desenvolvimento de Sistemas de Informação
   MSc, José Carlos Gonçalves Costa
   [ 15 Feb 2010 ]
   Supervised by Fernando Brito e Abreu

* Verificação de Protocolos de e-Voting
   MSc, Fátima Reis (Departamento de Informática FCT/UNL)
   [ 1 Sep 2008 to 27 Nov 2009 ]
   Supervised by Carla Ferreira

* Plugin de CxProlog para o Code::Blocks IDE
   MSc, Igor Vieira de Carvalho (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2008 to 24 Nov 2009 ]
   Supervised by Artur Miguel Dias

* Evaluation of requirements Techniques with Aspects
   Phd, Ricardo Ramos (Universidade Federal de Pernambuco)
   [ 1 Mar 2005 to 20 Nov 2009 ]
   Supervised by João Araújo, Jaelson F. B. Castro (Universidade Federal de Pernambuco)

* Modelação de Aplicações SIG com Aspectos
   MSc, Ana Oliveira (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 29 Oct 2009 ]
   Supervised by João Araújo, Armanda Rodrigues

* A Tool and Logic for the Analysis of Security Protocols
   MSc, Bernardo Toninho
   [ 15 Sep 2008 to 26 Oct 2009 ]
   Supervised by Luis Caires

* Geração automática de playlists de músicas semelhantes
   MSc, Francisco Costa (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2008 to 22 Oct 2009 ]
   Supervised by Fernanda Barbosa

* Pesquisa de Imagens de Rosto
   MSc, Pedro Chambel (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2008 to 22 Oct 2009 ]
   Supervised by Fernanda Barbosa

* Optimizações numa linguagem para o Desenvolvimento de Aplicações Web
   MSc, Hélio Dolores (OutSystems, SA)
   [ 15 Sep 2008 to 21 Oct 2009 ]
   Supervised by Luis Caires, Lúcio Ferrão (OutSystems, SA)

* Tailoring KAOS for Product Lines
   MSc, Dagmar Baptista (Departamento de Informática FCT/UNL)
   [ 21 Oct 2009 ]
   Supervised by João Araújo

* Verificação da Consistência de Modelos UML
   MSc, Eunice Silva (Departamento de Informática FCT/UNL)
   [ 1 Sep 2008 to 20 Oct 2009 ]
   Supervised by Carla Ferreira

* Run-time for parallel execution of domain specific languages (DSL)
   MSc, João Carlos Tanganho de Sousa (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Sep 2008 to 20 Oct 2009 ]
   Supervised by João Lourenço, Vasco Amaral

* A Type System for Access Control in Object Oriented Languages
   MSc, Mário Pires
   [ 15 Sep 2008 to 16 Oct 2009 ]
   Supervised by Luis Caires

* Integrating KAOS with Aspectual Scenarios
   MSc, Cátia Reis de Oliveira (Departamento de Informática FCT/UNL)
   [ 1 Mar 2008 to 15 Oct 2009 ]
   Supervised by João Araújo

* A Traceability Pattern to Control the Concern Evolution in a Multidimensional Space
   Phd, Marta Tabares (Columbia University)
   [ 1 Jan 2005 to 8 Oct 2009 ]
   Supervised by Ana Moreira, Fernando Arango Isaza (Universidad Nacional de Colombia)

* Information Technology Service Management: An Experimental Approach Towards IT Service Prediction
   MSc, João Carlos Palmela Pinheiro Caldeira
   [ 20 Jun 2009 ]
   Supervised by Fernando Brito e Abreu

* Designing a DSL solution for the domain of Augmented Reality Software applications Specification
   MSc, André da Fonseca Rosa (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 3 Nov 2008 to 1 Jun 2009 ]
   Supervised by Vasco Amaral

* Specifying Adaptivity rules for building user interfaces for complex Control Systems
   MSc, Pedro Ricardo dos Santos Calado (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 3 Jul 2008 to 20 May 2009 ]
   Supervised by Vasco Amaral

* BATIC3S - Modeling control systems' interfaces (DSL editors and model transformation)
   MSc, Vasco Sousa
   [ 1 Nov 2007 to 24 Apr 2009 ]
   Supervised by Vasco Amaral

* Uma Linguagem de Domínio Específico para a Framework i*
   MSc, Carlos Miguel Marques Martins Simões Nunes (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Apr 2008 to 23 Apr 2009 ]
   Supervised by João Araújo, Vasco Amaral


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