Abbes Laghrour

Design of ATL Rules for Transforming UML 2 Communication Diagrams into Büchi Automata

Allaoua Chaoui, Nabil Messaoudi, Elkamel Merah, 2012 .

Fault Tolerance for Composite Cloud Services: A MAS-based Novel Approach

Abbes Laghrour, O. Hioual, S. Hemam, 2022 .