| Home \ Research Areas \ Research Stream | Login |
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.
[ Visitors Hosted @ CITI ] [ CITI Members Visits ]
page 1 of 3 - listing visits 1 to 20 of a total of 51
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.