“Preliminary definition of CORTEX interaction model”

From Navigators

Revision as of 19:30, 11 January 2013 by Jcraveiro (Talk | contribs)
Jump to: navigation, search
Past member
Henrique Moniz is no longer with the Navigators.



Past projects

  • DIVERSE (Diversity for Intrusion-Tolerant Systems)
  • CRUTIAL (CRitical UTility InfrastructurAL resilience)
  • RESIST NoE (Resilience for Survivability in IST (Network of Excellence))
  • RITAS (Randomized Intrusion Tolerance for Asynchronous Systems)


  • Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Randomized Intrusion-Tolerant Asynchronous Services”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, pages 568-577, June 2006, Jun. 2006.


Navigators - Henrique Moniz G. Biegel, C. Brudna, António Casimiro, J. Kaiser, C. Liu, C. Mitidieri, Paulo Veríssimo

Missing institution, Tech. Rep., Mar. 2002.

Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003.

Download paper

Download Preliminary definition of CORTEX interaction model

Export citation


Project(s): Project:CORTEX

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Personal tools
Navigators toolbox