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

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


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

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

bulletIterative evaluation of Domain-Specific Languages
   [ Nov, 2013 ] - articles
   Ankica Barisic

bulletOptimizing Data Queries Over Heterogeneous Sources
   [ Sep, 2013 ] - in proceedings
   Nuno Grade, Lúcio Ferrão, João Costa Seco

bulletSelecção de Caminhos para Encaminhamento Multi-Caminho
   [ Sep, 2013 ] - in proceedings
   João Amaro Horta, Margarida Mamede, José Legatheaux Martins

bulletCompact and Fast Indexes for Translation Related Tasks
   [ Sep, 2013 ] - in proceedings
   Jorge Costa, Luís Gomes, Gabriel Pereira Lopes, Luís Russo, Nieves Brisaboa

bulletFluxo de Informação em Sistemas com Políticas de Confidencialidade Dinâmicas
   [ Sep, 2013 ] - in proceedings
   Paulo Jorge Abreu Duarte Ferreira, João Costa Seco, Carla Ferreira

bulletAdding Interoperability to Requirements Models
   [ Sep, 2013 ] - articles
   Rui Monteiro, João Araújo, Vasco Amaral, Miguel Goulão, Pedro Miguel Beja Patrício

bulletPrevenção de Violações de Atomicidade usando Contractos
   [ Sep, 2013 ] - in proceedings
   Diogo Sousa, Carla Ferreira, João Lourenço

bulletSYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL
   [ Sep, 2013 ] - other publications
   Lúcio Ferrão, João Costa Seco, Luis Caires, Gonçalo Borrega, António Melo

bullet A Multiparadigm Approach to Integrate Gestures and Sound in the Modeling Framework
   [ Sep, 2013 ] - in proceedings
   Vasco Amaral

bulletInformation Flow Analysis for Valued-Indexed Data Security Compartments
   [ Aug, 2013 ] - in proceedings
   Luísa Lourenço, Luis Caires

bulletAnalysable Software Language Translations
   [ Jul, 2013 ] - dissertations
   Bruno Barroca

bulletA Structured Approach to Problem Solving in CS1/2
   [ Jul, 2013 ] - articles
   Carmen Morgado, Fernanda Barbosa

bulletCOLLABORATIVE QUIZ DEVELOPMENT WITH EPIK
   [ Jul, 2013 ] - in proceedings
   Bruno Sampaio, Carmen Morgado, Fernanda Barbosa

bulletA Framework to Evaluate Complexity and Completeness of KAOS Goal Models
   [ Jun, 2013 ] - in proceedings
   Patrícia Espada, Miguel Goulão, João Araújo

bulletA Systematic Comparison of i* Modelling Tools Based on Syntactic and Well-Formedness Rules
   [ Jun, 2013 ] - in proceedings
   Catarina Gralha Almeida, Miguel Goulão, João Araújo

bulletA Comparison of Maps Application Programming Interfaces
   [ May, 2013 ] - in proceedings
   Ana Isabel Fernandes, Miguel Goulão, Armanda Rodrigues

bulletTransforming Creative Requirements into a Conceptual Model
   [ May, 2013 ] - in proceedings
   Fernando Wanderley, Denis Silveira, João Araújo, Ana Moreira

bulletHigher-Order Processes, Functions, and Sessions: A Monadic Integration
   [ Apr, 2013 ] - in proceedings
   Bernardo Toninho, Luis Caires, Frank Pfenning


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