Ammar Alhaj Ali

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 2

Top Topics

Cloud Computing

Genetic Algorithm

Fault Tolerance

Top Venues

Publications

Ammar Alhaj Ali, Roman Jasek, Said Krayem, Bronislav Chramcov, Petr Zacek
Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B. CSOC (3) (2018)
Ammar Alhaj Ali, Roman Jasek, Said Krayem, Petr Zacek
Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B. CSOC (2) (2017)