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 3 of 4 - listing prototypes 41 to 60 of a total of 72



DSL Trans
   [ September 2009 ] - Vasco Amaral, Bruno Barroca, Vasco Sousa

CaesarJ implementations of selected GoF design patterns
   [ May 2009 ] - Miguel Pessoa Monteiro

IStar Editor
   [ 2009 ] - João Araújo, Vasco Amaral, Vasco Sousa

VML* (Variability Modeling Languages for Model-Based Software Product Lines)
   [ 2009 ] - João Araújo, Ana Moreira, Mauricio Alférez, João Santos

Typechecker for a type and effect system for access control
   [ 2009 ] - Mário Pires

Model Checker for SOA systems modeled in the Conversation Calculus
   [ 2009 ] - Luis Caires, Hugo Torres Vieira

VML4RE - Variability Modelling Language for Requirements Engineering
   [ 2009 ] - João Araújo, Ana Moreira, Mauricio Alférez, João Santos

KAOS Editor
   [ 2009 ] - João Araújo, Vasco Amaral, Vasco Sousa

CxProlog plugin for the Code::Blocks IDE
   [ 2009 ] - Artur Miguel Dias

DSL-AR
   [ 2009 ] - Vasco Amaral, Bruno Barroca

SLMC-K - extension of SLMC for checking security protocol verification
   [ 2009 ] - Luis Caires, Bernardo Toninho

yak prototype
   [ July 2008 ] - Filipe Militão

Aspect-Oriented Infrastructure for Design by Contract in Java
   [ June 2008 ] - Pedro Guerreiro, Ana Moreira

AORE - Aspect-Oriented Requirements Engineering tool
   [ February 2008 ] - Ana Moreira, Isabel Sofia Brito

Untyped ComponentJ Compiler
   [ 2008 ] - João Costa Seco

Traceability Framework
   [ 2008 ] - João Araújo, Ana Moreira, Vasco Amaral, Mauricio Alférez, André Sousa, João Santos, Uirá Kulesza

PHEASANT
   [ 2008 ] - Vasco Amaral, Vasco Sousa

(H)ALL
   [ 2008 ] - Vasco Amaral, Bruno Barroca, Vasco Sousa

SPL-RE
   [ 2008 ] - João Araújo, Ana Moreira, Vasco Amaral, Mauricio Alférez, Antonielly Garcia Rodrigues, André Sousa, João Santos, Uirá Kulesza

CxProlog version 0.96.1
   [ December 2007 ] - Artur Miguel Dias