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 2 of 4 - listing visits 21 to 40 of a total of 77

prev   |   1  2  3  4   |   next


* Rocco de Nicola, Università di Firenze (Italy)
   [ 15 Jun 2009 to 20 Jun 2009 ]
   Hosted by: Luis Caires

CITI Advisory Board Meetings.


* Gunter Mussbacher, University of Ottawa (Canada)
   [ 2 Jun 2009 to 13 Jun 2009 ]
   Hosted by: João Araújo

Gunter is developing the Aspect-oriented User Requirements Notation (AoURN), a framework that enables goal-oriented, scenario-based, and aspect-oriented modeling in a unified way. During his visit we will write a paper to be submitted to a journal.

   Seminars @ CITI: Semantic-Based and Syntactic-Based Feature Interactions in Aspect-oriented Models

* Ivan Lanese, Universitá di Bologna (Italy)
   [ 14 Dec 2008 to 20 Dec 2008 ]
   Hosted by: Carla Ferreira

Joint work in the area of compensation policies for long running transactions.

   Seminars @ CITI: Bridging the gap between Interaction- and Process-Oriented Choreographies

* Maurizio Morisio , Politecnico di Torino (Italy)
   [ 15 Dec 2008 to 17 Dec 2008 ]
   Hosted by: Fernando Brito e Abreu

Identification of joint research work in the areas of agile development and test-driven development. Presentation of a seminar for CITI. Participation as jury member in the PhD panel of Miguel Goulão.

   Seminars @ CITI: Agile methodologies and test driven development: report on two empirical studies

* Guido Moerkotte, University of Mannheim (Germany)
   [ 10 Dec 2008 to 11 Dec 2008 ]
   Hosted by: Vasco Amaral

Prof. Doctor Guido Moerkotte gives a seminar with the title: "Dynamic Programming for Join Ordering Revisited". Also has a meeting with the DSL /(software languages engineering) working group in order to build the foundations for a future collaboration project.

   Seminars @ CITI: Dynamic Programming for Join Ordering Revisited

* Carl-Christian Kanne, University of Zurich (Switzerland)
   [ 9 Dec 2008 to 11 Dec 2008 ]
   Hosted by: Vasco Amaral

Prof. Doctor Carl-Christian Kanne gives a seminar with the title: "Scalable Business Process Automation". Also has a meeting with Vasco Amaral and the rest of the students part of the DSL / Software Languages Engineering working group in order to build the foundations for a future collaboration project.

   Seminars @ CITI: Scalable Business Process Automation

* Levi Silva Lúcio, CITI (Portugal)
   [ 22 Oct 2008 to 29 Oct 2008 ]
   Hosted by: Vasco Amaral

Work meetings with the BATIC3S project team concerning the integration of Model Based Testing tools and concepts. Seminar at DI.

   Seminars @ CITI: SATEL - A Test Intention Language for Object Oriented Specifications of Reactive Systems

* Maria Lencastre, Universidade de Pernambuco (Brazil)
   [ 1 Feb 2008 to 30 Aug 2008 ]
   Hosted by: João Araújo

Visit as a post-doc related to the bilateral project CAPES/GRICES.


* Carla Silva, Universidade Federal de Pernambuco (Brazil)
   [ 4 Aug 2007 to 3 Aug 2008 ]
   Hosted by: João Araújo

Visit as a post-doc.


* Marta Silvia Tabares, Universidad Nacional de Colombia (Colombia)
   [ 1 Jan 2007 to 30 Jul 2008 ]
   Hosted by: Ana Moreira

Tracebility in Early Aspects


* Marcelo Pimenta, Universidade Federal do Rio Grande do Sul (Brazil)
   [ 12 Jun 2008 to 30 Jun 2008 ]
   Hosted by: Ana Moreira

Visit organized in the context of the project on Refactoring with Aspects with Universidade Federal do Rio Grande do Sul and the co-supervision of the PhD student Eduardo Piveta.


* Tom Price, Universidade Federal do Rio Grande do Sul (Brazil)
   [ 1 Jun 2008 to 18 Jun 2008 ]
   Hosted by: Ana Moreira

Research visit organised within the scope of the project Refactoring with Aspects, with Universidade Federal do Rio GRande do Sul, and the co-authorship of a paper on identifying refactoring opportunities.


* Luís Venceslau Pedro, University of Geneva (Switzerland)
   [ 10 Mar 2008 to 14 Mar 2008 ]
   Hosted by: Vasco Amaral

Work force meetings concerning language meta-modeling research topics. Invited Tutorial on GMF/EMF metamodeling tools.


* Gunter Mussbacher, University of Ottawa (Canada)
   [ 16 Feb 2008 to 10 Mar 2008 ]
   Hosted by: Ana Moreira

Gunter is developing the Aspect-oriented User Requirements Notation (AoURN) in the context of his PhD. During this visit we worked on several aspects of AOURN and wrote a paper on Modeling Requirements with AoURN


* Pablo Sanchez, Universidad de Malaga (Spain)
   [ 14 Feb 2008 to 27 Feb 2008 ]
   Hosted by: Ana Moreira

Deriving an architectural specification from a requirements specification


* Fernanda Alencar, Universidade Federal de Pernambuco (Brazil)
   [ 1 Sep 2007 to 27 Feb 2008 ]
   Hosted by: Ana Moreira

Modularizing i* using AOSD concepts and techniques


* Eduardo Piveta, Universidade Federal do Rio Grande do Sul (Brazil)
   [ 1 Jan 2007 to 1 Feb 2008 ]
   Hosted by: Ana Moreira

Refactoring Opportunities


* Manuel Clavel, Universidad Complutense de Madrid (Spain)
   [ 28 Jan 2008 to 31 Jan 2008 ]
   Hosted by: Fernando Brito e Abreu

Definition of joint research work in the area of metamodeling and OCL. Presentation of a seminar for CITI. Participation as panel member in the annual QUASAR workshop.

   Seminars @ CITI: Title: The MOVA Tool

* Jason Reed, Carnegie Mellon University (United States)
   [ 3 Dec 2007 to 6 Dec 2007 ]
   Hosted by: Luis Caires

Discuss collaboration in the context of the ICTI grant related to the CMU-Portugal project.


* Frank Pfenning, Carnegie Mellon University (United States)
   [ 20 Nov 2008 to 25 Nov 2007 ]
   Hosted by: Luis Caires

CMU PT activities research and management activities.



prev   |   1  2  3  4   |   next