CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  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
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 8 - listing post-graduations 1 to 20 of a total of 144

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

* Model-Driven Generative Programming for BIS Mobile Applications
   MSc, Luís Miguel Pires Teixeira Silva (Instituto Universitário de Lisboa)
   [ 28 Jul 2014 ]
   Supervised by Fernando Brito e Abreu

* Animation of BPMN Business Processes Models
   MSc, Marco Roque (Instituto Universitário de Lisboa)
   [ 4 Jul 2014 ]
   Supervised by Fernando Brito e Abreu

* Quality of Process Modeling using BPMN: A Model-Driven Approach
   Phd, Anacleto Correia
   [ 5 May 2014 ]
   Supervised by Fernando Brito e Abreu, Vasco Amaral

* A Framework for Efficient Model Transformation
   MSc, Cláudio Gomes (Departamento de Informática FCT/UNL)
   [ 1 Sep 2012 to 20 Dec 2013 ]
   Supervised by Vasco Amaral

* Preventing Atomicity Violations with Contracts
   MSc, Diogo Sousa (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Sep 2012 to 19 Dec 2013 ]
   Supervised by João Lourenço, Carla Ferreira

* Formal Specification, Verification and Analysis of Long-running Transaction
   Phd, Anne Kersten (IMT Institute for Advanced Studies Lucca)
   [ 2 Dec 2010 to 18 Dec 2013 ]
   Supervised by Carla Ferreira, Roberto Bruni (Università di Pisa)

* Child Programming: An adequate Domain Specific Language for programming specific robots
   MSc, Pedro Leonardo (Departamento de Informática FCT/UNL)
   [ 1 Sep 2012 to 15 Dec 2013 ]
   Supervised by Vasco Amaral

* Encaminhamento com Múltiplas Árvores
   MSc, João Pedro Amaro da Silva Horta (Departamento de Informática FCT/UNL)
   [ 25 Sep 2012 to 9 Dec 2013 ]
   Supervised by José Legatheaux Martins, Margarida Mamede

* Mineração de Repositórios de Software
   MSc, Goreti Silva (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 8 Nov 2012 to 27 Nov 2013 ]
   Supervised by Miguel Goulão

* Construção e Edição de Diagramas de Voronoi na Esfera
   Phd, João Carlos de Brito Dinis (Instituto Nacional de Engenharia Tecnologia e Inovação)
   [ 11 Apr 2008 to 27 Nov 2013 ]
   Supervised by Margarida Mamede

* An Eclipse Plugin for Metamodel Driven Measurement
   MSc, Pedro Janeiro Coimbra (Instituto Universitário de Lisboa)
   [ 13 Nov 2013 ]
   Supervised by Fernando Brito e Abreu

* Analysable Software Language Translations
   Phd, Bruno Barroca
   [ 12 Dec 2007 to 19 Jul 2013 ]
   Supervised by Vasco Amaral

* Contribution of agile management for software projects: An empirical study in news portals of Brazil
   MSc, Elton Santos Vianna (Instituto Universitário de Lisboa)
   [ 17 Jul 2013 ]
   Supervised by Fernando Brito e Abreu, Gutenberg A. Silveira (Fundação Getúlio Vargas)

* Epik: Ambiente para desenvolvimento de jogos para aprendizagem colaborativa e interativa
   MSc, Bruno Sampaio (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Feb 2012 to 21 May 2013 ]
   Supervised by Carmen Morgado, Fernanda Barbosa

* Integrated Data model and DSL modifications
   MSc, Miguel Alves (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Mar 2012 to 1 Mar 2013 ]
   Supervised by João Costa Seco

* Data queries over heterogeneous sources
   MSc, Nuno Grade (CITI)
   [ 1 Mar 2012 to 1 Mar 2013 ]
   Supervised by João Costa Seco, Lúcio Ferrão (OutSystems, SA)

* Derivation and Consistency Checking of Models in Early Software Product Line Engineering
   Phd, Mauricio Alférez
   [ 1 Jan 2009 to 14 Dec 2012 ]
   Supervised by Ana Moreira, Vasco Amaral

* Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs
   MSc, Sérgio Silva (Departamento de Informática FCT/UNL)
   [ 10 Dec 2012 ]
   Supervised by João Costa Seco, Hugo Torres Vieira

* Integration of Strategy-oriented and Goal-oriented Approaches to Self-Adaptation
   MSc, Carlos Miguel Pereira Bangueses (Faculdade de Ciências da Universidade de Lisboa)
   [ 16 Nov 2012 ]
   Supervised by Antónia Lopes

* Estudo comparativo entre Interfaces de Programação de Aplicações Mapas
   MSc, Ana Isabel Fernandes
   [ 1 Oct 2011 to 15 Nov 2012 ]
   Supervised by Miguel Goulão, Armanda Rodrigues

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