— Advised Theses

• João Pedro Gonçalves Crespo Craveiro
  "Integration of Generic Operating Systems in Partitioned Architectures"
  MSc thesis, 2009
  Advisor: José Rufino (FCUL)
• José Serafim Gouveia Anjos
  "Java Development Platform for Real-Time Applications in Multi-core Architectures"
  MSc thesis, 2009
  Advisors: José Rufino (FCUL) and Tobias Schoofs (Skysoft Portugal, SA)
• José Joaquim Pinto de Sousa
  "Memory Protection and Qualification of Real-Time Operating Systems for Space Applications"
  MSc thesis, 2009
  Advisors: José Rufino (FCUL) and Helder Silva (Edisoft, SA)
• Edgar Manuel Cândido da Silva Pascoal
  "AMOBA - ARINC 653 simulator for modular space based applications"
  MSc thesis, 2008
  Advisors: José Rufino (FCUL) and Tobias Schoofs (Skysoft Portugal, SA)
• Miguel Diogo Antunes Ribeiro Canha da Piedade
  "Monitorização e Controlo de Galileo Elements usando SNMP"
  MSc thesis, 2008
  Advisors: José Rufino (FCUL) and Carlos Santos (Skysoft Portugal, SA)
• Ivo Daniel Oliveira Guimarães
  "Aplicação de Sistemas Operativos de Tempo Real no Sistema Galileo"
  MSc thesis, 2008
  Advisors: Maria Antónia Lopes (FCUL) and Carlos Santos (Skysoft Portugal, SA)
• Bruno Dinis Felino Grilo
  "ASPASIA"
  MSc thesis, 2008
  Advisors: Carlos Lourenço (FCUL) and Catarina Almeida (Skysoft Portugal, SA)
• Rui Miguel Teixeira Alves
  "Suporte e Manutenção do Sistema de Geração de Produtos LandSAF"
  MSc thesis, 2008
  Advisors: Ana Luísa Respício (FCUL) and Luís Pessanha (Skysoft Portugal, SA)
• Leonel Martins Costa Duarte
  "Portagem de Sistema Operativo - Aplicações ODS"
  MSc thesis, 2008
  Advisors: Hugo Miranda (FCUL) and José Vermelhudo (NAV Portugal EPE)