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 14 - listing organization of events 101 to 120 of a total of 277

prev   |   2  3  4  5  6  7  8  9  10   |   next


* Fernando Brito e Abreu @ 10th Brazilian Symposium on Software Quality (SBQS’2011)
   [ 6 Jun 2011 to 10 Jun 2011 ] - Program Committee Member

* António Ravara @ 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems
   [ 6 Jun 2011 to 9 Jun 2011 ] - Program Committee Member

* Vasco Amaral @ INTERNATIONAL CONFERENCE ON MODEL TRANSFORMATION (ICMT) 2012
   [ 28 May 2011 to 29 May 2011 ] - Program Committee Member

* Fernando Brito e Abreu @ VIII Experimental Software Engineering Latin American Workshop (ESELAW’2011)
   [ 27 Apr 2011 to 29 Apr 2011 ] - Program Committee Member

* João Araújo @ AOSD 2011
   [ 21 Mar 2011 to 25 Mar 2011 ] - Organizing Committee Member

* António Ravara @ 26th Annual Symposium On Applied Computing - Software Verification and Testing Track
   [ 21 Mar 2011 to 24 Mar 2011 ] - Program Committee Member

* Vasco Amaral @ 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification
   [ 21 Mar 2011 ] - Program Committee Member

* Ana Moreira @ 10th International Conference on Aspect-Oriented Software Development
   [ 21 Mar 2011 to 25 Mar 2011 ] - Program Committee Member

* Vasco Amaral @ MODEVVA@MODELS 2010, 7th Models Workshop on Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE
   [ 3 Oct 2010 to 8 Oct 2010 ] - Program Committee Member

* Ana Moreira @ ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems
   [ 3 Oct 2010 to 8 Oct 2010 ] - Program Committee Member

* Vasco Amaral @ MPM@MODELS 2010 4th International Model Workshop on Multi-Paradigm Modeling
   [ 3 Oct 2010 to 8 Oct 2010 ] - Organizer

* Fernando Brito e Abreu @ 7th International Conference on the Quality of Information and Communications Technology (QUATIC’2010)
   [ 29 Sep 2010 to 2 Oct 2010 ] - Program Committee Chair

* Miguel Goulão @ 7th International Conference on the Qualitity of Information and Communications Technology QUATIC 2010
   [ 29 Sep 2010 to 1 Oct 2010 ] - Program Committee Co-Chair

* Vasco Amaral @ QUATIC 2010 7th International Conference on the Qualitity of nformation and Communications Technology
   [ 29 Sep 2010 to 1 Oct 2010 ] - Program Committee Member

* Sérgio Bryton @ QUATIC2010 - Quality in ICT Reengineering and Refactoring Thematic Track
   [ 28 Sep 2010 to 2 Oct 2010 ] - Organizing Committee Co-Chair

* João Araújo @ IEEE Requirements Engineering Conference 2010
   [ 27 Sep 2010 to 1 Oct 2010 ] - Organizing Committee Co-Chair

* Luís Alexandre Ferreira da Silva @ 7th International Conference on the Quality of Information and Communications Technology
   [ 27 Sep 2010 to 2 Oct 2010 ] - Organizing Committee Co-Chair

* Vasco Amaral @ Model Driven Approaches in System Development (MDASD 2010) ADBIS 2010 Workshop
   [ 20 Sep 2010 to 24 Sep 2010 ] - Program Committee Member

* Miguel Goulão @ CAPSI 2010: 10ª Conferência da Associação Portuguesa de Sistemas de Informação
   [ 20 Sep 2010 to 22 Sep 2010 ] - Program Committee Member

* Artur Miguel Dias @ 8th PPPJ - (in coop. ACM) Principles and Practices of Programming in Java
   [ 15 Sep 2010 to 17 Sep 2010 ] - Program Committee Member


prev   |   2  3  4  5  6  7  8  9  10   |   next