|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
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 Alexandre Ferreira da Silva, 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)
Main opponent in the PhD defense of Anacleto Correia. Panel member in the annual QUASAR workshop.
Second opponent in the PhD defense of Anacleto Correia. Panel member in the annual QUASAR workshop.
Definition of joint research work in the area of software metrics and visualization. Presentation of a seminar for CITI. Demo of a tool.Seminars @ CITI: On the Use of Multiple Views Interactive Environments on Software Comprehension Activities
Definition of joint research work in the area of software reuse and process engineering. Presentation of a seminar for CITI. Participation as panel member in the annual QUASAR workshop.Seminars @ CITI: Research at prisma@coppe/ufr
The purpose of the visit is to explore new collaborations in the context of higher-order process calculi with constructs for dependability.Seminars @ CITI: Reversing execution in higher order pi-calculus
Erasmus PhD student
Definition of joint research work in the area of Experimental Software Engineering. Presentation of a seminar for CITI. Participation as panel member in the annual QUASAR workshop.Seminars @ CITI: Developing Software Technologies through Experimentation: Experiences from the Battlefield
The purpose of the visit was to continue with our ongoing work on the decidability and expressive power of process calculi.Seminars @ CITI: Modeling components and behaviors with the CAB language
The purpose of the visit was to discuss collaborations between CITI and the Open University (UK) in the context of research projects concerning Software Evolution. Michel also participated in the discussion of Nelson Fonte's MSc dissertation.Seminars @ CITI: Quality and Evolution: Some Relationships
Presentations at DSM-TP (Summer School) about Modeling, Model Transformations and DSL semantics. Preparing a project proposal meeting. Research Meeting on DSM Formal framework.
Talk at DSM-TP. Research meeting on Model Composition issues.
Talks at DSM-TP international Summer school. Research Meeting and common project proposals.
DSM-TP international Summer School tutorial presentations. Research meetings and project proposals.
Talks at DSM-TP international Summer School. Research Meeting.
Tutorials at DSM-TP. Research meetings.
PhD thesis juri of Hugo Vieira.
participation in Hugo Vieira's Phd defense.
The purpose of the visit was to prepare a paper to submit to WADT 2010 in the context of our cooperation started November 2009.
The purpose of the visit was to initiate a collaboration of Markus Roggenbach of the University of Wales Swansea with the project-team FOX.
Research visit organised in the context of previous visits of the PhD students Gunter Mussbacher to discuss the standardization of the AoURN notation.