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)


page 6 of 7 - listing external talks 101 to 120 of a total of 128

prev   |   1  2  3  4  5  6  7   |   next


* Refactoring Legacy Objects to Aspects
   Miguel Pessoa Monteiro
   [ 6 Apr 2004 ] - Invited Lecture

* Desenvolvimento de Software Orientado pelos Aspectos
   Ana Moreira
   [ 10 Mar 2004 ] - Keynote

* Behavioral-Spatial Specifications in a Logic for the Pi-Calculus
   Luis Caires
   [ 2 Mar 2004 ] - Project Meeting Talk

* Contract-Guided System Development
   Vasco T. Vasconcelos
   [ 1 Dec 2003 ] - Departmental Seminar

* Refactoring Legacy Objects to AOP
   Miguel Pessoa Monteiro
   [ 19 Oct 2003 ] - Departmental Seminar

* Desarrollo de Software Orientado a Aspectos
   Ana Moreira
   [ 11 Aug 2003 ] - Keynote

* Aspectual Requirements: A Model for Advanced Separation of Concerns
   Ana Moreira
   [ 11 Aug 2003 ] - Keynote

* Session types for inter-process communication
   Vasco T. Vasconcelos
   [ 1 May 2003 ] - Departmental Seminar

* Especiarias da Qualidade
   Fernando Brito e Abreu
   [ 11 Apr 2003 ] - Invited Lecture

* Spatial Logic Specifications of Distributed Systems
   Luis Caires
   [ 4 Apr 2003 ] - Keynote

* Refactoring Legacy Object Systems to Aspects
   Miguel Pessoa Monteiro
   [ 19 Mar 2003 ] - Other

* A Lexically Scoped Distributed π-Calculus
   Vasco T. Vasconcelos
   [ 1 Mar 2003 ] - Departmental Seminar

* Model-Checking Spatial Properties in the Pi-Calculus
   Luis Caires
   [ 2 Feb 2003 ] - Research Talk

* Model Checking Processes in the Pi-Calculus
   Luis Caires
   [ 5 Dec 2002 ] - Invited Lecture

* Aspectual Requirements
   Ana Moreira
   [ 15 Nov 2002 ] - Keynote

* Spatial Logics for Concurrency
   Luis Caires
   [ 10 Nov 2002 ] - Departmental Seminar

* Experimentação em Engenharia de Software: Uma Visão para o Futuro
   Fernando Brito e Abreu
   [ 23 Oct 2002 ] - Keynote

* Logics for Mobility
   Luis Caires
   [ 10 Apr 2002 ] - Project Meeting Talk

* Formal Expression and Computation of Design Metrics for UML Designers
   Fernando Brito e Abreu
   [ 26 Mar 2002 ] - Departmental Seminar

* A Spatial Logic for Concurrency
   Luis Caires
   [ 2 Feb 2002 ] - Invited Lecture


prev   |   1  2  3  4  5  6  7   |   next