CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  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 4 of 4 - listing visits 61 to 77 of a total of 77

prev   |   1  2  3  4   |   next


* Coral Calero, Universidad de Castilla-La Mancha. (Spain)
   [ 21 Jun 2004 to 17 Jul 2004 ]
   Hosted by: Fernando Brito e Abreu

Development of joint research work to apply QUASAR's metamodel driven measurement (M2DM) approach to Coral's work on object-relational database metrics. Production of two joint papers. Presentation of a seminar for CITI.

   Seminars @ CITI: Formalizing Object-Relational Structural Metrics

* Delia Kesner, Université Paris VII (France)
   [ 5 Jun 2004 to 10 Jun 2004 ]
   Hosted by: Luis Caires

Research in the context of ICTI/CNRS bilateral cooperation.


* Daniel Hirschkoff, ENS Lyon (France)
   [ 15 Nov 2003 to 20 Nov 2003 ]
   Hosted by: Luis Caires

Colaboration in the context of the Profundis project.


* Luca Cardelli, Microsoft Research Cambridge (United Kingdom)
   [ 1 Nov 2003 to 5 Nov 2003 ]
   Hosted by: Luis Caires

Visit to CITI and FCT/UNL.


* M. J. Gabbay, University of Cambridge (United Kingdom)
   [ 1 May 2003 to 5 May 2003 ]
   Hosted by: Luis Caires

Collaboration in the context of the PLM research stream activities, related to logical nortions of freshness.


* Gustavo Rossi, Universidad Nacional de La Plata (Argentina)
   [ 10 Sep 2008 to 15 Sep 0008 ]
   Hosted by: João Araújo

the purpose of Gustavo'e visit is to work on the project AspectWeb, a collaboration between UNl and Universidad Nacional de La Plata.


* Jaelson F. B. Castro, Universidade Federal de Pernambuco (Brazil)
   [ 10 Jan 2007 to ]
   Hosted by: João Araújo

Visit for the CAPES/GRICES project


* Fernanda Alencar, Universidade Federal de Pernambuco (Brazil)
   [ 10 Sep 2007 to ]
   Hosted by: João Araújo

Visit for the CAPES/GRICES proeject meeting


* Luis Cysneiros, University of York (United Kingdom)
   [ 29 Nov 2007 to ]
   Hosted by: João Araújo

Visit to UNL and talk at CITI


* Maria Lencastre, Universidade de Pernambuco (Brazil)
   [ 20 Jun 2005 to ]
   Hosted by: João Araújo

CAPES/GRICES project meetings


* Jaelson F. B. Castro, Universidade Federal de Pernambuco (Brazil)
   [ 15 Jan 2006 to ]
   Hosted by: João Araújo

CAPES/GRICES project meeting


* Gustavo Rossi, Universidad Nacional de La Plata (Argentina)
   [ 20 Aug 2005 to ]
   Hosted by: João Araújo

Visit to Universidad NAcional de LA Plata to give seminars


* Uira Kulesza, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (Portugal)
   [ 15 Oct 2010 to ]
   Hosted by: João Araújo

The visit consisted of studying future collaborations between UFRN (Brazil) and our department.


* Alberto Sardinha, Instituto Superior Técnico (Portugal)
   [ 20 Oct 2010 to ]
   Hosted by: João Araújo

To discuss collaborations between IST and UNL.


* Daniel Amyot, University of Ottawa (Canada)
   [ 20 Apr 2010 to ]
   Hosted by: João Araújo

Short visit to discuss research on SPL and aspects.


* Cristina Videira Lopes, University of California, Irvine (United States)
   [ 1 Jul 2009 to ]
   Hosted by: Fernando Brito e Abreu

Definition of joint research work in the scope of the Sourcerer project. Presentation of a seminar for CITI. Participation as panel member in a session of QUASAR graduate students presentations.


* Hans Vangheluwe, School of Computer Science, McGill University (Canada)
   [ ]
   Hosted by: Vasco Amaral

Talk Cyber-Physical Systems: challenges and directions for research Research meeting.



prev   |   1  2  3  4   |   next