Ammar Alhaj Ali

According to our database, Ammar Alhaj Ali authored at least 2 papers between 2017 and 2018.

Collaborative distances:

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

2018

Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B.

Ammar Alhaj Ali, Roman Jasek, Said Krayem, Bronislav Chramcov, Petr Zacek

Proceedings of the Cybernetics and Algorithms in Intelligent Systems, 2018

2017

Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B.

Ammar Alhaj Ali, Roman Jasek, Said Krayem, Petr Zacek

Proceedings of the Cybernetics and Mathematics Applications in Intelligent Systems, 2017