CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  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 6 of 37 - listing publications 101 to 120 of a total of 735       * Research Stream publications in BibTeX format

prev   |   2  3  4  5  6  7  8  9  10   |   next

bulletA Type System for Flexible Role Assignment in Multiparty Communicating Systems
   [ Sep, 2012 ] - in proceedings
   Pedro Baltazar, Luis Caires, Vasco T. Vasconcelos, Hugo Torres Vieira

bulletTowards a robust solution in Building Automation Systems: supporting rapid prototyping and analysis
   [ Sep, 2012 ] - in proceedings
   Vasco Amaral, Bruno Barroca, Paulo Carreira

bulletProceedings of the 4th Portuguese Software Engineering Doctoral Symposium (SEDES'2012)
   [ Sep, 2012 ] - editorial activities
   Miguel Goulão, Fernando Brito e Abreu

bulletEvaluating the Usability of Domain-Specific Languages
   [ Sep, 2012 ] - book chapters
   Ankica Barisic, Vasco Amaral, Miguel Goulão, Bruno Barroca

bulletUsability Evaluation of Domain-Specific Languages
   [ Sep, 2012 ] - in proceedings
   Ankica Barisic, Vasco Amaral, Miguel Goulão

bulletImplementing design patterns in Object Teams
   [ Sep, 2012 ] - articles
   Miguel Pessoa Monteiro, João Lopes Gomes

bulletSegurança de Dados em Aplicações Centradas em Dados por Análise de Fluxo de Informação
   [ Sep, 2012 ] - in proceedings
   Luísa Lourenço, Luis Caires

bulletProceedings of the Fourth Portuguese Software Engineering Doctoral Symposium (SEDES’2012)
   [ Sep, 2012 ] - book chapters
   Miguel Goulão, Fernando Brito e Abreu

bulletFirst-Order Dynamic Logic for Compensable Processes
   [ Jun, 2012 ] - in proceedings
   Roberto Bruni, Carla Ferreira, Anne Kersten Kauer

bulletVerification of Snapshot Isolation in Transactional Memory Java Programs
   [ Jun, 2012 ] - in proceedings
   Ricardo Dias, Dino Distefano, João Costa Seco, João Lourenço

bulletOn the analysis of compensation correctness
   [ May, 2012 ] - articles
   Cátia Vaz, Carla Ferreira

bulletLinear Logical Relations for Session-Based Concurrency
   [ Apr, 2012 ] - in proceedings
   Jorge A. Pérez, Luis Caires, Frank Pfenning, Bernardo Toninho

bulletFunctions as Session-Typed Processes
   [ Apr, 2012 ] - in proceedings
   Bernardo Toninho, Luis Caires, Frank Pfenning

bulletSLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
   [ Apr, 2012 ] - in proceedings
   Luis Caires, Hugo Torres Vieira

bulletSoftware Evolution Prediction Using Seasonal Time Analysis: a Comparative Study
   [ Mar, 2012 ] - in proceedings
   Miguel Goulão, Nelson Baptista Fonte, Michel Wermelinger, Fernando Brito e Abreu

bulletTowards concurrent type theory
   [ Jan, 2012 ] - in proceedings
   Luis Caires, Bernardo Toninho, Frank Pfenning

bulletAnalysis of Service Oriented Software Systems with the Conversation Calculus
   [ Jan, 2012 ] - in proceedings
   Luis Caires, Hugo Torres Vieira

bulletRevealing Crosscutting Concerns in Textual Requirements Documents: An Exploratory Study with Industry Systems
   [ 2012 ] - in proceedings
   José Herrera, Isela Bertran, Rafael pinho, Ronald Vargas, Alessandro Garcia, João Araújo, Karin Breitman

bulletTowards Bi-Algebraic Semantics for the Linear Time – Branching Time Spectrum
   [ 2012 ] - in proceedings
   Ana Paula Maldonado, Luis Monteiro, Markus Roggenbach

bulletComunicações Científicas: 1.º Congresso Ibérico de Jovens Engenheiros
   [ 2012 ] - editorial activities
   Vasco Amaral

prev   |   2  3  4  5  6  7  8  9  10   |   next