Henrique Moniz

From Navigators

(Difference between revisions)
Jump to: navigation, search
(XML import corrections)
 
(One intermediate revision not shown)
Line 2: Line 2:
|name=Henrique Moniz
|name=Henrique Moniz
|role=Past member
|role=Past member
-
}}
+
|advisor=Nuno Ferreira Neves, Miguel Correia,  
-
{{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)
+
}}
}}

Latest revision as of 08:06, 2 August 2014

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