Oumar Maïga

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 5

Top Topics

Systems Engineering

Modeling Language

Design Rationale

Top Venues

Int. J. Model. Simul. Sci. Comput.

SpringSim (TMS-DEVS)

Blaise Pascal University, Clermont-Ferrand, France (PHD)

Education History

Blaise Pascal University, Clermont-Ferrand, France

PHD

Publications

Hamzat Olanrewaju Aliyu, Oumar Maïga
AnnoGram4MD: A Language for Annotating Grammars for High Quality Metamodel Derivation. ICTA (2020)
Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Maïga, Mamadou K. Traoré
A DEVS-based pivotal modeling formalism and its verification and validation framework. Simul. 96 (12) (2020)
Yacouba Adama Koné, Jacqueline Konaté, Oumar Maïga, Hamidou Tembine
Efficient Strategies Algorithms for Resource Allocation Problems. Algorithms 13 (11) (2020)
Kehinde G. Samuel, Oumar Maïga, Mamadou K. Traoré
Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems. Int. J. Model. Simul. Sci. Comput. 10 (5) (2019)
Hamzat Olanrewaju Aliyu, Oumar Maïga, Mamadou Kaba Traoré
The high level language for system specification: A model-driven approach to systems engineering. Int. J. Model. Simul. Sci. Comput. 7 (1) (2016)
Oumar Maïga, Ufuoma Bright Ighoroje, Mamadou Kaba Traoré
DDML: A Support for Communication in M&S. WETICE (2012)
Ufuoma Bright Ighoroje, Oumar Maïga, Mamadou Kaba Traoré
The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation. SpringSim (TMS-DEVS) (2012)