|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)
Joint work on a model and associated verification logic for secrecy properties.
Member of the jury of Luís Caires's Habilitation examination.
Participation in the Habilitation examination of Luis Caires.
Meeting with CITI members. Educational/technological talk at the computer science department “IronPython and Dynamic Languages Runtime on .NET”
Aspectual Problem Frames
Aspectual AoURNSeminars @ CITI: Aspect-oriented URN
Collaboration meeting. Main topics: ongoing BATIC3S research, planning future joint research projects. Seminar "SATEL: How to express test intentions". Part of the jury of Bruno Barroca MsC's defense.Seminars @ CITI: SATEL: How to express test intentions
Model-Drivcen Development: from Requirements to Architecture
Meeting with Vasco Amaral. Present a talk: "Measuring the Structural Similarity of Semistructured Documents Using Entropy"Seminars @ CITI: Measuring the Structural Similarity of Semistructured Documents Using Entropy
Dimitris Mostrous, researcher at the Department of Computing, Imperial College, London will visit CITI from February 22nd to March 1st. Mostrous works on session types for object-oriented languages. The visit will include working meetings on the aforementioned topic.
Kohei Honda, researcher at Queen Mary, University of London will visit CITI from February 22nd to March 1st. Honda's experience in the dialogue between industry and theory, in the context of W3C's working group on web services will certainly be of interest to CITI members. Honda will deliver a talk at CITI.Seminars @ CITI: On Importance of Bringing Theory to Industry: an experience in W3C CDL working group
Sensoria project related research activity.
Ivan Lanese, researcher at the Department of Information Science, University of Bologna will visit CITI from November 20th to November 30th. Lanese is involved in the Sensoria project, where several CITI members participate. The visit will include multiple working sessions on the topic of Service Oriented Computing.
Plan work in the context of the streams PLM and SE, present a seminar, and exchange experiences in the area of e-learning.Seminars @ CITI: On the relationship between code cloning and maintenance
Seminar, research meetings, and Joao Seco PhD examination.Seminars @ CITI: Questions on Algebraic Specifications of Object Oriented Programs
Discussions on modules and objects, and Joao Seco PhD examination.Seminars @ CITI: Flexible Type-Safe Linking of Components for Java-Like Languages
Restricted BATIC3S meeting at FCT/UNL. Topic of discussion "The modeling approach".
Collaboration in the context of the Profundis project.
Definition of joint research work in the area of aspect mining and refactoring. Presentation of a seminar for CITI.Seminars @ CITI: Aspect Mining and Refactoring
Research collaboration on spatial types for security.