| Home \ Visits | Login |
List of all external researchers that have visited CITI and all visits made by CITI members to other research institutions and universities.
The list MAY NOT BE complete, refer to activity reports for official information.| [ CITI visitors ] [ CITI members visits ] | Other CITI collaborators |
| page 1 of 13 - listing visits 1 to 10 of a total of 124 |
Rolando Martins, Carnegie Mellon University (United States)[ 5 Dec 2012 to 6 Dec 2012 ]
Hosted by: Hervé Paulino
The purpose of the visit was to establish common ground for future research and for Dr. Rolando Martins to present is recent research to the department.
Seminars @ CITI: Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train SystemsGlauco de Figueiredo Carneiro, Universidade Salvador (Brazil)[ 19 Nov 2012 to 22 Nov 2012 ]
Hosted by: Fernando Brito e Abreu
Definition of joint research work in the area of software metrics and visualization. Presentation of a seminar for CITI. Demo of a tool.
Seminars @ CITI: On the Use of Multiple Views Interactive Environments on Software Comprehension ActivitiesToacy Oliveira, Universidade Federal do Rio de Janeiro (Brazil)[ 5 Jun 2012 to 9 Jun 2012 ]
Hosted by: Fernando Brito e Abreu
Definition of joint research work in the area of software reuse and process engineering. Presentation of a seminar for CITI. Participation as panel member in the annual QUASAR workshop.
Seminars @ CITI: Research at prisma@coppe/ufrClaudio Mezzina, INRIA-Grenoble (France)[ 5 Dec 2011 to 9 Dec 2011 ]
Hosted by: Jorge A. Pérez
The purpose of the visit is to explore new collaborations in the context of higher-order process calculi with constructs for dependability.
Seminars @ CITI: Reversing execution in higher order pi-calculusAnne Kersten, IMT Institute for Advanced Studies Lucca (Italy)[ 2 Dec 2010 to 30 Jun 2011 ]
Hosted by: Carla Ferreira
Erasmus PhD student
Guilherme Horta Travassos, Universidade Federal do Rio de Janeiro (Brazil)[ 22 Jun 2011 to 25 Jun 2011 ]
Hosted by: Fernando Brito e Abreu
Definition of joint research work in the area of Experimental Software Engineering. Presentation of a seminar for CITI. Participation as panel member in the annual QUASAR workshop.
Seminars @ CITI: Developing Software Technologies through Experimentation: Experiences from the BattlefieldCinzia Di Giusto, INRIA (France)[ 29 Nov 2010 to 3 Dec 2010 ]
Hosted by: Jorge A. Pérez
The purpose of the visit was to continue with our ongoing work on the decidability and expressive power of process calculi.
Seminars @ CITI: Modeling components and behaviors with the CAB languageEitan Farchi, IBM Research Labs at Haifa (Israel)[ 11 Nov 2010 to 16 Nov 2010 ]
Hosted by: João Lourenço
Research visit aiming at further explore current research on Transactional Memory.
Seminars @ CITI: Is transaction memory enough or do we need atomic conditional wait as well?Gael Dias, Universidade da Beira Interior (Portugal)[ 8 Nov 2010 ]
Hosted by: Gabriel Pereira Lopes
Gael Dias was invited to argue the McS Thesis by Luis Teixeira named "Automatic extraction of document Topics (Extracção Automática de Tópicos de Documentos)". Meanwhile we discussed about on-going work in the framework of VIP-ACCESS project as well as on future coperation.
Michel Wermelinger, Open University Milton Keynes (United Kingdom)[ 1 Nov 2010 to 5 Nov 2010 ]
Hosted by: Miguel Goulão
The purpose of the visit was to discuss collaborations between CITI and the Open University (UK) in the context of research projects concerning Software Evolution. Michel also participated in the discussion of Nelson Fonte's MSc dissertation.
Seminars @ CITI: Quality and Evolution: Some Relationships