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 5 of 7 - listing external talks 81 to 100 of a total of 128

prev   |   1  2  3  4  5  6  7   |   next


* Refabricação e Desenvolvimento Dirigido pelos Testes
   Miguel Pessoa Monteiro
   [ 26 Jan 2006 ] - Invited Lecture

* Refabricando Sistemas Orientados ao Objecto para a Orientação ao Aspecto
   Miguel Pessoa Monteiro
   [ 2 Dec 2005 ] - Departmental Seminar

* Behavioral Analysis of Service Based Systems.
   Luis Caires
   [ 6 Nov 2005 ] - Project Meeting Talk

* Composing Distributed Services with Spatial Types
   Luis Caires
   [ 1 Nov 2005 ] - Keynote

* A concern-driven approach for requirements engineering
   João Araújo
   [ 21 Aug 2005 ] - Departmental Seminar

* The Future for Aspect-Oriented Requirements Engineering
   Ana Moreira
   [ 13 Jun 2005 ] - Keynote

* What is software refactoring?
   Miguel Pessoa Monteiro
   [ 28 Apr 2005 ] - Invited Lecture

* Proof Techniques for Distributed Processes and Resources
   Luis Caires
   [ 20 Apr 2005 ] - Keynote

* CAMPaM workshop- Personal research vision for CAMPaM tools
   Vasco Amaral
   [ 17 Apr 2005 ] - Research Talk

* Refactoring OO Source Code to Aspects
   Miguel Pessoa Monteiro
   [ 15 Apr 2005 ] - Invited Lecture

* Metodologias Pesadas ou Ágeis: Bulimia ou Anorexia?
   Fernando Brito e Abreu
   [ 15 Apr 2005 ] - Invited Lecture

* Desenvolvimento de Software Orientado para Aspectos: o Papel dos Early Aspects
   Ana Moreira
   [ 15 Apr 2005 ] - Keynote

* Scenario Modeling with Aspects
   João Araújo
   [ 5 Apr 2005 ] - Departmental Seminar

* Introducing aspect-oriented requirements engineering
   João Araújo
   [ 15 Mar 2005 ] - Departmental Seminar

* O Ensino da Engenharia de Software Experimental
   Fernando Brito e Abreu
   [ 28 Feb 2005 ] - Invited Lecture

* MiKO—Mikado Koncurrent Objects; An Instance of the MIKADO Migration Mode
   Vasco T. Vasconcelos
   [ 1 Feb 2005 ] - Research Talk

* Refactoring Object-Oriented Systems with Aspect-Oriented Concepts
   Miguel Pessoa Monteiro
   [ 7 Jan 2005 ] - Departmental Seminar

* Aspect-Oriented Software Development: a New Approach to Software Development
   Ana Moreira
   [ 7 Jun 2004 ] - Keynote

* A Spatial Logic Model Checker
   Hugo Torres Vieira
   [ 27 Apr 2004 ] - Departmental Seminar

* O Peso das Metodologias
   Fernando Brito e Abreu
   [ 6 Apr 2004 ] - Invited Lecture


prev   |   1  2  3  4  5  6  7   |   next