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
bulletLuís Alexandre Ferreira da Silva, 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 3 of 4 - listing prototypes 41 to 60 of a total of 72

prev   |   1  2  3  4   |   next


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

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

* 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

* 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

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

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

* 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

* 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

* 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

* CxProlog version 0.96.1
   [ December 2007 ] - Artur Miguel Dias


prev   |   1  2  3  4   |   next