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
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 4 - listing visits 1 to 20 of a total of 77

prev   |   1  2  3  4   |   next


* Geert Poels, University of Ghent (Belgium)
   [ 5 May 2014 to 7 May 2014 ]
   Hosted by: Fernando Brito e Abreu

Main opponent in the PhD defense of Anacleto Correia. Panel member in the annual QUASAR workshop.


* Toacy Oliveira, Universidade Federal do Rio de Janeiro (Brazil)
   [ 5 May 2014 to 7 May 2014 ]
   Hosted by: Fernando Brito e Abreu

Second opponent in the PhD defense of Anacleto Correia. Panel member in the annual QUASAR workshop.


* Glauco 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 Activities

* Toacy 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/ufr

* Claudio 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-calculus

* Anne 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 Battlefield

* Cinzia 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 language

* 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

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

Presentations at DSM-TP (Summer School) about Modeling, Model Transformations and DSL semantics. Preparing a project proposal meeting. Research Meeting on DSM Formal framework.


* Luís Miguel Venceslau Pedro, University of Geneva (Switzerland)
   [ 4 Sep 2010 to 12 Sep 2010 ]
   Hosted by: Vasco Amaral

Talk at DSM-TP. Research meeting on Model Composition issues.


* Didier Buchs, Centre Universitaire d\'Informatique de l\'Université de Genève (Switzerland)
   [ 4 Sep 2010 to 12 Sep 2010 ]
   Hosted by: Vasco Amaral

Talks at DSM-TP international Summer school. Research Meeting and common project proposals.


* Matteo Risoldi, Centre Universitaire de Informatique de la Université de Genève (Switzerland)
   [ 4 Sep 2010 to 12 Sep 2010 ]
   Hosted by: Vasco Amaral

DSM-TP international Summer School tutorial presentations. Research meetings and project proposals.


* Steve Hostettler, Centre Universitaire de Informatique de la Université de Genève (Switzerland)
   [ 4 Sep 2010 to 12 Sep 2010 ]
   Hosted by: Vasco Amaral

Talks at DSM-TP international Summer School. Research Meeting.


* Eugene Syriani, School of Computer Science, McGill University (Canada)
   [ 4 Sep 2010 to 12 Sep 2010 ]
   Hosted by: Vasco Amaral

Tutorials at DSM-TP. Research meetings.


* Rosario Pugliese, Università di Firenze (Italy)
   [ 20 Jun 2010 to 25 Jun 2010 ]
   Hosted by: Luis Caires

PhD thesis juri of Hugo Vieira.


* Nobuko Yoshida, Imperial College of Science and Tecnology (United Kingdom)
   [ 20 Jun 2010 to 25 Jun 2010 ]
   Hosted by: Luis Caires

participation in Hugo Vieira's Phd defense.


* Markus Roggenbach, University of Wales Swansea (United Kingdom)
   [ 19 Apr 2010 to 23 Apr 2010 ]
   Hosted by: Luis Monteiro

The purpose of the visit was to prepare a paper to submit to WADT 2010 in the context of our cooperation started November 2009.


* Markus Roggenbach, University of Wales Swansea (United Kingdom)
   [ 12 Nov 2009 to 13 Nov 2009 ]
   Hosted by: Luis Monteiro

The purpose of the visit was to initiate a collaboration of Markus Roggenbach of the University of Wales Swansea with the project-team FOX.


* Daniel Amyot, University of Ottawa (Canada)
   [ 15 Jul 2009 to 17 Jul 2009 ]
   Hosted by: Ana Moreira

Research visit organised in the context of previous visits of the PhD students Gunter Mussbacher to discuss the standardization of the AoURN notation.



prev   |   1  2  3  4   |   next