CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Areas  \  Research Stream Login  
   
banner bottom
[ Software Systems ]

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.


bulletLuis Caires, Full Professor, Area/Group coordinator
bulletLuis Monteiro, Full Professor
bulletPedro Guerreiro, Full Professor
bulletAna Moreira, Associate Professor
bulletFernando Brito e Abreu, Associate Professor
bulletAntónio Ravara, Assistant Professor
bulletArtur Miguel Dias, Assistant Professor
bulletCarla Ferreira, Assistant Professor
bulletFernanda Barbosa, Assistant Professor
bulletJoão Araújo, Assistant Professor
bulletJoão Costa Seco, Assistant Professor
bulletMargarida Mamede, Assistant Professor
bulletMiguel Goulão, Assistant Professor
bulletMiguel Pessoa Monteiro, Assistant Professor
bulletVasco Amaral, Assistant Professor
bulletAnacleto Correia, Associate Researcher
bulletElisabete Freire, Associate Researcher
bulletHugo Torres Vieira, Associate Researcher
bulletIsabel Sofia Brito, Associate Researcher
bulletJorge A. Pérez, Associate Researcher
bulletMarco Giunti, Associate Researcher
bulletMauricio Alférez, Associate Researcher
bulletAna Paula Maldonado, PhD Student
bulletAnkica Barisic, PhD Student
bulletAnne Kersten, PhD Student
bulletBernardo Toninho, PhD Student
bulletCarlos Leandro, PhD Student
bulletCédric Grueau, PhD Student
bulletFilipe Militão, PhD Student
bulletJorge Barreiros, PhD Student
bulletJosé Magno Lopes, PhD Student
bulletLuísa Lourenço, PhD Student
bulletMiguel Domingues, PhD Student
bulletSérgio Bryton, PhD Student
bulletTiago Santos, PhD Student
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

prev   |   1  2  3  4  5   |   next


* 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)


prev   |   1  2  3  4  5   |   next