Oumar Y. Maïga

Orcid: 0000-0001-9127-1882

Affiliations:
  • University Of Science Technical And Technologies, Bamako, Mali


According to our database1, Oumar Y. Maïga authored at least 11 papers between 2012 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
TCHIA-FedPer: An Edge Online Federated Learning and IoT-Based for High-Precision Smart Agriculture.
Proceedings of the 21th International Conference on Wireless and Mobile Computing, 2025

2023
A theoretical approach to the computational complexity measure of abstract DEVS simulators.
Int. J. Model. Simul. Sci. Comput., August, 2023

2022
A generic learning simulation framework to assess security strategies in cyber-physical production systems.
Comput. Networks, 2022

2020
A DEVS-based pivotal modeling formalism and its verification and validation framework.
Simul., 2020

Efficient Strategies Algorithms for Resource Allocation Problems.
Algorithms, 2020

AnnoGram4MD: A Language for Annotating Grammars for High Quality Metamodel Derivation.
Proceedings of the Information and Communication Technology and Applications, 2020

2019
Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems.
Int. J. Model. Simul. Sci. Comput., 2019

2016
The high level language for system specification: A model-driven approach to systems engineering.
Int. J. Model. Simul. Sci. Comput., 2016

2015
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).
PhD thesis, 2015

2012
DDML: A Support for Communication in M&S.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation.
Proceedings of the 2012 Spring Simulation Multiconference, 2012


  Loading...