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

prev   |   1  2  3  4   |   next

* Etienne Lozes, ENS Cachan (France)
   [ 18 Nov 2007 to 22 Nov 2007 ]
   Hosted by: Luis Caires

Joint work on a model and associated verification logic for secrecy properties.

* Davide Sangiorgi, Universitá di Bologna (Italy)
   [ 13 Nov 2007 to 15 Nov 2007 ]
   Hosted by: Luis Monteiro

Member of the jury of Luís Caires's Habilitation examination.

* José Luiz Fiadeiro, University of Leicester (United Kingdom)
   [ 13 Nov 2007 to 15 Nov 2007 ]
   Hosted by: Luis Monteiro

Participation in the Habilitation examination of Luis Caires.

* Mahesh Prakriya, Microsoft (United States)
   [ 13 Nov 2007 ]
   Hosted by: Vasco Amaral

Meeting with CITI members. Educational/technological talk at the computer science department “IronPython and Dynamic Languages Runtime on .NET”

* Maria Lencastre, Universidade de Pernambuco (Brazil)
   [ 15 Jan 2007 to 30 Jul 2007 ]
   Hosted by: Ana Moreira

Aspectual Problem Frames

* Gunter Mussbacher, University of Ottawa (Canada)
   [ 1 Jun 2007 to 30 Jul 2007 ]
   Hosted by: Ana Moreira

Aspectual AoURN

   Seminars @ CITI: Aspect-oriented URN

* Didier Buchs, Centre Universitaire d\'Informatique de l\'Université de Genève (Switzerland)
   [ 25 Jun 2007 to 27 Jun 2007 ]
   Hosted by: Vasco Amaral

Collaboration meeting. Main topics: ongoing BATIC3S research, planning future joint research projects. Seminar "SATEL: How to express test intentions". Part of the jury of Bruno Barroca MsC's defense.

   Seminars @ CITI: SATEL: How to express test intentions

* Pablo Sanchez, Universidad de Malaga (Spain)
   [ 30 Mar 2007 to 15 Apr 2007 ]
   Hosted by: Ana Moreira

Model-Drivcen Development: from Requirements to Architecture

* Sven Helmer, University of London (United Kingdom)
   [ 2 Mar 2007 ]
   Hosted by: Vasco Amaral

Meeting with Vasco Amaral. Present a talk: "Measuring the Structural Similarity of Semistructured Documents Using Entropy"

   Seminars @ CITI: Measuring the Structural Similarity of Semistructured Documents Using Entropy

* Dimitris Mostrous, Imperial College London (United Kingdom)
   [ 22 Feb 2007 to 1 Mar 2007 ]
   Hosted by: Vasco T. Vasconcelos

Dimitris Mostrous, researcher at the Department of Computing, Imperial College, London will visit CITI from February 22nd to March 1st. Mostrous works on session types for object-oriented languages. The visit will include working meetings on the aforementioned topic.

* Kohei Honda, Queen Mary University of London (United Kingdom)
   [ 22 Feb 2007 to 1 Mar 2007 ]
   Hosted by: Vasco T. Vasconcelos

Kohei Honda, researcher at Queen Mary, University of London will visit CITI from February 22nd to March 1st. Honda's experience in the dialogue between industry and theory, in the context of W3C's working group on web services will certainly be of interest to CITI members. Honda will deliver a talk at CITI.

   Seminars @ CITI: On Importance of Bringing Theory to Industry: an experience in W3C CDL working group

* Massimo Bartoletti, Università di Pisa (Italy)
   [ 11 Dec 2006 to 15 Dec 2006 ]
   Hosted by: Luis Caires

Sensoria project related research activity.

* Ivan Lanese, Universitá di Bologna (Italy)
   [ 20 Nov 2006 to 30 Nov 2006 ]
   Hosted by: Vasco T. Vasconcelos

Ivan Lanese, researcher at the Department of Information Science, University of Bologna will visit CITI from November 20th to November 30th. Lanese is involved in the Sensoria project, where several CITI members participate. The visit will include multiple working sessions on the topic of Service Oriented Computing.

* Michel Wermelinger, Open University Milton Keynes (United Kingdom)
   [ 1 Nov 2006 to 8 Nov 2006 ]
   Hosted by: Artur Miguel Dias

Plan work in the context of the streams PLM and SE, present a seminar, and exchange experiences in the area of e-learning.

   Seminars @ CITI: On the relationship between code cloning and maintenance

* Sophia Drossopoulou, Imperial College London (United Kingdom)
   [ 11 Oct 2006 to 14 Oct 2006 ]
   Hosted by: Luis Caires

Seminar, research meetings, and Joao Seco PhD examination.

   Seminars @ CITI: Questions on Algebraic Specifications of Object Oriented Programs

* Davide Ancona, Università di Genova (Italy)
   [ 11 Oct 2006 to 14 Oct 2006 ]
   Hosted by: Luis Caires

Discussions on modules and objects, and Joao Seco PhD examination.

   Seminars @ CITI: Flexible Type-Safe Linking of Components for Java-Like Languages

* Matteo Risoldi, Centre Universitaire de Informatique de la Université de Genève (Switzerland)
   [ 30 Mar 2006 to 2 Apr 2006 ]
   Hosted by: Vasco Amaral

Restricted BATIC3S meeting at FCT/UNL. Topic of discussion "The modeling approach".

* Gianluigi Ferrari, Università di Pisa (Italy)
   [ 10 Dec 2005 to 15 Dec 2005 ]
   Hosted by: Luis Caires

Collaboration in the context of the Profundis project.

* Jens Krinke, FernUniversität in Hagen (Germany)
   [ 10 Oct 2005 to 12 Oct 2005 ]
   Hosted by: Fernando Brito e Abreu

Definition of joint research work in the area of aspect mining and refactoring. Presentation of a seminar for CITI.

   Seminars @ CITI: Aspect Mining and Refactoring

* Etienne Lozes, ENS Cachan (France)
   [ 10 Apr 2005 to 15 Apr 2005 ]
   Hosted by: Luis Caires

Research collaboration on spatial types for security.

prev   |   1  2  3  4   |   next