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



CombO for AORA
   [ 2007 ] - João Araújo, Ana Moreira, Isabel Sofia Brito

CxProlog version 0.94.1
   [ December 2006 ] - Artur Miguel Dias

The Spatial Logic Model Checker v1.3
   [ January 2006 ] - Luis Caires, Hugo Torres Vieira

RLC in C++ (for vector spaces)
   [ 2006 ] - Margarida Mamede

ComponentJ
   [ December 2005 ] - Luis Caires, João Costa Seco

TyCO - Typed Concurrent Objects (version 0.41)
   [ March 2005 ] - Hervé Paulino, Vasco T. Vasconcelos, Francisco Martins

PETISCO
   [ 2005 ] - António Porto, Artur Miguel Dias

RLC in Java
   [ 2005 ] - Margarida Mamede

TyCO - Typed Concurrent Objects (version 0.4)
   [ April 2004 ] - Hervé Paulino, Vasco T. Vasconcelos, Francisco Martins

Arcade (Aspectual Requirements Composition and Decision support tool)
   [ 2003 ] - João Araújo, Ana Moreira

EMOLITE
   [ 1999 ] - Ana Moreira

High Reliability Message Switching System
   [ 1990 ] - Pedro Guerreiro, Ana Moreira