|Home \ Research Areas \ Research Stream||Login|
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.
Luis Caires, Full Professor, Area/Group coordinator
Luis Monteiro, Full Professor
Pedro Guerreiro, Full Professor
Ana Moreira, Associate Professor
Fernando Brito e Abreu, Associate Professor
António Ravara, Assistant Professor
Artur Miguel Dias, Assistant Professor
Carla Ferreira, Assistant Professor
Fernanda Barbosa, Assistant Professor
João Araújo, Assistant Professor
João Costa Seco, Assistant Professor
Margarida Mamede, Assistant Professor
Miguel Goulão, Assistant Professor
Miguel Pessoa Monteiro, Assistant Professor
Vasco Amaral, Assistant Professor
Anacleto Correia, Associate Researcher
Elisabete Freire, Associate Researcher
Hugo Torres Vieira, Associate Researcher
Isabel Sofia Brito, Associate Researcher
Jorge A. Pérez, Associate Researcher
Luís Alexandre Ferreira da Silva, Associate Researcher
Marco Giunti, Associate Researcher
Mauricio Alférez, Associate Researcher
Ana Paula Maldonado, PhD Student
Ankica Barisic, PhD Student
Anne Kersten, PhD Student
Antonielly Garcia Rodrigues, PhD Student
Bernardo Toninho, PhD Student
Carlos Leandro, PhD Student
Cédric Grueau, PhD Student
Filipe Militão, PhD Student
Jorge Barreiros, PhD Student
José Magno Lopes, PhD Student
Luís Miguel Lourenço, PhD Student
Luísa Lourenço, PhD Student
Miguel Domingues, PhD Student
Sérgio Bryton, PhD Student
Tiago Santos, PhD Student
Luís Pires da Silva, MSc Student
Joana Dâmaso, Intern
|Research Stream Activities:|
Research Projects (55)
Seminars @ CITI (86)
External Talks (128)
Graduation Activities (230)
Organization of Events (277)
Editorial Committees (11)
Presentation of the invited talk "Integrating Metamodel Driven Measurement in the Eclipse IDE". Presentation of current research works and discussion of possible collaborations in the future.
Short term scientific mission supported by ECOST action Behavioural Types for Reliable Large-Scale Software Systems (BETTY). Title: "A behavioural theory for sessions".
Invited professor with presentation of a 14 hours course on Empirical Software Engineering to faculty staff and PRODEI PhD students. Meeting to identify common research interests.
Faculty Exchange Visit at Carnegie Mellon University, under the CMU|Portugal program Report
Participation in a PhD jury and meetings to explore future collaborations.
Visit to UFMG to explore new collaborations, participating as a keynote in a Software Engineering Workshop.
To do research with Alessandro Garcias's group. Two papers were published as results of this visit.
Visiting professsor at COPPE / Federal University of Rio de Janeiro, Brasil. Presentation of two department seminars. Presentation of ongoing research work and plans for future cooperation.
Faculty Exchange CMU Portugal
The aim of the visit is to work on the project "Identification of concerns and refactoring in aspect-oriented systems".
Work on an approach to rank opportunities for refactoring in software artifacts, focusing on those opportunities that are more likely to improve a set of software quality attributes. The approach uses (i) metrics-based evaluation functions to quantitatively rank refactoring opportunities and (ii) impact functions to evaluate the effects of refactoring (without actually having to refactor the artifacts). The approach aims to help developers to choose the best refactoring opportunities in a given context.
The pupose of the visit to CUHK Computer Science and Engineering Department, is to discuss possible future collaborations and carry on work started in the area of aspect-oriented requirements where both have organised workshops together and edited a special issue on early aspects.
Visiting professor at the Département Informatique. Presentation of a course in Experimental Software Engineering at the EMOOSE European MSc program. Research meeting with Jean Bézivin.
To worr on teh area of aspects for software product lines, with application to a case study, the results will lead to a paper submission a Journal. The approach developed provides a good application domain for the Aspect-oriented user Requirements Notation and an innovative integration between goal models and feature models.
The purpose of the visit is to attend the plenary meeting of teh AMPLE project.
Cooperation regarding compensation policies for long running transactions.
As invited Professor, for the winter semester at the University of Geneva.
Visiting professor at the Département Informatique. Presentation of a course in Experimental Software Engineering at the EMOOSE European MSc program.
Exploratory research meeting with mutual presentation of ongoing research works.
Visiting professor at the Département Informatique. Presentation of a course in Software Quality at the EMOOSE European MSc program.