CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home  \  Research Areas  \  Research Stream

Login

CITI Welcome Research Areas Organization Executive Board Advisory Board Contacts Useful Information People CITI Members Visitors Activities Research Projects Publications Seminars @ CITI External Talks & Seminars Graduation Activities Organization of Events Editorial Committees Prototypes Visits & Missions Activity Reports Search & Query Search BibTeX Generator

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)  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 7 - listing external talks 1 to 20 of a total of 128



Integrating Metamodel Driven Measurement in the Eclipse IDE
   Fernando Brito e Abreu
   [ 12 Dec 2013 ] - Departmental Seminar

Software Language Engineering: Towards Validation of Usability of DSLs
   Vasco Amaral
   [ 25 Nov 2013 ] - Research Talk

Logic-Based Domain-Aware Session Types
   Jorge A. Pérez
   [ 7 Nov 2013 ] - Research Talk

Research Strategies in IT Project Management
   Fernando Brito e Abreu
   [ 15 Oct 2013 ] - Invited Lecture

Is building a DSML REALLY worth the effort?
   Miguel Goulão
   [ 6 Sep 2013 ] - Summer School Course

Domain Specific Modeling
   Vasco Amaral
   [ 6 Sep 2013 ] - Summer School Course

Metamodel-driven computing: how it works and what it delivers
   Fernando Brito e Abreu
   [ 5 Sep 2013 ] - Research Talk

Towards static deadlock resolution in the pi calculus.
   Marco Giunti
   [ 30 Aug 2013 ] - Research Talk

Evaluating and Creatively Building KAOS Goal Models
   João Araújo
   [ 2 Aug 2013 ] - Departmental Seminar

Smart Cities: the role of ICT as Enabler for Balancing Economy, Energy, Climate and Quality of Life
   Vasco Amaral
   [ 28 Jun 2013 ] - Research Talk

Agile software development practices in brazilian news portals: results of an empirical study
   Fernando Brito e Abreu
   [ 21 Jun 2013 ] - Research Talk

Domain Specific Modeling and Languages
   Vasco Amaral
   [ 15 Jun 2013 ] - Summer School Course

Empirical Software Engineering: a short course (2 full days)
   Fernando Brito e Abreu
   [ 5 Feb 2013 ] - Invited Lecture

Linear Logical Relations and Observational Equivalences for Session-Based Concurrency
   Jorge A. Pérez
   [ 29 Oct 2012 ] - Departmental Seminar

Evaluating DSLs
   Miguel Goulão
   [ 14 Sep 2012 ] - Summer School Course

Domain Specific Modeling - DSM-TP 2012
   Vasco Amaral
   [ 6 Sep 2012 ] - Summer School Course

Formal Models of Concurrency: Languages and Expressiveness
   Jorge A. Pérez
   [ 23 Jul 2012 ] - Summer School Course

Linear Logical Relations and Observational Equivalences for Session-Based Concurrency
   Jorge A. Pérez
   [ 21 Jun 2012 ] - Departmental Seminar

Imperfections of Transformations in Model-Driven Requirements Engineering
   João Araújo
   [ 30 May 2012 ] - Departmental Seminar

Domain Specific Languages
   Vasco Amaral
   [ 25 May 2012 ] - Invited Lecture