Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Oumar Y. Maïga

> Home > Persons

Person information

affiliation: University Of Science Technical And Technologies, Bamako, Mali

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2015
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Maiga15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Maiga15
Oumar Y. Maïga:
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). Blaise Pascal University, Clermont-Ferrand, France, 2015

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmssc/DioufMT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmssc/DioufMT23
Yoro Diouf, Oumar Y. Maïga, Mamadou Kaba Traoré:
A theoretical approach to the computational complexity measure of abstract DEVS simulators. Int. J. Model. Simul. Sci. Comput. 14(4): 2350013:1-2350013:32 (2023)
2022
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/KoitaDMT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/KoitaDMT22
Moussa Koïta, Youssouf M. Diagana, Oumar Y. Maïga, Mamadou Kaba Traoré:
A generic learning simulation framework to assess security strategies in cyber-physical production systems. Comput. Networks 218: 109381 (2022)
2020
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/KoneKMT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/KoneKMT20
Yacouba Adama Koné, Jacqueline Konaté, Oumar Y. Maïga, Hamidou Tembine:
Efficient Strategies Algorithms for Resource Allocation Problems. Algorithms 13(11): 270 (2020)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/SamuelBMT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/SamuelBMT20
Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Y. Maïga, Mamadou K. Traoré:
A DEVS-based pivotal modeling formalism and its verification and validation framework. Simul. 96(12) (2020)
2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmssc/SamuelMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmssc/SamuelMT19
Kehinde G. Samuel, Oumar Y. 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): 1950032:1-1950032:26 (2019)
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmssc/AliyuMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmssc/AliyuMT16
Hamzat Olanrewaju Aliyu, Oumar Y. 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): 1641003:1-1641003:35 (2016)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icta2/AliyuM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icta2/AliyuM20
Hamzat Olanrewaju Aliyu, Oumar Y. Maïga:
AnnoGram4MD: A Language for Annotating Grammars for High Quality Metamodel Derivation. ICTA 2020: 602-617
2012
[c2]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/IghorojeMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/IghorojeMT12
Ufuoma Bright Ighoroje, Oumar Y. Maïga, Mamadou Kaba Traoré:
The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation. SpringSim (TMS-DEVS) 2012: 49
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/MaigaIT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/MaigaIT12
Oumar Y. Maïga, Ufuoma Bright Ighoroje, Mamadou Kaba Traoré:
DDML: A Support for Communication in M&S. WETICE 2012: 238-243

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.