Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. - Robert Abo; Kamel Barkaoui; Karim Djouani (ICDCS Workshops, 2010)

A probabilistic analysis of energy efficiency of wireless sensor network duty-cycled MAC protocols: application to S-MAC and Eco-MAC. - Robert Abo; Kamel Barkaoui; Hafedh Zayani (Q2SWinet, 2010)

Introduction to a Requirements Engineering Framework for Aeronautics. - Robert Abo (J. Softw. Eng. Appl., 2010)

Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil. (Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks). - Robert Abo (2011)

Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO. - Robert Abo; Laurent Voisin (SEFM Workshops, 2013)