Henrique Moniz

From Navigators

(Difference between revisions)
Jump to: navigation, search
(XML import corrections)
(Undo revision 1985 by Jcraveiro (talk))
Line 2: Line 2:
|name=Henrique Moniz
|name=Henrique Moniz
|role=Past member
|role=Past member
-
}}
 
-
{{Publication
 
-
|title=
 
-
   
 
-
 
 
-
 
-
 
 
-
   
 
-
        Preliminary definition of CORTEX interaction model
 
-
|author=
 
-
        G. Biegel, C. Brudna, António Casimiro, J. Kaiser, C. Liu, C. Mitidieri, Paulo Veríssimo
 
-
|url=
 
-
        http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-16
 
-
|abstract=
 
-
       
 
-
|type=
 
-
        techreport
 
-
|note=
 
-
        Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003
 
-
|month=
 
-
        mar
 
-
|year=
 
-
        2002
 
-
|Project=
 
-
        Project:CORTEX
 
-
|ResearchLine=
 
-
        Timeliness and Adaptation in Dependable Systems (TADS)
 
}}
}}

Revision as of 14:19, 14 January 2013

Past member
Henrique Moniz is no longer with the Navigators.

 

Projects

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)


Publications

  • 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.

BibTeX

Navigators - Henrique Moniz
Personal tools
Navigators toolbox