CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home  \  Research Areas  \  Research Stream

Login

CITI Welcome Research Areas Organization Executive Board Advisory Board Contacts Useful Information People CITI Members Visitors Activities Research Projects Publications Seminars @ CITI External Talks & Seminars Graduation Activities Organization of Events Editorial Committees Prototypes Visits & Missions Activity Reports Search & Query Search BibTeX Generator

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.

---

Luis Caires, Full Professor, Area/Group coordinator Luis Monteiro, Full Professor Pedro Guerreiro, Full Professor Ana Moreira, Associate Professor Fernando Brito e Abreu, Associate Professor António Ravara, Assistant Professor Artur Miguel Dias, Assistant Professor Carla Ferreira, Assistant Professor Fernanda Barbosa, Assistant Professor João Araújo, Assistant Professor João Costa Seco, Assistant Professor Margarida Mamede, Assistant Professor Miguel Goulão, Assistant Professor Miguel Pessoa Monteiro, Assistant Professor Vasco Amaral, Assistant Professor Anacleto Correia, Associate Researcher Elisabete Freire, Associate Researcher Hugo Torres Vieira, Associate Researcher Isabel Sofia Brito, Associate Researcher Jorge A. Pérez, Associate Researcher Luís Alexandre Ferreira da Silva, Associate Researcher Marco Giunti, Associate Researcher Mauricio Alférez, Associate Researcher Ana Paula Maldonado, PhD Student Ankica Barisic, PhD Student Anne Kersten, PhD Student Antonielly Garcia Rodrigues, PhD Student Bernardo Toninho, PhD Student Carlos Leandro, PhD Student Cédric Grueau, PhD Student Filipe Militão, PhD Student Jorge Barreiros, PhD Student José Magno Lopes, PhD Student Luís Miguel Lourenço, PhD Student Luísa Lourenço, PhD Student Miguel Domingues, PhD Student Sérgio Bryton, PhD Student Tiago Santos, PhD Student Luís Pires da Silva, MSc Student Joana Dâmaso, Intern

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



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

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

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

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

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

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

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