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
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 1 of 4 - listing prototypes 1 to 20 of a total of 72

prev   |   1  2  3  4   |   next


* ScalaSOMD v1.2 - framework supporting the SOMD execution model
   [ June 2014 ] - Hervé Paulino, Artur Miguel Dias

* VM (Variability Modeling and Configuration Language and Editor)
   [ January 2014 ] - Mauricio Alférez

* Gluon — Verification of Contracts for Concurrency
   [ December 2013 ] - João Lourenço, Carla Ferreira

* JUSE for Android (model-driven Eclipse plugin for generating Android BIS apps)
   [ December 2013 ] - Fernando Brito e Abreu, Luís Pires da Silva

* Zib v0.8 - Language and Compiler for the Parallel Computing Environment Elina
   [ September 2013 ] - Hervé Paulino, Artur Miguel Dias

* M2DM (Eclipse plugin for Java metrics formalization and collection)
   [ September 2013 ] - Fernando Brito e Abreu

* Epik - Edutainment by Playing and Interacting with Knowledge
   [ May 2013 ] - Carmen Morgado, Fernanda Barbosa

* Compressed Bilingual Text Framework
   [ 2013 ] - Gabriel Pereira Lopes, Luís Russo, Luís Gomes, Jorge Costa

* LOCKRES: a session type checker resolving deadlocks
   [ 2013 ] - Marco Giunti

* Visualino
   [ 2013 ] - Miguel Goulão, Vasco Amaral

* TrNET - A Model Trasnformation Language with Efficiency Concerns
   [ 2013 ] - Vasco Amaral, Bruno Barroca

* VCC - Variability Consistency Checking Tool
   [ December 2012 ] - Ana Moreira, Vasco Amaral, Mauricio Alférez

* modularKAOS
   [ May 2012 ] - João Araújo, Miguel Goulão, Vasco Amaral

* SOS tool - A language for specifying and visualizing operational semantics
   [ March 2012 ] - Vasco Amaral, Bruno Barroca

* J-USE (Model-driven Java code and JUnit tests generator)
   [ February 2012 ] - Fernando Brito e Abreu

* LiveWeb Information Flow
   [ 2012 ] - João Costa Seco, Carla Ferreira

* Model Based Security Control Prototype
   [ 2012 ] - Luis Caires, João Costa Seco

* Estudo comparativo entre Interfaces de Programação de Aplicações Mapas
   [ 2012 ] - Miguel Goulão, Armanda Rodrigues, Ana Isabel Fernandes

* Recolha de Dados para Estudo comparativo entre Interfaces de Programação de Aplicações Mapas
   [ 2012 ] - Miguel Goulão, Armanda Rodrigues, Ana Isabel Fernandes

* Secure LiveWeb - Type Based Access Control in Web Applications
   [ October 2011 ] - Luis Caires, João Costa Seco, Hugo Torres Vieira, Luísa Lourenço, Miguel Domingues, Jorge A. Pérez


prev   |   1  2  3  4   |   next