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

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


bulletGenerating feature model from creative requirements using model driven design.
   [ 2012 ] - in proceedings
   Fernando Wanderley, Denis Silveira, João Araújo, Maria Lencastre

bulletSummary of the workshop on multi-paradigm modelling: Concepts and tools
   [ 2012 ] - editorial activities
   Vasco Amaral, Hans Vangheluwe

bulletAn Algebra of Behavioural Types
   [ 2012 ] - articles
   António Ravara, Pedro Resende, Vasco T. Vasconcelos

bulletA Structured Approach to Problem Solving in CS1
   [ 2012 ] - in proceedings
   Carmen Morgado, Fernanda Barbosa

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

bulletSoft Constraints in Feature Models: An Experimental Assessment
   [ 2012 ] - articles
   Jorge Barreiros, Ana Moreira

bulletAn Empirical Study of Aspect-Oriented Metrics
   [ 2012 ] - articles
   Eduardo Piveta, Ana Moreira, Marcelo Pimenta, João Araújo, Pedro Guerreiro, Tom Price

bulletPresentation Problem in CS1 courses
   [ 2012 ] - in proceedings
   Carmen Morgado, Fernanda Barbosa

bulletAoURN-based modeling and analysis of software product lines
   [ 2012 ] - articles
   Gunter Mussbacher, João Araújo, Ana Moreira, Daniel Amyot

bulletThe case for a Systematic Development of Building Automation Systems
   [ Dec, 2011 ] - in proceedings
   Paulo Carreira, Vasco Amaral, Bruno Barroca

bulletA Hierarchical Approach for Connecting Smart Buildings to Smart Grids
   [ Nov, 2011 ] - in proceedings
   Paulo Carreira, Vasco Amaral, Bruno Barroca

bulletManaging and Querying a Bilingual Lexicon with Suffix Trees
   [ Oct, 2011 ] - in proceedings
   Jorge Costa, Luís Gomes, Gabriel Pereira Lopes, Luís Russo

bulletQuality in Use of Domain Specific Languages: a Case Study
   [ Oct, 2011 ] - in proceedings
   Ankica Barisic, Vasco Amaral, Miguel Goulão, Bruno Barroca

bulletAsserting the Correctness of Translations
   [ Oct, 2011 ] - in proceedings
   Bruno Barroca, Vasco Amaral

bulletThe cloud paradigm: Are you tuned for the lyrics?
   [ Oct, 2011 ] - in proceedings
   Fernando Brito e Abreu

bulletParallelizing Irregular Algorithms: a Pattern Language
   [ Oct, 2011 ] - other publications
   Pedro Ferreira Costa Monteiro, Miguel Pessoa Monteiro

bulletSLAME: A Service Level Agreements Method for Elicitation
   [ Oct, 2011 ] - in proceedings
   Anacleto Correia, Fernando Brito e Abreu, Vasco Amaral

bulletMoving to the Cloud: Estimating the Internet Connection Bandwidth
   [ Oct, 2011 ] - in proceedings
   Luís Alexandre Ferreira da Silva, Fernando Brito e Abreu


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