The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation. - Ufuoma Bright Ighoroje; Oumar Y. Maïga; Mamadou Kaba Traoré (SpringSim (TMS-DEVS), 2012)

DDML: A Support for Communication in M&S. - Oumar Y. Maïga; Ufuoma Bright Ighoroje; Mamadou Kaba Traoré (WETICE, 2012)

An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems. (Un langage intégré pour la spécification, simulation, analyse formelle et en-action des systèmes à événements discrets). - Oumar Y. Maïga (2015)

The high level language for system specification: A model-driven approach to systems engineering. - Hamzat Olanrewaju Aliyu; Oumar Y. Maïga; Mamadou Kaba Traoré (Int. J. Model. Simul. Sci. Comput., 2016)

Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems. - Kehinde G. Samuel; Oumar Y. Maïga; Mamadou K. Traoré (Int. J. Model. Simul. Sci. Comput., 2019)

AnnoGram4MD: A Language for Annotating Grammars for High Quality Metamodel Derivation. - Hamzat Olanrewaju Aliyu; Oumar Y. Maïga (ICTA, 2020)

Efficient Strategies Algorithms for Resource Allocation Problems. - Yacouba Adama Koné; Jacqueline Konaté; Oumar Y. Maïga; Hamidou Tembine (Algorithms, 2020)

A DEVS-based pivotal modeling formalism and its verification and validation framework. - Kehinde G. Samuel; Nourou-Dine M. Bouare; Oumar Y. Maïga; Mamadou K. Traoré (Simul., 2020)

A generic learning simulation framework to assess security strategies in cyber-physical production systems. - Moussa Koïta; Youssouf M. Diagana; Oumar Y. Maïga; Mamadou Kaba Traoré (Comput. Networks, 2022)

A theoretical approach to the computational complexity measure of abstract DEVS simulators. - Yoro Diouf; Oumar Y. Maïga; Mamadou Kaba Traoré (Int. J. Model. Simul. Sci. Comput., 2023)