The Navigators website is currenly being migrated. Please update your bookmarks.
In a few seconds, you will be redirected to the new Navigators Wiki.

News Archive

New cut-off date: 31/May/2012 - Scholarships for PhD in Computer Science and Engineering

24/Sep/2009: the Navigator's PhD student Henrique Moniz won the Best Student Paper Award at DISC 2009

09/Jul/2008: Paulo Sousa, a researcher from the Navigators team, won the IBM 2007 Scientific Award, with the work "Security and Availability through Proactive Resilience"

11/Feb/2008:
Scholarships for PhD in Computer Science and Engineering

20/Jan/2008:
2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - WRAITS 2008

09/Jan/2007: Workshop on Recent Advances on Intrusion-Tolerant Systems - WRAITS 2007

21/Dec/2006:
Master/PhD at Carnegie Mellon University and University of Lisboa

25/Jun/2006: We are hiring

06/Jun/2006:
Site revamp

01/Jan/2006:
New Year, new projects: check our recently started european projects


Welcome > Papers > Thesis, Presentations and Tutorials

Thesis, Presentations and Tutorials


Integration of generic operating systems in partitioned architectures
João Craveiro
M.Sc. thesis, Faculty of Sciences, University of Lisbon, 2009


Thou Shalt Not Trust non-Trustworthy Systems
Paulo Veríssimo
Keynote at the Workshop on Assurance in Distributed Systems and Networks (ADSN2006), with the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), Lisboa, Portugal, July 2006.


Serviços Distribuídos Tolerantes a Intrusões: resultados recentes e problemas abertos
Miguel Correia
V Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - Livro Texto dos Minicursos, pp. 113-162, Sociedade Brasileira de Computação, Setembro de 2005


Computational System for Real-Time Distributed Control
José Rufino
PhD Thesis. Technical University of Lisbon, Instituto Superior Técnico, Lisboa, Portugal. July 2002


Global Computing - A Vision
Paulo Veríssimo
Presented at Global Computing: Co-operation of Autonomous and Mobile Entities in Dynamic Environments, Consultation Workshop, Edinburgh - September 2000.


SEGURANÇA e CONFIABILIDADE: na ordem do dia dos sistemas distribuídos
Paulo Veríssimo
Jornadas do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros. Lisboa-IST, 1996


Comunicação e Computação em Sistemas Distribuídos - Lição de Síntese
Paulo Veríssimo
Novembro 1994. IST - INESC, Lisboa, Portugal


Rede de Difusão Abstracta: um modelo para construção de protocolos portáteis sobre rede local
José Rufino
M.Sc Thesis. Technical University of Lisbon, Instituto Superior Técnico, Lisboa, Portugal. April 1993 (in Portuguese).