Mamadou K. Traoré

26 papers Misc 2Journal 7Unranked 16
YearRankTypeTitle / Venue / Authors
2020 J jnl
A DEVS-based pivotal modeling formalism and its verification and validation framework.
Simul.
Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Y. Maïga, Mamadou K. Traoré
2020 — conf
Digital Modelling and Simulation in French Social Sciences and Humanities Research: An Exploratory Study.
SpringSim
Nathalie Pinède, Bruno Vallespir, Mamadou K. Traoré, Saikou Y. Diallo, Gregory Zacharewicz
2019 J jnl
Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems.
Int. J. Model. Simul. Sci. Comput.
Kehinde G. Samuel, Oumar Y. Maïga, Mamadou K. Traoré
2018 J jnl
A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems.
Simul.
Ignace Djitog, Hamzat Olanrewaju Aliyu, Mamadou K. Traoré
2018 — conf
Computation operations caching for numerical repeatability.
SummerSim
Faical Y. P. Congo, Mamadou K. Traoré, David R. C. Hill
2018 — conf
Fundamental requirements and DEVS approach for modeling and simulation of complex adaptive system of systems: healthcare reform.
SpringSim (MSCIAAS)
Bernard P. Zeigler, Saurabh Mittal, Mamadou K. Traoré
2018 — conf
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation.
SpringSim (MSCIAAS)
Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz
2018 — conf
Ontology for healthcare systems modeling and simulation.
SummerSim
Mamadou K. Traoré
2014 — conf
Consideration for M&S in Africa.
SpringSim (Posters)
Adedoyin Adegoke, Mamadou K. Traoré
2013 J jnl
A unifying framework for specifying DEVS parallel and distributed simulation architectures.
Simul.
Adedoyin Adegoke, Hamidou Togo, Mamadou K. Traoré
2012 J jnl
Parallel stochastic simulations with rigorous distribution of pseudo-random numbers with DistMe: Application to life science simulations.
Concurr. Comput. Pract. Exp.
Romain Reuillon, Mamadou K. Traoré, Jonathan Passerat-Palmbach, David R. C. Hill
2011 — ed.
2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS).
SpringSim (TMS-DEVS)
Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach
2011 — conf
A model-driven software environment for modeling, simulation and analysis of complex systems.
SpringSim (TMS-DEVS)
Luc Touraille, Mamadou K. Traoré, David R. C. Hill
2010 — conf
Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator.
SummerSim
Luc Touraille, Mamadou K. Traoré, David R. C. Hill
2009 — conf
A graphical notation for DEVS.
SpringSim
Mamadou K. Traoré
2009 — conf
A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models.
SpringSim
Luc Touraille, Mamadou K. Traoré, David R. C. Hill
2008 — conf
Performance analysis of web-based distributed simulation in DCD++: a case study across the Atlantic Ocean.
SpringSim
Gabriel A. Wainer, Qi Liu, Julien Chazal, Loïc Quinet, Mamadou K. Traoré
2008 — conf
SimStudio: a next generation modeling and simulation framework.
SimuTools
Mamadou K. Traoré
2007 — conf
Easy DEVS.
SpringSim (2)
Mamadou K. Traoré
2007 — conf
VLE: a multimodeling and simulation environment.
SCSC
Gauthier Quesnel, Raphaël Duboz, Éric Ramat, Mamadou K. Traoré
2006 Misc conf
Analyzing static and temporal properties of simulation models.
WSC
Mamadou K. Traoré
2006 J jnl
Capturing the dual relationship between simulation models and their context.
Simul. Model. Pract. Theory
Mamadou K. Traoré, Alexandre Muzy
2003 J jnl
Design of a monitoring environment for manufacturing systems management and optimization.
Int. J. Comput. Integr. Manuf.
Michel Gourgand, Philippe Lacomme, Mamadou K. Traoré
2003 Misc conf
Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation.
WSC
Mamadou K. Traoré
1998 — conf
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
Philippe Lacomme, Mamadou K. Traoré
1998 — conf
Object-Oriented Simulation of Social Systems Application to an Employment Agency.
Annual Simulation Symposium
Mamadou K. Traoré, P. Lievre