CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home  \  Research Areas  \  Research Stream

Login

CITI Welcome Research Areas Organization Executive Board Advisory Board Contacts Useful Information People CITI Members Visitors Activities Research Projects Publications Seminars @ CITI External Talks & Seminars Graduation Activities Organization of Events Editorial Committees Prototypes Visits & Missions Activity Reports Search & Query Search BibTeX Generator

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.

---

Luis Caires, Full Professor, Area/Group coordinator Luis Monteiro, Full Professor Pedro Guerreiro, Full Professor Ana Moreira, Associate Professor Fernando Brito e Abreu, Associate Professor António Ravara, Assistant Professor Artur Miguel Dias, Assistant Professor Carla Ferreira, Assistant Professor Fernanda Barbosa, Assistant Professor João Araújo, Assistant Professor João Costa Seco, Assistant Professor Margarida Mamede, Assistant Professor Miguel Goulão, Assistant Professor Miguel Pessoa Monteiro, Assistant Professor Vasco Amaral, Assistant Professor Anacleto Correia, Associate Researcher Elisabete Freire, Associate Researcher Hugo Torres Vieira, Associate Researcher Isabel Sofia Brito, Associate Researcher Jorge A. Pérez, Associate Researcher Luís Alexandre Ferreira da Silva, Associate Researcher Marco Giunti, Associate Researcher Mauricio Alférez, Associate Researcher Ana Paula Maldonado, PhD Student Ankica Barisic, PhD Student Anne Kersten, PhD Student Antonielly Garcia Rodrigues, PhD Student Bernardo Toninho, PhD Student Carlos Leandro, PhD Student Cédric Grueau, PhD Student Filipe Militão, PhD Student Jorge Barreiros, PhD Student José Magno Lopes, PhD Student Luís Miguel Lourenço, PhD Student Luísa Lourenço, PhD Student Miguel Domingues, PhD Student Sérgio Bryton, PhD Student Tiago Santos, PhD Student Luís Pires da Silva, MSc Student Joana Dâmaso, Intern

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



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