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 5 - listing seminars 1 to 20 of a total of 86



Model-Driven Spreadsheets
   [ 26 Nov 2014 ] - Jácome Cunha (Departamento de Informática FCT/UNL)

A Human-Centered Requirements Modelling Approach through Cognitive Maps, Model-Driven Engineering and Domain Specific Modelling
   [ 16 Jul 2014 ] - Fernando Wanderley (FCT-UNL)

Identifying modularity improvement opportunities in goal-oriented requirements models
   [ 2 Jul 2014 ] - Catarina Gralha Almeida (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa), João Araújo, Miguel Goulão

BPM in Software Processes
   [ 2 May 2014 ] - Toacy Oliveira (Universidade Federal do Rio de Janeiro)

Dependent Information Flow Types
   [ 2 Apr 2014 ] - Luísa Lourenço

Synthesising Correct Concurrent Runtime Monitors
   [ 5 Feb 2014 ] - Adrian Francalanza (University of Malta)

Logic-Based Domain-Aware Session Types
   [ 4 Dec 2013 ] - Jorge A. Pérez

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
   [ 25 Jul 2013 ] - Nobuko Yoshida (Imperial College of Science and Tecnology)

Cyber-Physical Systems: challenges and directions for research
   [ 19 Jul 2013 ] - Hans Vangheluwe (School of Computer Science, McGill University)

The Type Discipline of Behavioral Separation
   [ 18 Jun 2013 ] - Luis Caires

A General Proof System for Modalities in Concurrent Constraint Programming
   [ 12 Jun 2013 ] - Carlos Olarte (Universidad Javeriana)

Verifiable WCET by abstract interpretation
   [ 8 May 2013 ] - Simão Melo de Sousa (Universidade da Beira Interior)

Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming
   [ 20 Mar 2013 ] - Fabrizio Montesi (IT University of Copenhagen)

The Visual Contract Language
   [ 19 Dec 2012 ] - Nuno Amálio (University of Luxemburg)

On the Use of Multiple Views Interactive Environments on Software Comprehension Activities
   [ 21 Nov 2012 ] - Glauco de Figueiredo Carneiro (Universidade Salvador)

Synthesizing Software Verifiers from Proof Rules
   [ 17 Oct 2012 ] - Nuno Lopes (Instituto Superior Técnico)

Research at prisma@coppe/ufr
   [ 6 Jun 2012 ] - Toacy Oliveira (Universidade Federal do Rio de Janeiro)

Verifying fault-tolerance requirements in architecture models
   [ 16 May 2012 ] - Margarida Piriquito (Onera)

Boolean Satisfiability: Algorithms and Applications
   [ 14 Dec 2011 ] - Inês Lynce (Instituto Superior Técnico)

Reversing execution in higher order pi-calculus
   [ 7 Dec 2011 ] - Claudio Mezzina (INRIA-Grenoble)