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 2 of 37 - listing publications 21 to 40 of a total of 735       * Research Stream publications in BibTeX format

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

bulletTowards Formal Interaction-based Models of Grid Computing Infrastructures
   [ Feb, 2014 ] - in proceedings
   Carlos Ramirez, Jorge A. Pérez, Jesús Aranda, Juan F. Díaz

bulletIntroduction to Special Issue: Quality in Information and Communications Technology
   [ Feb, 2014 ] - editorial activities
   Ricardo Machado, Miguel Goulão, Fernando Brito e Abreu, João Pascoal Faria

bulletModel-Driven GUI Generation and Navigation for Android BIS Apps
   [ Jan, 2014 ] - in proceedings
   Luís Pires da Silva, Fernando Brito e Abreu

bulletThe Eclipse Java Metamodel: Scaffolding Software Engineering Research on Java Projects with MDE Techniques
   [ Jan, 2014 ] - in proceedings
   Pedro Janeiro Coimbra, Fernando Brito e Abreu

bulletSubstructural typestates
   [ Jan, 2014 ] - in proceedings
   Filipe Militão, Luis Caires

bulletA MDE Generative Approach for Mobile Business Apps
   [ 2014 ] - in proceedings
   Luís Pires da Silva, Fernando Brito e Abreu

bulletWave overtopping analysis and early warning system
   [ 2014 ] - in proceedings
   André Sabino, Armanda Rodrigues, João Araújo, Pedro Poseiro, C. J. E. M. Fortes, M. T. Reis

bulletLinear Logical Relations and Observational Equivalences for Session-Based Concurrency
   [ 2014 ] - articles
   Jorge A. Pérez, Luis Caires, Frank Pfenning, Bernardo Toninho

bullet 4th International Model-Driven Requirements Engineering Workshop
   [ 2014 ] - editorial activities
   Ana Moreira, João Araújo, Gunter Mussbacher, Pablo Sanchez

bulletA Model-Driven Approach for Mobile Business Information Systems Applications
   [ 2014 ] - in proceedings
   Luís Pires da Silva, Fernando Brito e Abreu, Vasco Amaral

bulletLinearity, session types and the pi calculus
   [ 2014 ] - articles
   Marco Giunti, Vasco T. Vasconcelos

bulletTowards static deadlock resolution in the pi calculus
   [ 2014 ] - in proceedings
   Marco Giunti, António Ravara

bulletEvaluating Scenario-Based SPL Requirements Approaches — The Case for Modularity, Stability and Expressiveness
   [ 2014 ] - articles
   Mauricio Alférez, Ana Moreira, João Araújo

bulletClassification of Model Transformation Tools: Pattern Matching Techniques
   [ 2014 ] - in proceedings
   Bruno Barroca, Vasco Amaral

bulletStreamlining Code Smells:Using Collective Intelligence and Visualization
   [ 2014 ] - in proceedings
   Carlos Fábio Ramos Conceição, Glauco de Figueiredo Carneiro, Fernando Brito e Abreu

bulletSession Types with Runtime Adaptation: Overview and Examples
   [ Dec, 2013 ] - in proceedings
   Cinzia Di Giusto, Jorge A. Pérez

bulletEncaminhamento Multi-Caminho Baseado num Número Reduzido de Árvores
   [ Nov, 2013 ] - in proceedings
   João Amaro Horta, Margarida Mamede, José Legatheaux Martins

bulletBuilding Collaborative Quizzes
   [ Nov, 2013 ] - in proceedings
   Bruno Sampaio, Carmen Morgado, Fernanda Barbosa

bulletEvaluating the Quality in the Use of Domain-Specific Languages in an Agile Way
   [ Nov, 2013 ] - articles
   Ankica Barisic

bulletEarly identification of crosscutting concerns with the Language Extended Lexicon
   [ Nov, 2013 ] - articles
   Leandro Antonelli, Gustavo Rossi, Júlio Leite, João Araújo

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