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



Concurrent VM
   [ September 2011 ] - João Costa Seco, Luís Miguel Lourenço

Modular LiveWeb - Secure dynamic modules
   [ September 2011 ] - Luis Caires, João Costa Seco, Hugo Torres Vieira, Miguel Domingues, Jorge A. Pérez

dcπ++ Model Checker
   [ January 2011 ] - Carla Ferreira

LEXMAN
   [ October 2010 ] - Gabriel Pereira Lopes, Luís Russo, Jorge Costa

CCCFinder
   [ September 2010 ] - Miguel Pessoa Monteiro

LiveWeb - Core Language for Web Applications
   [ June 2010 ] - João Costa Seco, Luísa Lourenço, Miguel Domingues

UbiLang
   [ 2010 ] - Nuno Correia, Vasco Amaral

PLAORA (Product Line Aspect-Oriented Requirements Analysis)
   [ 2010 ] - João Araújo, Ana Moreira, Isabel Sofia Brito

Java-CO compiler
   [ 2010 ] - Artur Miguel Dias

Theme-SPL (Theme approach for Software Product Lines)
   [ 2010 ] - João Araújo

UGL (Unifying Goal Language)
   [ 2010 ] - João Araújo, Vasco Amaral

SpecJava
   [ 2010 ] - Tiago Santos

RLC in C++ (generic)
   [ 2010 ] - Margarida Mamede

L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory
   [ 2010 ] - Artur Miguel Dias

ATF-QL
   [ 2010 ] - João Araújo, Ana Moreira, Vasco Amaral

MDGORE (Model-Driven Goal Oriented Requirements Engineering)
   [ 2010 ] - João Araújo, Vasco Amaral

Memory management in CxProlog
   [ 2010 ] - Artur Miguel Dias

CxProlog version 0.97.5
   [ 2010 ] - Artur Miguel Dias

CO-OPN Parallel Run-Time
   [ November 2009 ] - João Lourenço, Vasco Amaral

Complete implementations of 2 sets of GoF patterns in Object Teams
   [ October 2009 ] - Miguel Pessoa Monteiro