Mamadou Kaba Traoré

According to our database, Mamadou Kaba Traoré authored at least 59 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formalizing a framework of inference capabilities for Digital Twin engineering.

Mama Diakité, Mamadou Kaba Traoré

Simul., 2024

From modeling and simulation to Digital Twin: evolution or revolution?

Zeeshan Ali, Raheleh Biglari, Joachim Denil, Joost Mertens, Milad Poursoltan, Mamadou Kaba Traoré

Simul., 2024

Software Testing Approach for Digital Twin Verification and Validation.

Milad Zahediyami, Simon Gorecki, Mamadou Kaba Traoré

Proceedings of the Navigating Unpredictability: Collaborative Networks in Non-linear Worlds, 2024

Contributions of Digital Twins Services to the Implementation of the Circular Economy.

Sirajeddine Aouani, Pascale Marangé, Vincent Robin, Mamadou Kaba Traoré

Proceedings of the Navigating Unpredictability: Collaborative Networks in Non-linear Worlds, 2024

DMFDT: Data Management Framework for Digital Twin.

Zeeshan Ali, Milad Poursoltan, Mamadou Kaba Traoré

Proceedings of the Navigating Unpredictability: Collaborative Networks in Non-linear Worlds, 2024

2023

A theoretical approach to the computational complexity measure of abstract DEVS simulators.

Yoro Diouf, Oumar Y. Maïga, Mamadou Kaba Traoré

Int. J. Model. Simul. Sci. Comput., August, 2023

M&S Bok Core Areas and the Big Picture.

Tuncer I. Ören, Umang Kant, Mayank Singh, Paul A. Fishwick, Mamadou Kaba Traoré, Lin Zhang, Yuanjun Laili, Bernard P. Zeigler, Andreas Tolk, Gregory Zacharewicz, Mohammad S. Obaidat, Balqies Sadoun

Proceedings of the Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International, 2023

Formal Approach to Digital Twin Specification.

Mama Diakité, Mamadou Kaba Traoré

Proceedings of the Annual Modeling and Simulation Conference, 2023

2022

Three-stage churn management framework based on DCN with asymmetric loss.

Xiaohuan Wen, Yanhong Wang, Xiaodong Ji, Mamadou Kaba Traoré

Expert Syst. Appl., 2022

A generic learning simulation framework to assess security strategies in cyber-physical production systems.

Moussa Koïta, Youssouf M. Diagana, Oumar Y. Maïga, Mamadou Kaba Traoré

Comput. Networks, 2022

SIMUTEC: A transdisiplinary Agent-Based Simulation for land use and transport for ecological transition.

Simon Gorecki, Seghir Zerguini, Mamadou Kaba Traoré, Nathalie Gaussier

Proceedings of the 26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2022

A New Modeling Framework For Cyber-Physical And Human Systems.

Milad Poursoltan, Nathalie Pinède, Bruno Vallespir, Mamadou Kaba Traoré

Proceedings of the Annual Modeling and Simulation Conference, 2022

2020

A DEVS-based pivotal modeling formalism and its verification and validation framework.

Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Y. Maïga, Mamadou K. Traoré

Simul., 2020

Digital Modelling and Simulation in French Social Sciences and Humanities Research: An Exploratory Study.

Nathalie Pinède, Bruno Vallespir, Mamadou K. Traoré, Saikou Y. Diallo, Gregory Zacharewicz

Proceedings of the Spring Simulation Conference, 2020

2019

Modeling and simulation framework for value-based healthcare systems.

Mamadou Kaba Traoré, Gregory Zacharewicz, Raphaël Duboz, Bernard P. Zeigler

Simul., 2019

Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems.

Kehinde G. Samuel, Oumar Y. Maïga, Mamadou K. Traoré

Int. J. Model. Simul. Sci. Comput., 2019

2018

MBSE with/out Simulation: State of the Art and Way Forward.

Bernard P. Zeigler, Saurabh Mittal, Mamadou Kaba Traoré

Syst., 2018

A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems.

Ignace Djitog, Hamzat Olanrewaju Aliyu, Mamadou K. Traoré

Simul., 2018

An integrative approach to simulation model discovery: Combining system theory, process mining and fuzzy logic.

Yan Wang, Gregory Zacharewicz, Mamadou Kaba Traoré, David Chen

J. Intell. Fuzzy Syst., 2018

Fundamental requirements and DEVS approach for modeling and simulation of complex adaptive system of systems: healthcare reform.

Bernard P. Zeigler, Saurabh Mittal, Mamadou K. Traoré

Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, 2018

Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation.

Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz

Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, 2018

Ontology for healthcare systems modeling and simulation.

Mamadou K. Traoré

Proceedings of the 50th Computer Simulation Conference, 2018

Computation operations caching for numerical repeatability.

Faical Y. P. Congo, Mamadou K. Traoré, David R. C. Hill

Proceedings of the 50th Computer Simulation Conference, 2018

2017

A tool for mining discrete event simulation model.

Yan Wang, Gregory Zacharewicz, Mamadou Kaba Traoré, David Chen

Proceedings of the 2017 Winter Simulation Conference, 2017

Social interaction in pedestrian evacuation: a cellular discrete event simulation approach.

Yanhong Wang, Xia Wang, Mamadou Kaba Traoré

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

2016

The high level language for system specification: A model-driven approach to systems engineering.

Hamzat Olanrewaju Aliyu, Oumar Y. Maïga, Mamadou Kaba Traoré

Int. J. Model. Simul. Sci. Comput., 2016

Enhancing the reusability and interoperability of artificial neural networks with DEVS modeling and simulation.

David Ifeoluwa Adelani, Mamadou Kaba Traoré

Int. J. Model. Simul. Sci. Comput., 2016

Integrated framework for model-driven systems engineering: a research roadmap.

Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

2015

Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models.

Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré

Proceedings of the 2015 Winter Simulation Conference, 2015

2014

A system-theoretic approach to case management.

Shaowei Wang, Mamadou Kaba Traoré

Proceedings of the 2014 SpringSim Poster Session, Tampa, FL, USA, April 13 - 16, 2014, 2014

DEVS-based case management (wip).

Shaowei Wang, Mamadou Kaba Traoré

Proceedings of the 2014 Spring Simulation Multiconference, 2014

Consideration for M&S in Africa.

Adedoyin Adegoke, Mamadou K. Traoré

Proceedings of the 2014 SpringSim Poster Session, Tampa, FL, USA, April 13 - 16, 2014, 2014

System of systems based approaches to global simulation in Africa.

Adedoyin Adegoke, Mamadou Kaba Traoré

Proceedings of the 47th Annual Simulation Symposium, 2014

2013

Advances on the theory of M&S.

Mamadou Kaba Traoré

Simul., 2013

A unifying framework for specifying DEVS parallel and distributed simulation architectures.

Adedoyin Adegoke, Hamidou Togo, Mamadou K. Traoré

Simul., 2013

Distribution of random streams for simulation practitioners.

David R. C. Hill, Claude Mazel, Jonathan Passerat-Palmbach, Mamadou Kaba Traoré

Concurr. Comput. Pract. Exp., 2013

SAR image automated detection of dune area.

Christophe Gouinaud, Mahamat Atteïb Ibrahim Doutoum, Pascale Gouinaud, Mamadou Kaba Traoré

Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Formal verification and validation of DEVS simulation models.

Soremekun Ezekiel Olamide, Mamadou Kaba Traoré

Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013

2012

Parallel stochastic simulations with rigorous distribution of pseudo-random numbers with DistMe: Application to life science simulations.

Romain Reuillon, Mamadou K. Traoré, Jonathan Passerat-Palmbach, David R. C. Hill

Concurr. Comput. Pract. Exp., 2012

DDML: A Support for Communication in M&S.

Oumar Y. Maïga, Ufuoma Bright Ighoroje, Mamadou Kaba Traoré

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation.

Ufuoma Bright Ighoroje, Oumar Y. Maïga, Mamadou Kaba Traoré

Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011

A model-driven software environment for modeling, simulation and analysis of complex systems.

Luc Touraille, Mamadou K. Traoré, David R. C. Hill

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

2010

Activity regions for the specification of discrete event systems.

Alexandre Muzy, Luc Touraille, Hans Vangheluwe, Olivier Michel, Mamadou Kaba Traoré, David R. C. Hill

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator.

Luc Touraille, Mamadou K. Traoré, David R. C. Hill

Proceedings of the SummerSim '10, 2010

2009

Cache sémantique pour grilles pervasives.

Laurent d'Orazio, Mamadou Kaba Traoré

Proceedings of the Actes des 5èmes journées francophones Mobilité et Ubiquité 2009, 2009

A graphical notation for DEVS.

Mamadou K. Traoré

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models.

Luc Touraille, Mamadou K. Traoré, David R. C. Hill

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Semantic caching for pervasive grids.

Laurent d'Orazio, Mamadou Kaba Traoré

Proceedings of the International Database Engineering and Applications Symposium (IDEAS 2009), 2009

2008

Performance analysis of web-based distributed simulation in DCD++: a case study across the Atlantic Ocean.

Gabriel A. Wainer, Qi Liu, Julien Chazal, Loïc Quinet, Mamadou K. Traoré

Proceedings of the 2008 Spring Simulation Multiconference, 2008

SimStudio: a next generation modeling and simulation framework.

Mamadou K. Traoré

Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

2007

Easy DEVS.

Mamadou K. Traoré

Proceedings of the 2007 Spring Simulation Multiconference, 2007

VLE: a multimodeling and simulation environment.

Gauthier Quesnel, Raphaël Duboz, Éric Ramat, Mamadou K. Traoré

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

2006

Capturing the dual relationship between simulation models and their context.

Mamadou K. Traoré, Alexandre Muzy

Simul. Model. Pract. Theory, 2006

Analyzing static and temporal properties of simulation models.

Mamadou K. Traoré

Proceedings of the Winter Simulation Conference WSC 2006, 2006

2003

Design of a monitoring environment for manufacturing systems management and optimization.

Michel Gourgand, Philippe Lacomme, Mamadou K. Traoré

Int. J. Comput. Integr. Manuf., 2003

Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation.

Mamadou K. Traoré

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

1998

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.

Philippe Lacomme, Mamadou K. Traoré

Proceedings of the Actes du XVIème Congrès INFORSID, Montpellier, France, 12-15 mai, 1998, 1998

Object-Oriented Simulation of Social Systems Application to an Employment Agency.

Mamadou K. Traoré, P. Lievre

Proceedings of the Proceedings 31st Annual Simulation Symposium (SS '98), 1998

1996

A Multi-Agent Simulation Methodology for Manufacturing Systems.

Jean-Yves Goujon, Philippe Lacomme, Mamadou Kaba Traoré

Proceedings of the Modelling and Simulation, 1996