Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mamadou Kaba Traoré

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Oumar Y. Maïga

> Home > Persons > Mamadou Kaba Traoré

Publications

2023
[j17]
- 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
[j16]
- 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
[j14]
- 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
[j13]
- 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
[j8]
- 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)
2012
[c18]
- 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
[c17]
- 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.