|Home \ Visits||Login|
|[ CITI visitors ] [ CITI members visits ]||Other CITI collaborators|
|page 1 of 12 - listing visits 1 to 10 of a total of 119|
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.
It was a working visit with a main intention of discussing the PhD Thesis of Gael Lejeune who was approved.
Visit to participate in a PhD defense, give a Department Seminar, and plan future collaborations.
Short term scientific mission supported by ECOST action Behavioural Types for Reliable Large-Scale Software Systems (BETTY). Title: "A behavioural theory for sessions".
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.
Faculty Exchange Visit at Carnegie Mellon University, under the CMU|Portugal program Report
Participation in a PhD jury and meetings to explore future collaborations.
Visit to UFMG to explore new collaborations, participating as a keynote in a Software Engineering Workshop.
To do research with Alessandro Garcias's group. Two papers were published as results of this visit.
Mini-sabbatical at IBM Research Labs to work on Detection of Atomicity Violations for Concurrent Programs (including Transactional Memory programs).