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

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


* Miguel Goulão @ INFORUM'10 - MDE/ECM'10
   [ 9 Sep 2010 to 10 Sep 2010 ] - Program Committee Member

* Carla Ferreira @ InForum 2010 - Simpósio de Informática
   [ 9 Sep 2010 ] - Program Committee Member

* Luis Caires @ SOFT-PT 2010 - Software Science and Engineering
   [ 9 Sep 2010 to 10 Sep 2010 ] - Program Committee Chair

* Ana Moreira @ XV Jornadas de Ingeniería del Software y Bases de Datos
   [ 7 Sep 2010 to 10 Sep 2010 ] - Program Committee Member

* Vasco Amaral @ DSM-TP 1st International Summer School on Domain Specific Modeling - Theory and Practice
   [ 6 Sep 2010 to 9 Sep 2010 ] - Organizer

* Miguel Goulão @ 1st International Summer School on Domain Specific Modeling - Theory and Practice (DSM-TP 2010)
   [ 6 Sep 2010 to 9 Sep 2010 ] - Program Committee Member

* Vasco Amaral @ INFORUM 2010 - Engenharia Conduzida por Modelos
   [ 5 Sep 2010 ] - Program Committee Co-Chair

* António Ravara @ 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2010)
   [ 4 Sep 2010 ] - Program Committee Member

* Luis Caires @ Concur 2010, the 21st International Conference on Concurrency Theory
   [ 2 Sep 2010 ] - Program Committee Member

* Vasco Amaral @ ANT-2010 International Conference on Ambient Systems, Networks and Technologies
   [ 26 Jul 2010 to 28 Jul 2010 ] - Program Committee Member

* Elisabete Freire @ Computability in Europe 2010 - Programs, Proofs, Processes
   [ 30 Jun 2010 to 4 Jul 2010 ] - Organizing Committee Member

* António Ravara @ International Conference on Formal Verification of Object-Oriented Software
   [ 28 Jun 2010 to 30 Jun 2010 ] - Program Committee Member

* Hugo Torres Vieira @ ICE 10, 3rd Interaction and Concurrency Experience
   [ 10 Jun 2010 ] - Program Committee Member

* Fernando Brito e Abreu @ 9th Brazilian Symposium on Software Quality (SBQS’2010)
   [ 7 Jun 2010 to 11 Jun 2010 ] - Program Committee Member

* Fernando Brito e Abreu @ Workshop on Quantitative Approaches in Object Oriented Software Engineering (QAOOSE’2010) @ TOOLS’2010
   [ 2 Jun 2010 ] - Program Committee Member

* Carla Ferreira @ 25th Annual Symposium On Applied Computing - Software Verification and Testing Track
   [ 22 Mar 2010 to 26 Mar 2010 ] - Program Committee Member

* Ana Moreira @ 9th International Conference on Aspect-Oriented Software Development
   [ 15 Mar 2010 to 19 Mar 2010 ] - Program Committee Member

* Fernando Brito e Abreu @ 14th European Conference on Software Maintenance and Reengineering (CSMR’2010)
   [ 15 Mar 2010 to 18 Mar 2010 ] - Program Committee Member

* Vasco Amaral @ International Symposium on Database Theory and Application
   [ 10 Dec 2009 to 12 Dec 2009 ] - Program Committee Member

* João Araújo @ Onward 2009
   [ 25 Oct 2009 ] - Organizing Committee Member


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