Skip to Main content
Number of documents

36

Mamadou Kaba Traoré


Directions of work or proceedings5 documents

  • Gabriel Wainer, Mamadou Kaba Traoré, Reiko Heckel, Jan Himmelspach. 2011 Symposium on Theory of Modeling & Simulation – DEVS Integrative M&S Symposium (TMS-DEVS) Book 4 of SCS’s 2011 Spring Simulation Multiconference Proceedings. Society of Computer Simulation International. Spring Simulation Multiconference, Apr 2011, Boston, United States. 89 (1), 2013, 978-16-17828-38-6. ⟨hal-01810634⟩
  • Mamadou Kaba Traoré. Special Issue: Advances on the Theory of M&S. Society of Computer Simulation International. Spring Simulation Multi-Conference, Mar 2012, Orlando, United States. SIMULATION, 89 (1), 2013, ⟨10.1177/0037549712470058⟩. ⟨hal-01814117⟩
  • Peter Kropf, Mamadou Kaba Traoré, Abdolreza Abhari, Hamid Vakilzadian. Proceedings of the 2011 Summer Computer Simulation Conference. Society for Computer Simulation International. Summer Computer Simulation Conference, Jun 2011, The Hague, Netherlands. 2011, 978-1-61782-950-5. ⟨hal-01810646⟩
  • Gabriel Wainer, Mamadou Kaba Traoré. Theory of Modeling and Simulation: DEVS Integrative M&S Symposium 2010 (DEVS 2010) . Society for Computer Simulation International. 2010 Spring Simulation Multiconference, Orlando, United States. 42 (1), 2010, Simulation Series, 978-16-17382-04-8. ⟨hal-01810652⟩
  • Pascal Lièvre, Marc Lecoutre, Mamadou Kaba Traoré. Management de Projet. Les Règles de l’Activité à Projets. Hermes Science Publications. France. 2006, 978-27-46215-68-9. ⟨hal-01814157⟩

Books3 documents

  • Zeigler Bernard P., Mamadou Kaba Traoré, Grégory Zacharewicz, Raphael Duboz. Value-based Learning Healthcare Systems: Integrative modelling and simulation. IET, 2018, 9781785613265. ⟨hal-01924401⟩
  • Mamadou Kaba Traoré. Computational Frameworks – Systems, Models and Applications. Elsevier. ISTE Press, 2017, 9781785482564. ⟨hal-01810607⟩
  • Mamadou Kaba Traoré. Spécification, Synthèse et Qualité des Modèles de Simulation à Evénements Discrets. 2017. ⟨hal-01814160⟩

Book sections5 documents

  • Mamadou Kaba Traoré. Introduction to Computational Frameworks: From Heterogeneity Challenge to Integrative Levels of Organization. ISTE Press. Computational Frameworks – Systems, Models and Applications, pp.ix-xxi, 2017, 9781785482564. ⟨hal-01819479⟩
  • Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, Saurabh Mittal, José L. Risco Martin, et al.. Chapter 18: Standardizing DEVS Simulation Middleware. Wainer, G. and Mosterman, P. Discrete-Event Modeling and Simulation: Theory and Applications, CRC press, pp.459--494, 2011, 978-1-4200-7233-4. ⟨inria-00638559⟩
  • Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, Saurabh Mittal, José Luis Risco Martin, et al.. Chapter 17: Standardizing DEVS model representation. Wainer, G. and Mosterman, P. Discrete-Event Modeling and Simulation: Theory and Applications, CRC press, pp.427--458, 2011, 978-1-4200-7233-4. ⟨inria-00638560⟩
  • Gabriel Wainer, Khaldoon Al-Zoubi, David R.C. Hill, Saurabh Mittal, José Luis Risco Martin, et al.. An Introduction to DEVS Standardization. CRC Press, Taylor and Francis Group. Discrete-Event Modeling and Simulation: Theory and Applications, pp.393-426, 2010, 9781420072334. ⟨hal-01819463⟩
  • Gabriel Wainer, Khaldoon Al-Zoubi, David R.C. Hill, Saurabh Mittal, José Luis Risco Martin, et al.. DEVS Standardization: Foundations and Trends. CRC Press, Taylor and Francis Group. Discrete-Event Modeling and Simulation: Theory and Applications, pp.389-392, 2010, 9781420072334. ⟨hal-01819456⟩

Journal articles13 documents

  • Mamadou Kaba Traoré, Grégory Zacharewicz, Raphael Duboz, Bernard Zeigler. Modeling and Simulation Framework for Value-based Healthcare Systems. SIMULATION, SAGE Publications, 2019, 95 (6), pp.481-497. ⟨10.1177/0037549718776765⟩. ⟨hal-01773637⟩
  • Kehinde Samuel, Oumar Maiga, Mamadou Kaba Traoré. Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems. International Journal of Modeling, Simulation, and Scientific Computing, World Scientific Publishing, 2019, 10 (05), pp.1950032. ⟨10.1142/S1793962319500326⟩. ⟨hal-02362628⟩
  • Yan Wang, Grégory Zacharewicz, Mamadou Kaba Traoré, David Chen. An integrative approach to simulation model discovery: Combining system theory, process mining and fuzzy logic. Journal of Intelligent and Fuzzy Systems, IOS Press, 2018, 34 (1), pp.477 - 490. ⟨10.3233/JIFS-17403⟩. ⟨hal-01773634⟩
  • Ignace Djitog, Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré. Multi-Perspective Modeling of Healthcare Systems. International Journal of Privacy and Health Information Management, IGI Global, 2017, 5 (2), pp.1 - 20. ⟨10.4018/IJPHIM.2017070101⟩. ⟨hal-01814162⟩
  • Ignace Djitog, Hamzat Aliyu, Mamadou Kaba Traoré. A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems. SIMULATION, SAGE Publications, 2017, 94 (3), pp.235 - 257. ⟨10.1177/0037549717744888⟩. ⟨hal-01812571⟩
  • David Ifeoluwa Adelani, Mamadou Kaba Traoré. Enhancing the reusability and interoperability of artificial neural networks with DEVS modeling and simulation. International Journal of Modeling, Simulation, and Scientific Computing, World Scientific Publishing, 2016, 07 (02), ⟨10.1142/S1793962316500057⟩. ⟨hal-01719242⟩
  • Hamzat Olanrewaju Aliyu, Oumar Maïga, Mamadou Kaba Traoré. The high level language for system specification: A model-driven approach to systems engineering. International Journal of Modeling, Simulation, and Scientific Computing, World Scientific Publishing, 2016, 07 (01), ⟨10.1142/S1793962316410038⟩. ⟨hal-01405177⟩
  • Mamadou Kaba Traoré. Advances on the theory of M&S. SIMULATION, SAGE Publications, 2013, 89 (1), pp.3 - 3. ⟨10.1177/0037549712470058⟩. ⟨hal-01719239⟩
  • Adedoyin Adegoke, Hamidou Togo, Mamadou Kaba Traoré. A unifying framework for specifying DEVS parallel and distributed simulation architectures. SIMULATION, SAGE Publications, 2013, 89 (11), pp.1293 - 1309. ⟨10.1177/0037549713504983⟩. ⟨hal-01814164⟩
  • Romain Reuillon, Mamadou Kaba Traoré, Jonathan Passerat-Palmbach, David R.C. Hill. Parallel stochastic simulations with rigorous distribution of pseudo-random numbers with DistMe: Application to life science simulations. Concurrency and Computation: Practice and Experience, Wiley, 2012, 24 (7), pp.723 - 738. ⟨10.1002/cpe.1883⟩. ⟨hal-01814168⟩
  • David R.C. Hill, Claude Mazel, Jonathan Passerat-Palmbach, Mamadou Kaba Traoré. Distribution of Random Streams for Simulation Practitioners. Concurrency and Computation: Practice and Experience, Wiley, 2012, 25 (10), pp.1427 - 1442. ⟨10.1002/cpe.2942⟩. ⟨hal-01099203⟩
  • Mamadou Kaba Traoré, Alexandre Muzy. Capturing the dual relationship between simulation models and their context. Simulation Modelling Practice and Theory, Elsevier, 2006, 14 (2), pp.126 - 142. ⟨10.1016/j.simpat.2005.03.002⟩. ⟨hal-01814170⟩
  • M. Gourgand, P. Lacomme, Mamadou Kaba Traoré. Design of a monitoring environment for manufacturing systems management and optimization. International Journal of Computer Integrated Manufacturing, Taylor & Francis, 2003, 16 (1), pp.61 - 80. ⟨10.1080/713804981⟩. ⟨hal-01814171⟩

Conference papers10 documents

  • Nathalie Pinède, Bruno Vallespir, Mamadou Kaba Traoré, Saikou Diallo, Grégory Zacharewicz. Digital modelling and simulation in french social sciences and humanities research: an exploratory study. SpringSim '20 - 2020 Spring Simulation Conference, May 2020, Fairfax, Virginia, United States. ⟨10.5555/3408207.3408252⟩. ⟨hal-02887653⟩
  • Yan Wang, Mamadou Kaba Traoré, Grégory Zacharewicz, David Chen. Verification and Validation of D2FD Method. NICST'2017 New Information Communication Sciences and Technology for Sustainable Development, Jun 2017, Clermont-Ferrand, France. ⟨hal-01551436⟩
  • Yan Wang, Gregory Zacharewicz, Mamadou Kaba Traoré, David Chen. Use of Fuzzy Clustering for Discrete Event Simulation Model Construction. IFAC 2017 World Congress The 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨hal-01735954⟩
  • Yan Wang, Grégory Zacharewicz, Mamadou Kaba Traoré, David Chen. A tool for mining discrete event simulation model. 2017 Winter Simulation Conference (WSC), Dec 2017, Las Vegas, France. ⟨10.1109/WSC.2017.8248027⟩. ⟨hal-01904373⟩
  • Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré. Integrated Framework for Model-Driven Systems Engineering: A Research Roadmap. TMS/DEVS Symposium on Theory of Modeling & Simulation (TMS/DEVS 2016) 2016 Spring Simulation Multi-Conference (SpringSim'16), Apr 2016, Pasadena, CA, United States. ⟨10.23919/TMS.2016.7918834⟩. ⟨hal-01825992⟩
  • Yan Wang, Grégory Zacharewicz, David Chen, Mamadou Kaba Traoré. Integrating dependency with DEVS in the process mining. NICST'2015 New Information Communication Sciences and Technology for Sustainable Development, Sep 2015, Bordeaux, France. ⟨hal-01551430⟩
  • Yan Wang, Grégory Zacharewicz, David Chen, Mamadou Kaba Traoré. A PROPOSAL OF USING DEVS MODEL FOR PROCESS MINING. 27th European Modeling & Simulation Symposium (Simulation in Industry), Sep 2015, Bergeggi, Italy. pp.403-409. ⟨hal-01536390⟩
  • Oumar Maiga, Ufuoma Bright Ighoroje, Mamadou Kaba Traoré. INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS. 9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France. ⟨hal-00728674⟩
  • Alexandre Muzy, Luc Touraille, Hans Vangheluwe, Olivier Michel, Mamadou Kaba Traoré, et al.. Activity Regions for the Specication of Discrete Event Systems. Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Apr 2010, United States. pp.176-182. ⟨hal-00465463⟩
  • Luc Touraille, Mamadou Kaba Traoré, David R.C. Hill. Enhancing DEVS Simulation through Template Metaprogramming. SummerSim '10, Sep 2010, Crowne Plaza, Canada. pp.Pages 394-402. ⟨hal-00679052⟩