Skip to Main content

Keywords

Number of documents

39

Mamadou Kaba Traoré


Directions of work or proceedings5 documents

  • 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⟩
  • 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⟩
  • 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é. Spécification, Synthèse et Qualité des Modèles de Simulation à Événements Discrets. Editions universitaires europeennes 2017, 9783841727558. ⟨hal-01814160⟩
  • Mamadou Kaba Traoré. Computational Frameworks – Systems, Models and Applications. Elsevier. ISTE Press, 2017, 9781785482564. ⟨hal-01810607⟩

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é 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 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 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 articles15 documents

  • Kehinde Samuel, Nourou-Dine Bouare, Oumar Maïga, Mamadou Kaba Traoré. A DEVS-based pivotal modeling formalism and its verification and validation framework. SIMULATION, SAGE Publications, In press, ⟨10.1177/0037549720958056⟩. ⟨hal-02968082⟩
  • 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⟩
  • Bernard Zeigler, Saurabh Mittal, Mamadou Kaba Traoré. MBSE with/out Simulation: State of the Art and Way Forward. Systems, MDPI, 2018, 6 (4), pp.40. ⟨10.3390/systems6040040⟩. ⟨hal-02968090⟩
  • 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), pp.1650005. ⟨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⟩
  • 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⟩
  • 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⟩
  • 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 papers11 documents

  • Mamadou Kaba Traoré, Oumar Maiga, Mamadou Traoré, Youssouf Koné, O. Maïga, et al.. Application of multi-perspective modeling and holistic simulation to Urban Transportation Systems. The 32nd European Modeling & Simulation Symposium, Sep 2020, Athènes, Greece. pp.93-102, ⟨10.46354/i3m.2020.emss.013⟩. ⟨hal-02977165⟩
  • 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é. 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⟩
  • 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⟩
  • 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⟩