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 8 of 14 - listing organization of events 141 to 160 of a total of 277

prev   |   4  5  6  7  8  9  10  11  12   |   next


* Ana Moreira @ ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems
   [ 4 Oct 2009 to 9 Oct 2009 ] - Program Committee Member

* Vasco Amaral @ MoDeVVa'09 - 6th edition of the workshop on Model Engineering, Verification, and Validation
   [ 4 Oct 2009 ] - Program Committee Member

* Luis Caires @ PSPL 2010, FLOC 2010 Workkshop on Proof Systems for Program Logics
   [ 1 Oct 2009 to 10 Jul 2010 ] - Program Committee Member

* Fernando Brito e Abreu @ SEDES’2009 (Simpósio de Estudantes de Doutoramento em Engenharia de Software)
   [ 21 Sep 2009 ] - Program Committee Member

* Vasco Amaral @ NBiS2009 - 12th International Conference on Network-Based Information Systems
   [ 19 Sep 2009 to 21 Sep 2009 ] - Program Committee Member

* Vasco Amaral @ 7th PPPJ (in coop. ACM) Principles and Practices of Programming in Java
   [ 15 Sep 2009 ] - Coordinator

* Vasco Amaral @ INFORUM 2009 - Engenharia Conduzida por Modelos
   [ 10 Sep 2009 to 11 Sep 2009 ] - Program Committee Co-Chair

* Ana Moreira @ XIV Jornadas de Ingeniería del Software y Bases de Datos
   [ 8 Sep 2009 to 11 Sep 2009 ] - Program Committee Member

* Vasco Amaral @ CEI 2009 – Encontro Nacional do Colégio de Engenharia Informática da OE
   [ 7 Sep 2009 to 8 Sep 2009 ] - Organizing Committee Co-Chair

* Elisabete Freire @ Unconventional Computation 2009
   [ 7 Sep 2009 to 11 Sep 2009 ] - Organizing Committee Member

* Luis Caires @ Concur 2009, the 20th International Conference on Concurrency Theory
   [ 1 Sep 2009 to 4 Sep 2009 ] - Program Committee Member

* Hugo Torres Vieira @ ICE 09, 2nd Interaction and Concurrency Experience
   [ 31 Aug 2009 ] - Program Committee Member

* Artur Miguel Dias @ 7th PPPJ - (in coop. ACM) Principles and Practices of Programming in Java
   [ 27 Aug 2009 to 28 Aug 2009 ] - Program Committee Member

* Vasco Amaral @ HCI International 2009 Session: Rapid User Interface Prototyping - RUIP
   [ 19 Jul 2009 to 24 Jul 2009 ] - Organizing Committee Co-Chair

* João Costa Seco @ 4th International federated conferences on Distributed Computing Techniques
   [ 7 Jun 2009 to 13 Jun 2009 ] - Organizing Committee Member

* Fernando Brito e Abreu @ 8th Brazilian Symposium on Software Quality (SBQS’2009)
   [ 1 Jun 2009 to 5 Jun 2009 ] - Program Committee Member

* Vasco Amaral @ ICEIS 2009 11th International Conference on Enterprise Information Systems
   [ 6 May 2009 to 10 May 2009 ] - Program Committee Member

* João Araújo @ IDEAS 2009
   [ 13 Apr 2009 ] - Program Committee Co-Chair

* Fernando Brito e Abreu @ 13th European Conference on Software Maintenance and Reengineering (CSMR’2009)
   [ 24 Mar 2009 to 27 Mar 2009 ] - Program Committee Member

* Vasco Amaral @ CISIS 2009
   [ 16 Mar 2009 to 19 Mar 2009 ] - Program Committee Member


prev   |   4  5  6  7  8  9  10  11  12   |   next