Profiles & Publications
Research: Modeling, Simulation, Digital Twins
- Hybrid Automata Based System Specification
- MultiPerspective Modeling and Holistic Simulation
- Digital Twin Engineering
- Digital Twin Driven System Engineering
Teaching: Computational methods and tools for Production systems
|
|
Article (5)
MBSE with/out Simulation: State of the Art and Way Forward Auteur(s): Bernard P Zeigler, Saurabh Mittal, Mamadou Kaba Traoré Année de publication: 2020 Journal: Systems DOI: 10.3390/systems6040040 Lien HAL: https://hal.science/hal-02968090v1 A DEVS-based pivotal modeling formalism and its verification and validation framework Auteur(s): Kehinde G Samuel, Nourou-Dine M Bouare, Oumar Maïga, Mamadou Kaba Traoré Année de publication: 2020 Journal: SIMULATION: Transactions of The Society for Modeling and Simulation International DOI: 10.1177/0037549720958056 Lien HAL: https://hal.science/hal-02968082v1 Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems Auteur(s): Kehinde G Samuel, Oumar Maiga, Mamadou Kaba Traoré Année de publication: 2020 Journal: International Journal of Modeling, Simulation, and Scientific Computing DOI: 10.1142/S1793962319500326 Lien HAL: https://hal.science/hal-02362628v1 Modeling and Simulation Framework for Value-based Healthcare Systems Auteur(s): Mamadou Kaba Traoré, Grégory Zacharewicz, Raphael Duboz, Bernard P Zeigler Année de publication: 2019 Journal: SIMULATION: Transactions of The Society for Modeling and Simulation International DOI: 10.1177/0037549718776765 Lien HAL: https://hal.science/hal-01773637v1 An integrative approach to simulation model discovery: Combining system theory, process mining and fuzzy logic Auteur(s): Yan Wang, Grégory Zacharewicz, Mamadou Kaba Traoré, David Chen Année de publication: 2018 Journal: Journal of Intelligent and Fuzzy Systems DOI: 10.3233/JIFS-17403 Lien HAL: https://hal.science/hal-01773634v1Book (2)
Des réseaux logistiques aux réseaux sociaux numériques Auteur(s): Jean-Paul Bourrières, Nathalie Pinède, Mamadou Kaba Traoré, Grégory Zacharewicz Année de publication: 2022 Journal: DOI: 10.51926/iste.9781784058128 Lien HAL: https://hal.science/hal-03506386v1 From Logistic Networks to Social Networks Auteur(s): Jean-Paul Bourrières, Mamadou Kaba Traoré, Nathalie Pinède, Grégory Zacharewicz Année de publication: 2022 Journal: DOI: Lien HAL: https://imt-mines-ales.hal.science/hal-03684435v1Conference proceedings (10)
DMFDT: Data Management Framework for Digital Twin Auteur(s): Zeeshan Ali, Milad Poursoltan, Mamadou Kaba Traoré Année de publication: 2025 Journal: DOI: 10.1007/978-3-031-71743-7_9 Lien HAL: https://hal.science/hal-04888133v1 Software Testing Approach for Digital Twin Verification and Validation Auteur(s): Milad Zahediyami, Simon Gorecki, Mamadou Kaba Traore Année de publication: 2025 Journal: DOI: 10.1007/978-3-031-71743-7_8 Lien HAL: https://inria.hal.science/hal-05077360v1 RegEcoS : un écosystème de regénération de produits basé sur leurs usages Auteur(s): Pascale Marangé, Helmi Ben Rejeb, Vincent Robin, Mamdou-Kaba Mkt Traore, Peggy Zwolinski, Eric Levrat Année de publication: 2024 Journal: DOI: Lien HAL: https://hal.science/hal-04397914v1 Application of multi-perspective modeling and holistic simulation to Urban Transportation Systems Auteur(s): Mamadou Kaba Traoré, Oumar Maiga, Mamadou Traoré, Youssouf Koné, O. Maïga, K.M. Traoré Année de publication: 2020 Journal: DOI: 10.46354/i3m.2020.emss.013 Lien HAL: https://hal.science/hal-02977165v1 Digital modelling and simulation in french social sciences and humanities research: an exploratory study Auteur(s): Nathalie Pinède, Bruno Vallespir, Mamadou Kaba Traoré, Saikou Diallo, Grégory Zacharewicz Année de publication: 2020 Journal: DOI: 10.22360/springsim.2020.hsaa.002 Lien HAL: https://imt-mines-ales.hal.science/hal-02887653v1 A tool for mining discrete event simulation model Auteur(s): Yan Wang, Grégory Zacharewicz, Mamadou Kaba Traoré, David Chen Année de publication: 2018 Journal: DOI: 10.1109/WSC.2017.8248027 Lien HAL: https://hal.science/hal-01904373v1 Use of Fuzzy Clustering for Discrete Event Simulation Model Construction Auteur(s): Yan Wang, Gregory Zacharewicz, Mamadou Kaba Traoré, David Chen Année de publication: 2018 Journal: DOI: Lien HAL: https://hal.science/hal-01735954v1 A PROPOSAL OF USING DEVS MODEL FOR PROCESS MINING Auteur(s): Yan Wang, Grégory Zacharewicz, David Chen, Mamadou Kaba Traoré Année de publication: 2017 Journal: DOI: Lien HAL: https://hal.science/hal-01536390v1 Integrating dependency with DEVS in the process mining Auteur(s): Yan Wang, Grégory Zacharewicz, David Chen, Mamadou Kaba Traoré Année de publication: 2017 Journal: DOI: Lien HAL: https://hal.science/hal-01551430v1 Verification and Validation of D2FD Method Auteur(s): Yan Wang, Mamadou Kaba Traoré, Grégory Zacharewicz, David Chen Année de publication: 2017 Journal: DOI: Lien HAL: https://hal.science/hal-01551436v1Send a email to Mamadou Kaba TRAORE :
