Dependability Evaluation. - Cláudia Betous-Almeida; Karama Kanoun (SAFECOMP, 2001)

Stepwise Construction and Refinement of Dependability Models. - Cláudia Betous-Almeida; Karama Kanoun (DSN, 2002)

Construction and stepwise refinement of dependability models. - Cláudia Betous-Almeida; Karama Kanoun (Perform. Evaluation, 2004)

Fault-Tolerance Analysis of Mixed CAN/Switched Ethernet Architecture. - Cláudia Betous-Almeida; Jean-Luc Scharbarg; Christian Fraboul (ISoLA, 2007)

Transport and Routing Redundancy for MANETs Robustness. - Amadou Baba Bagayoko; Béatrice Paillassa; Cláudia Betous-Almeida (ISPA, 2009)