Oumar Y. Maïga
Orcid: 0000-0001-9127-1882Affiliations:
- University Of Science Technical And Technologies, Bamako, Mali
According to our database1,
Oumar Y. Maïga
authored at least 10 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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
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
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