Mamadou Kaba TRAORE

Professor

Research group : PRODUCTION ENGINEERING

Team : MEI

Tel : 0540008395

Read more
Recruitment Member's area Intranet
Presentation
Publication
Contact

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

  • Modélisation et Simulation d’Entreprise (M1 GILOG)
  • Optimisation des Systèmes en Réseau (M1 GILOG)
  • Ingénierie Système (M2 GILOG)
  • Supply Chain Management and Networked Enterprises (M2 EE)
  • Enterprise Modeling (M2 EE)
  • Information System and Interoperability (M2 EE)
  • Systèmes Séquentiels de Commande (L3 EEA)

Follow me on LinkedIn

Modifier cette page

Article (15)

A DEVS-based pivotal modeling formalism and its verification and validation framework Author(s): Kehinde G Samuel, Nourou-Dine M Bouare, Oumar Maïga, Mamadou Kaba Traoré Year of publication: 2020 Journal: SIMULATION: Transactions of The Society for Modeling and Simulation International DOI: 10.1177/0037549720958056 HAL link: https://hal.science/hal-02968082v1
Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems Author(s): Kehinde G Samuel, Oumar Maiga, Mamadou Kaba Traoré Year of publication: 2019 Journal: International Journal of Modeling, Simulation, and Scientific Computing DOI: 10.1142/S1793962319500326 HAL link: https://hal.science/hal-02362628v1
Modeling and Simulation Framework for Value-based Healthcare Systems Author(s): Mamadou Kaba Traoré, Grégory Zacharewicz, Raphael Duboz, Bernard P Zeigler Year of publication: 2019 Journal: SIMULATION: Transactions of The Society for Modeling and Simulation International DOI: 10.1177/0037549718776765 HAL link: https://hal.science/hal-01773637v1
MBSE with/out Simulation: State of the Art and Way Forward Author(s): Bernard P Zeigler, Saurabh Mittal, Mamadou Kaba Traoré Year of publication: 2018 Journal: Systems DOI: 10.3390/systems6040040 HAL link: https://hal.science/hal-02968090v1
An integrative approach to simulation model discovery: Combining system theory, process mining and fuzzy logic Author(s): Yan Wang, Grégory Zacharewicz, Mamadou Kaba Traoré, David Chen Year of publication: 2018 Journal: Journal of Intelligent and Fuzzy Systems DOI: 10.3233/JIFS-17403 HAL link: https://hal.science/hal-01773634v1
Multi-Perspective Modeling of Healthcare Systems Author(s): Ignace Djitog, Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré Year of publication: 2017 Journal: International Journal of Privacy and Health Information Management DOI: 10.4018/IJPHIM.2017070101 HAL link: https://hal.science/hal-01814162v1
A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems Author(s): Ignace Djitog, Hamzat Aliyu, Mamadou Kaba Traoré Year of publication: 2017 Journal: SIMULATION: Transactions of The Society for Modeling and Simulation International DOI: 10.1177/0037549717744888 HAL link: https://hal.science/hal-01812571v1
Enhancing the reusability and interoperability of artificial neural networks with DEVS modeling and simulation Author(s): David Ifeoluwa Adelani, Mamadou Kaba Traoré Year of publication: 2016 Journal: International Journal of Modeling, Simulation, and Scientific Computing DOI: 10.1142/S1793962316500057 HAL link: https://uca.hal.science/hal-01719242v1
The high level language for system specification: A model-driven approach to systems engineering Author(s): Hamzat Olanrewaju Aliyu, Oumar Maïga, Mamadou Kaba Traoré Year of publication: 2016 Journal: International Journal of Modeling, Simulation, and Scientific Computing DOI: 10.1142/S1793962316410038 HAL link: https://uca.hal.science/hal-01405177v1
Advances on the theory of M&S Author(s): Mamadou Kaba Traoré Year of publication: 2013 Journal: SIMULATION: Transactions of The Society for Modeling and Simulation International DOI: 10.1177/0037549712470058 HAL link: https://uca.hal.science/hal-01719239v1
A unifying framework for specifying DEVS parallel and distributed simulation architectures Author(s): Adedoyin Adegoke, Hamidou Togo, Mamadou Kaba Traoré Year of publication: 2013 Journal: SIMULATION: Transactions of The Society for Modeling and Simulation International DOI: 10.1177/0037549713504983 HAL link: https://hal.science/hal-01814164v1
Parallel stochastic simulations with rigorous distribution of pseudo-random numbers with DistMe: Application to life science simulations Author(s): Romain Reuillon, Mamadou Kaba Traoré, Jonathan Passerat-Palmbach, David R.C. Hill Year of publication: 2012 Journal: Concurrency and Computation: Practice and Experience DOI: 10.1002/cpe.1883 HAL link: https://hal.science/hal-01814168v1
Distribution of Random Streams for Simulation Practitioners Author(s): David R.C. Hill, Claude Mazel, Jonathan Passerat-Palmbach, Mamadou Kaba Traoré Year of publication: 2012 Journal: Concurrency and Computation: Practice and Experience DOI: 10.1002/cpe.2942 HAL link: https://inria.hal.science/hal-01099203v1
Capturing the dual relationship between simulation models and their context Author(s): Mamadou Kaba Traoré, Alexandre Muzy Year of publication: 2006 Journal: Simulation Modelling Practice and Theory DOI: 10.1016/j.simpat.2005.03.002 HAL link: https://hal.science/hal-01814170v1
Design of a monitoring environment for manufacturing systems management and optimization Author(s): M. Gourgand, P. Ph. Lacomme, Mamadou Kaba Traoré Year of publication: 2003 Journal: International Journal of Computer Integrated Manufacturing DOI: 10.1080/713804981 HAL link: https://hal.science/hal-01814171v1

Proceeding (3)

2011 Symposium on Theory of Modeling & Simulation – DEVS Integrative M&S Symposium (TMS-DEVS) Book 4 of SCS’s 2011 Spring Simulation Multiconference Proceedings Author(s): Gabriel Wainer, Mamadou Kaba Traoré, Reiko Heckel, Jan Himmelspach Year of publication: 2013 Journal: DOI: HAL link: https://hal.science/hal-01810634v1
Proceedings of the 2011 Summer Computer Simulation Conference Author(s): Peter Kropf, Mamadou Kaba Traoré, Abdolreza Abhari, Hamid Vakilzadian Year of publication: 2011 Journal: DOI: HAL link: https://hal.science/hal-01810646v1
Theory of Modeling and Simulation: DEVS Integrative M&S Symposium 2010 (DEVS 2010) Author(s): Gabriel Wainer, Mamadou Kaba Traoré Year of publication: 2010 Journal: DOI: HAL link: https://hal.science/hal-01810652v1

Special issue (1)

Special Issue: Advances on the Theory of M&S Author(s): Mamadou Kaba Traoré Year of publication: 2013 Journal: SIMULATION: Transactions of The Society for Modeling and Simulation International DOI: 10.1177/0037549712470058 HAL link: https://hal.science/hal-01814117v1

Book (6)

Des réseaux logistiques aux réseaux sociaux numériques Author(s): Jean-Paul Bourrières, Nathalie Pinède, Mamadou Kaba Traoré, Grégory Zacharewicz Year of publication: 2022 Journal: DOI: 10.51926/iste.9781784058128 HAL link: https://hal.science/hal-03506386v1
From Logistic Networks to Social Networks Author(s): Jean-Paul Bourrières, Mamadou Kaba Traoré, Nathalie Pinède, Grégory Zacharewicz Year of publication: 2022 Journal: DOI: HAL link: https://imt-mines-ales.hal.science/hal-03684435v1
Value-based Learning Healthcare Systems: Integrative modeling and simulation Author(s): Zeigler Bernard P., Mamadou Kaba Traoré, Grégory Zacharewicz, Raphael Duboz Year of publication: 2018 Journal: DOI: 10.1049/pbhe015e HAL link: https://hal.science/hal-01924401v1
Computational Frameworks – Systems, Models and Applications Author(s): Mamadou Kaba Traoré Year of publication: 2017 Journal: DOI: HAL link: https://hal.science/hal-01810607v1
Spécification, Synthèse et Qualité des Modèles de Simulation à Événements Discrets Author(s): Mamadou Kaba Traoré Year of publication: 2017 Journal: DOI: HAL link: https://hal.science/hal-01814160v1
Management de Projet. Les Règles de l’Activité à Projets Author(s): Pascal Lièvre, Marc Lecoutre, Mamadou Kaba Traoré Year of publication: 2006 Journal: DOI: HAL link: https://hal.science/hal-01814157v1

Book sections (6)

M&S Bok Core Areas and the Big Picture Author(s): Tuncer Ören, Umang Kant, Mayank Sing, Paul Fishwick, Mamadou Kaba Traoré, Lin Zhang, Yuanjun Laili, Bernard Zeigler, Andreas Tolk, Grégory Zacharewicz, Mohammad Obaidat, Balqies Sadoun Year of publication: 2023 Journal: DOI: 10.1007/978-3-031-11085-6_2 HAL link: https://hal.science/hal-03960422v1
Introduction to Computational Frameworks: From Heterogeneity Challenge to Integrative Levels of Organization Author(s): Mamadou Kaba Traoré Year of publication: 2017 Journal: DOI: HAL link: https://hal.science/hal-01819479v1
Chapter 17: Standardizing DEVS model representation Author(s): Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, Saurabh Mittal, José Luis Risco Martin, Hessam Sarjoughian, Luc Touraille, Mamadou Kaba Traoré, Bernard P. Zeigler, David R.C. Hill Year of publication: 2011 Journal: DOI: HAL link: https://inria.hal.science/inria-00638560v1
Chapter 18: Standardizing DEVS Simulation Middleware Author(s): Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, Saurabh Mittal, José L. Risco Martin, Hessam Sarjoughian, Luc Touraille, Mamadou Kaba Traoré, Bernard P. Zeigler, David R.C. Hill Year of publication: 2011 Journal: DOI: HAL link: https://inria.hal.science/inria-00638559v1
DEVS Standardization: Foundations and Trends Author(s): Gabriel Wainer, Khaldoon Al-Zoubi, David R.C. Hill, Saurabh Mittal, José Luis Risco Martin, Hessam Sarjoughian, Luc Touraille, Mamadou Kaba Traoré, Zeigler Bernard P. Year of publication: 2010 Journal: DOI: HAL link: https://hal.science/hal-01819456v1
An Introduction to DEVS Standardization Author(s): Gabriel Wainer, Khaldoon Al-Zoubi, David R.C. Hill, Saurabh Mittal, José Luis Risco Martin, Hessam Sarjoughian, Luc Touraille, Mamadou Kaba Traoré Year of publication: 2010 Journal: DOI: HAL link: https://hal.science/hal-01819463v1

Conference proceedings (14)

DMFDT: Data Management Framework for Digital Twin Author(s): Zeeshan Ali, Milad Poursoltan, Mamadou Kaba Traoré Year of publication: 2024 Journal: DOI: 10.1007/978-3-031-71743-7_9 HAL link: https://hal.science/hal-04888133v1
Software Testing Approach for Digital Twin Verification and Validation Author(s): Milad Zahediyami, Simon Gorecki, Mamadou Kaba Traore Year of publication: 2024 Journal: DOI: 10.1007/978-3-031-71743-7_8 HAL link: https://inria.hal.science/hal-05077360v1
RegEcoS : un écosystème de regénération de produits basé sur leurs usages Author(s): Pascale Marangé, Helmi Ben Rejeb, Vincent Robin, Mamdou-Kaba Mkt Traore, Peggy Zwolinski, Eric Levrat Year of publication: 2023 Journal: DOI: HAL link: https://hal.science/hal-04397914v1
Application of multi-perspective modeling and holistic simulation to Urban Transportation Systems Author(s): Mamadou Kaba Traoré, Oumar Maiga, Mamadou Traoré, Youssouf Koné, O. Maïga, K.M. Traoré Year of publication: 2020 Journal: DOI: 10.46354/i3m.2020.emss.013 HAL link: https://hal.science/hal-02977165v1
Digital modelling and simulation in french social sciences and humanities research: an exploratory study Author(s): Nathalie Pinède, Bruno Vallespir, Mamadou Kaba Traoré, Saikou Diallo, Grégory Zacharewicz Year of publication: 2020 Journal: DOI: 10.22360/springsim.2020.hsaa.002 HAL link: https://imt-mines-ales.hal.science/hal-02887653v1
Use of Fuzzy Clustering for Discrete Event Simulation Model Construction Author(s): Yan Wang, Gregory Zacharewicz, Mamadou Kaba Traoré, David Chen Year of publication: 2017 Journal: DOI: HAL link: https://hal.science/hal-01735954v1
A tool for mining discrete event simulation model Author(s): Yan Wang, Grégory Zacharewicz, Mamadou Kaba Traoré, David Chen Year of publication: 2017 Journal: DOI: 10.1109/WSC.2017.8248027 HAL link: https://hal.science/hal-01904373v1
Verification and Validation of D2FD Method Author(s): Yan Wang, Mamadou Kaba Traoré, Grégory Zacharewicz, David Chen Year of publication: 2017 Journal: DOI: HAL link: https://hal.science/hal-01551436v1
Integrated Framework for Model-Driven Systems Engineering: A Research Roadmap Author(s): Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré Year of publication: 2016 Journal: DOI: 10.23919/TMS.2016.7918834 HAL link: https://hal.science/hal-01825992v1
A PROPOSAL OF USING DEVS MODEL FOR PROCESS MINING Author(s): Yan Wang, Grégory Zacharewicz, David Chen, Mamadou Kaba Traoré Year of publication: 2015 Journal: DOI: HAL link: https://hal.science/hal-01536390v1
Integrating dependency with DEVS in the process mining Author(s): Yan Wang, Grégory Zacharewicz, David Chen, Mamadou Kaba Traoré Year of publication: 2015 Journal: DOI: HAL link: https://hal.science/hal-01551430v1
INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS Author(s): Oumar Maiga, Ufuoma Bright Ighoroje, Mamadou Kaba Traoré Year of publication: 2012 Journal: DOI: HAL link: https://hal.science/hal-00728674v1
Enhancing DEVS Simulation through Template Metaprogramming Author(s): Luc Touraille, Mamadou Kaba Traoré, David R.C. Hill Year of publication: 2010 Journal: DOI: HAL link: https://hal.science/hal-00679052v1
Activity Regions for the Specication of Discrete Event Systems Author(s): Alexandre Muzy, Luc Touraille, Hans Vangheluwe, Olivier J.J. Michel, Mamadou Kaba Traoré, David R.C. Hill Year of publication: 2010 Journal: DOI: HAL link: https://hal.science/hal-00465463v1

Send a email to Mamadou Kaba TRAORE :

    Contact our team

    If you have a request or questions about the laboratory, please contact our team.