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
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)

[ Visitors Hosted @ CITI ]      [ CITI Members Visits ]

page 1 of 3 - listing visits 1 to 20 of a total of 51

prev   |   1  2  3   |   next

* Fernando Brito e Abreu @ Universidad Politécnica de Valencia (Spain)
   [ 11 Dec 2013 to 13 Dec 2013 ]
   Hosted by: Silvia Abrahão

Presentation of the invited talk "Integrating Metamodel Driven Measurement in the Eclipse IDE". Presentation of current research works and discussion of possible collaborations in the future.

* Marco Giunti @ University of Malta (Malta)
   [ 21 Jul 2013 to 4 Aug 2013 ]
   Hosted by: Adrian Francalanza

Short term scientific mission supported by ECOST action Behavioural Types for Reliable Large-Scale Software Systems (BETTY). Title: "A behavioural theory for sessions".

* Fernando Brito e Abreu @ Faculdade de Engenharia da Universidade do Porto (Portugal)
   [ 4 Feb 2013 to 8 Feb 2013 ]
   Hosted by: João Pascoal Faria

Invited professor with presentation of a 14 hours course on Empirical Software Engineering to faculty staff and PRODEI PhD students. Meeting to identify common research interests.

* João Costa Seco @ Carnegie Mellon University (United States)
   [ 21 Aug 2012 to 21 Dec 2012 ]
   Hosted by: Frank Pfenning

Faculty Exchange Visit at Carnegie Mellon University, under the CMU|Portugal program Report

* João Araújo @ Lancaster University (United Kingdom)
   [ 28 May 2012 to 30 May 2012 ]
   Hosted by: Awais Rashid

Participation in a PhD jury and meetings to explore future collaborations.

* João Araújo @ Universidade Federal de Minas Gerais (Brazil)
   [ 2 May 2012 to 5 May 2012 ]
   Hosted by: Eduardo Figueiredo

Visit to UFMG to explore new collaborations, participating as a keynote in a Software Engineering Workshop.

* João Araújo @ PUC-Rio (Brazil)
   [ 10 Apr 2012 to 15 Apr 2012 ]
   Hosted by: Alessandro Garcia

To do research with Alessandro Garcias's group. Two papers were published as results of this visit.

* Fernando Brito e Abreu @ Universidade Federal do Rio de Janeiro (Brazil)
   [ 26 Oct 2011 to 1 Nov 2011 ]
   Hosted by: Guilherme Horta Travassos

Visiting professsor at COPPE / Federal University of Rio de Janeiro, Brasil. Presentation of two department seminars. Presentation of ongoing research work and plans for future cooperation.

* Carla Ferreira @ Carnegie Mellon University (United States)
   [ 15 Feb 2011 to 31 Jul 2011 ]
   Hosted by: Frank Pfenning

Faculty Exchange CMU Portugal

* João Araújo @ Universidade Federal do Rio Grande do Sul (Brazil)
   [ 24 Jul 2009 to 31 Jul 2009 ]
   Hosted by: Eduardo Piveta

The aim of the visit is to work on the project "Identification of concerns and refactoring in aspect-oriented systems".

* Miguel Goulão @ Universidade Federal do Rio Grande do Sul (Brazil)
   [ 24 Jul 2009 to 31 Jul 2009 ]
   Hosted by: Eduardo Piveta

Work on an approach to rank opportunities for refactoring in software artifacts, focusing on those opportunities that are more likely to improve a set of software quality attributes. The approach uses (i) metrics-based evaluation functions to quantitatively rank refactoring opportunities and (ii) impact functions to evaluate the eff ects of refactoring (without actually having to refactor the artifacts). The approach aims to help developers to choose the best refactoring opportunities in a given context.

* João Araújo @ Chinese University of Hong Kong (China)
   [ 29 Jan 2009 to 5 Feb 2009 ]
   Hosted by: Elisa Baniassad

The pupose of the visit to CUHK Computer Science and Engineering Department, is to discuss possible future collaborations and carry on work started in the area of aspect-oriented requirements where both have organised workshops together and edited a special issue on early aspects.

* Fernando Brito e Abreu @ École des Mines de Nantes (France)
   [ 9 Jan 2009 to 13 Jan 2009 ]
   Hosted by: Jacques Noyé

Visiting professor at the Département Informatique. Presentation of a course in Experimental Software Engineering at the EMOOSE European MSc program. Research meeting with Jean Bézivin.

* João Araújo @ University of Ottawa (Canada)
   [ 23 Nov 2008 to 28 Nov 2008 ]
   Hosted by: Gunter Mussbacher

To worr on teh area of aspects for software product lines, with application to a case study, the results will lead to a paper submission a Journal. The approach developed provides a good application domain for the Aspect-oriented user Requirements Notation and an innovative integration between goal models and feature models.

* João Araújo @ Lancaster University (United Kingdom)
   [ 12 Oct 2008 to 15 Oct 2008 ]
   Hosted by: Awais Rashid

The purpose of the visit is to attend the plenary meeting of teh AMPLE project.

* Carla Ferreira @ Universitá di Bologna (Italy)
   [ 1 Sep 2008 to 6 Sep 2008 ]
   Hosted by: Ivan Lanese

Cooperation regarding compensation policies for long running transactions.

* Vasco Amaral @ Centre Universitaire d\'Informatique de l\'Université de Genève (Switzerland)
   [ 1 Oct 2007 to 15 Jan 2008 ]
   Hosted by: Didier Buchs

As invited Professor, for the winter semester at the University of Geneva.

* Fernando Brito e Abreu @ École des Mines de Nantes (France)
   [ 17 Dec 2007 to 21 Dec 2007 ]
   Hosted by: Jacques Noyé

Visiting professor at the Département Informatique. Presentation of a course in Experimental Software Engineering at the EMOOSE European MSc program.

* Fernando Brito e Abreu @ Universidad Complutense de Madrid (Spain)
   [ 30 Nov 2007 ]
   Hosted by: Manuel Clavel

Exploratory research meeting with mutual presentation of ongoing research works.

* Fernando Brito e Abreu @ École des Mines de Nantes (France)
   [ 26 Jan 2007 to 22 Jan 2007 ]
   Hosted by: Jacques Noyé

Visiting professor at the Département Informatique. Presentation of a course in Software Quality at the EMOOSE European MSc program.

prev   |   1  2  3   |   next