Mamadou K. Traoré

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 8

Top Topics

Emergent Behavior

Formal Verification

Healthcare Systems

Agent Based Modelling

Top Venues

SpringSim (MSCIAAS)

Int. J. Model. Simul. Sci. Comput.

Publications

Nathalie Pinède, Bruno Vallespir, Mamadou K. Traoré, Saikou Y. Diallo, Gregory Zacharewicz
Digital Modelling and Simulation in French Social Sciences and Humanities Research: An Exploratory Study. SpringSim (2020)
Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Maïga, Mamadou K. Traoré
A DEVS-based pivotal modeling formalism and its verification and validation framework. Simul. 96 (12) (2020)
Kehinde G. Samuel, Oumar 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) (2019)
Faical Y. P. Congo, Mamadou K. Traoré, David R. C. Hill
Computation operations caching for numerical repeatability. SummerSim (2018)
Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. SpringSim (MSCIAAS) (2018)
Bernard P. Zeigler, Saurabh Mittal, Mamadou K. Traoré
Fundamental requirements and DEVS approach for modeling and simulation of complex adaptive system of systems: healthcare reform. SpringSim (MSCIAAS) (2018)
Ignace Djitog, Hamzat Olanrewaju Aliyu, Mamadou K. Traoré
A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems. Simul. 94 (3) (2018)
Mamadou K. Traoré
Ontology for healthcare systems modeling and simulation. SummerSim (2018)
Adedoyin Adegoke, Mamadou K. Traoré
Consideration for M&S in Africa. SpringSim (Posters) (2014)
Adedoyin Adegoke, Hamidou Togo, Mamadou K. Traoré
A unifying framework for specifying DEVS parallel and distributed simulation architectures. Simul. 89 (11) (2013)
Romain Reuillon, Mamadou K. 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. Concurr. Comput. Pract. Exp. 24 (7) (2012)
Luc Touraille, Mamadou K. Traoré, David R. C. Hill
A model-driven software environment for modeling, simulation and analysis of complex systems. SpringSim (TMS-DEVS) (2011)
Luc Touraille, Mamadou K. Traoré, David R. C. Hill
Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator. SummerSim (2010)
Luc Touraille, Mamadou K. Traoré, David R. C. Hill
A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models. SpringSim (2009)
Mamadou K. Traoré
A graphical notation for DEVS. SpringSim (2009)
Gabriel A. Wainer, Qi Liu, Julien Chazal, Loïc Quinet, Mamadou K. Traoré
Performance analysis of web-based distributed simulation in DCD++: a case study across the Atlantic Ocean. SpringSim (2008)
Mamadou K. Traoré
SimStudio: a next generation modeling and simulation framework. SimuTools (2008)
Mamadou K. Traoré
Easy DEVS. SpringSim (2) (2007)
Gauthier Quesnel, Raphaël Duboz, Éric Ramat, Mamadou K. Traoré
VLE: a multimodeling and simulation environment. SCSC (2007)
Mamadou K. Traoré
Analyzing static and temporal properties of simulation models. WSC (2006)
Mamadou K. Traoré, Alexandre Muzy
Capturing the dual relationship between simulation models and their context. Simul. Model. Pract. Theory 14 (2) (2006)
Mamadou K. Traoré
Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation. WSC (2003)
Michel Gourgand, Philippe Lacomme, Mamadou K. Traoré
Design of a monitoring environment for manufacturing systems management and optimization. Int. J. Comput. Integr. Manuf. 16 (1) (2003)
Philippe Lacomme, Mamadou K. Traoré
Modélisation et simulation du système d'information des ateliers de traitement de surfaces: modèle générique orienté objets et approche multi-agents. INFORSID (1998)
Mamadou K. Traoré, P. Lievre
Object-Oriented Simulation of Social Systems Application to an Employment Agency. Annual Simulation Symposium (1998)