Robert Abo

According to our database, Robert Abo authored at least 5 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.

Robert Abo, Laurent Voisin

Proceedings of the Software Engineering and Formal Methods, 2013

2011

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

PhD thesis, 2011

2010

Introduction to a Requirements Engineering Framework for Aeronautics.

Robert Abo

J. Softw. Eng. Appl., 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

Proceedings of the Q2SWinet'10, 2010

Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi.

Robert Abo, Kamel Barkaoui, Karim Djouani

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010