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

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


bulletElements of style of BPMN language
   [ Feb, 2015 ] - technical reports
   Anacleto Correia

bulletDependent Information Flow Types
   [ Jan, 2015 ] - in proceedings
   Luísa Lourenço, Luis Caires

bulletDisciplined Structured Communications with Disciplined Runtime Adaptation
   [ Jan, 2015 ] - articles
   Cinzia Di Giusto, Jorge A. Pérez

bulletAn Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
   [ Nov, 2014 ] - in proceedings
   Cinzia Di Giusto, Jorge A. Pérez

bulletThe Case for Fast and Invariant-Preserving Geo-Replication
   [ Oct, 2014 ] - in proceedings
   Valter Balegas, Mahsa Najafzadeh, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Marc Shapiro, Nuno Preguiça

bulletForeword of the Thematic Track: Evidence-Based Software Quality Engineering
   [ Sep, 2014 ] - editorial activities
   Guilherme Horta Travassos, Fernando Brito e Abreu

bulletA cover-based approach for configuration repair
   [ Sep, 2014 ] - in proceedings
   Jorge Barreiros, Ana Moreira

bulletIntroducing usability concerns early in the DSL development cycle: FlowSL experience report
   [ Sep, 2014 ] - in proceedings
   Ankica Barisic, Vasco Amaral, Miguel Goulão, Ademar Aguiar

bulletOtimização automática de aplicações web usando templates client-side
   [ Sep, 2014 ] - in proceedings
   Sara Gonçalves, Hugo Lourenço, Sérgio Silva, João Costa Seco

bulletDynamic Role Authorization in Multiparty Conversations
   [ Sep, 2014 ] - in proceedings
   Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

bulletSelf-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
   [ Sep, 2014 ] - in proceedings
   Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

bullet SnapMind: A framework to support consistency and validation of model-based requirements in agile development
   [ Aug, 2014 ] - in proceedings
   Fernando Wanderley, António SIlva, João Araújo, Denis Silveira

bulletIndirect Keyword Recommendation
   [ Aug, 2014 ] - in proceedings
   André Sabino, Armanda Rodrigues, Miguel Goulão, João Gouveia

bulletFlexible Modeling and Product Derivation in Software Product Lines
   [ Jul, 2014 ] - in proceedings
   Jorge Barreiros, Ana Moreira

bulletRely-Guarantee Protocols
   [ Jun, 2014 ] - in proceedings
   Filipe Militão, Jonathan Aldrich, Luis Caires

bulletExperimental Evaluation of Conceptual Modelling through Mind Maps and Model Driven Engineering
   [ Jun, 2014 ] - in proceedings
   Fernando Wanderley, Denis Silveira, João Araújo, Ana Moreira

bulletIdentifying modularity improvement opportunities in goal-oriented requirements models
   [ Jun, 2014 ] - in proceedings
   Catarina Gralha Almeida, Miguel Goulão, João Araújo

bulletAvaliação empírica do sucesso da utilização da gestão ágil de projetos no desenvolvimento de software em portais de notícias do Brasil
   [ Jun, 2014 ] - articles
   Elton Santos Vianna, Gutenberg A. Silveira, Fernando Brito e Abreu

bulletConsistency Checking in Early SPL Specifications - The VCC Approach
   [ May, 2014 ] - articles
   Mauricio Alférez, Roberto E. Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed

bulletWeb-GIS models: accomplishing modularity with aspects
   [ Mar, 2014 ] - articles
   Matias Urbieta, Ana Isabel Durão Mata de Oliveira , João Araújo, Armanda Rodrigues, Ana Moreira, S. Gordillo, Gustavo Rossi


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