default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMamadou Kaba Traoré
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j19]Zeeshan Ali
, Raheleh Biglari, Joachim Denil, Joost Mertens, Milad Poursoltan, Mamadou Kaba Traoré:
From modeling and simulation to Digital Twin: evolution or revolution? Simul. 100(7): 751-769 (2024)- [j18]Mama Diakité, Mamadou Kaba Traoré:
Formalizing a framework of inference capabilities for Digital Twin engineering. Simul. 100(9): 887-902 (2024) - [c39]Milad Zahediyami, Simon Gorecki, Mamadou Kaba Traoré:
Software Testing Approach for Digital Twin Verification and Validation. PRO-VE (2) 2024: 115-129 - [c38]Zeeshan Ali, Milad Poursoltan, Mamadou Kaba Traoré:
DMFDT: Data Management Framework for Digital Twin. PRO-VE (2) 2024: 130-144 - [c37]Sirajeddine Aouani, Pascale Marangé, Vincent Robin, Mamadou Kaba Traoré:
Contributions of Digital Twins Services to the Implementation of the Circular Economy. PRO-VE (2) 2024: 147-162 - 2023
- [j17]Yoro Diouf, Oumar Y. Maïga, Mamadou Kaba Traoré:
A theoretical approach to the computational complexity measure of abstract DEVS simulators. Int. J. Model. Simul. Sci. Comput. 14(4): 2350013:1-2350013:32 (2023) - [c36]Mama Diakité, Mamadou Kaba Traoré:
Formal Approach to Digital Twin Specification. ANNSIM 2023: 233-244 - [r1]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:
M&S Bok Core Areas and the Big Picture. Body of Knowledge for Modeling and Simulation 2023: 21-75 - 2022
- [j16]Moussa Koïta, Youssouf M. Diagana, Oumar Y. Maïga, Mamadou Kaba Traoré:
A generic learning simulation framework to assess security strategies in cyber-physical production systems. Comput. Networks 218: 109381 (2022) - [j15]Xiaohuan Wen, Yanhong Wang, Xiaodong Ji, Mamadou Kaba Traoré:
Three-stage churn management framework based on DCN with asymmetric loss. Expert Syst. Appl. 207: 117998 (2022) - [c35]Milad Poursoltan, Nathalie Pinède, Bruno Vallespir, Mamadou Kaba Traoré:
A New Modeling Framework For Cyber-Physical And Human Systems. ANNSIM 2022: 90-101 - [c34]Simon Gorecki, Seghir Zerguini, Mamadou Kaba Traoré, Nathalie Gaussier:
SIMUTEC: A transdisiplinary Agent-Based Simulation for land use and transport for ecological transition. DS-RT 2022: 187-192 - 2020
- [j14]Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Y. Maïga, Mamadou K. Traoré:
A DEVS-based pivotal modeling formalism and its verification and validation framework. Simul. 96(12) (2020) - [c33]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: 1-12
2010 – 2019
- 2019
- [j13]Kehinde G. Samuel, Oumar Y. 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): 1950032:1-1950032:26 (2019) - [j12]Mamadou Kaba Traoré, Gregory Zacharewicz, Raphaël Duboz, Bernard P. Zeigler:
Modeling and simulation framework for value-based healthcare systems. Simul. 95(6) (2019) - 2018
- [j11]Yan Wang, Gregory Zacharewicz, Mamadou Kaba Traoré, David Chen:
An integrative approach to simulation model discovery: Combining system theory, process mining and fuzzy logic. J. Intell. Fuzzy Syst. 34(1): 477-490 (2018) - [j10]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): 235-257 (2018) - [j9]Bernard P. Zeigler, Saurabh Mittal, Mamadou Kaba Traoré:
MBSE with/out Simulation: State of the Art and Way Forward. Syst. 6(4): 40 (2018) - [c32]Mamadou K. Traoré:
Ontology for healthcare systems modeling and simulation. SummerSim 2018: 5:1-5:12 - [c31]Faical Y. P. Congo, Mamadou K. Traoré, David R. C. Hill:
Computation operations caching for numerical repeatability. SummerSim 2018: 28:1-28:12 - [c30]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: 3:1-3:19 - [c29]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: 4:1-4:12 - 2017
- [c28]Yanhong Wang, Xia Wang, Mamadou Kaba Traoré:
Social interaction in pedestrian evacuation: a cellular discrete event simulation approach. SpringSim (TMS) 2017: 12:1-12:12 - [c27]Yan Wang, Gregory Zacharewicz, Mamadou Kaba Traoré, David Chen:
A tool for mining discrete event simulation model. WSC 2017: 3066-3077 - 2016
- [j8]Hamzat Olanrewaju Aliyu, Oumar Y. Maïga, Mamadou Kaba Traoré:
The high level language for system specification: A model-driven approach to systems engineering. Int. J. Model. Simul. Sci. Comput. 7(1): 1641003:1-1641003:35 (2016) - [j7]David Ifeoluwa Adelani, Mamadou Kaba Traoré:
Enhancing the reusability and interoperability of artificial neural networks with DEVS modeling and simulation. Int. J. Model. Simul. Sci. Comput. 7(2): 1650005:1-1650005:21 (2016) - [c26]Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré:
Integrated framework for model-driven systems engineering: a research roadmap. SpringSim (TMS-DEVS) 2016: 28 - 2015
- [c25]Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré:
Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models. WSC 2015: 3090-3091 - 2014
- [c24]Shaowei Wang, Mamadou Kaba Traoré:
A system-theoretic approach to case management. SpringSim (Posters) 2014: 3 - [c23]Adedoyin Adegoke, Mamadou K. Traoré:
Consideration for M&S in Africa. SpringSim (Posters) 2014: 4 - [c22]Adedoyin Adegoke, Mamadou Kaba Traoré:
System of systems based approaches to global simulation in Africa. SpringSim (ANSS) 2014: 11 - [c21]Shaowei Wang, Mamadou Kaba Traoré:
DEVS-based case management (wip). SpringSim (TMS-DEVS) 2014: 34 - 2013
- [j6]David R. C. Hill, Claude Mazel, Jonathan Passerat-Palmbach, Mamadou Kaba Traoré:
Distribution of random streams for simulation practitioners. Concurr. Comput. Pract. Exp. 25(10): 1427-1442 (2013) - [j5]Mamadou Kaba Traoré:
Advances on the theory of M&S. Simul. 89(1): 3 (2013) - [j4]Adedoyin Adegoke, Hamidou Togo, Mamadou K. Traoré:
A unifying framework for specifying DEVS parallel and distributed simulation architectures. Simul. 89(11): 1293-1309 (2013) - [c20]Soremekun Ezekiel Olamide, Mamadou Kaba Traoré:
Formal verification and validation of DEVS simulation models. AFRICON 2013: 1-6 - [c19]Christophe Gouinaud, Mahamat Atteïb Ibrahim Doutoum, Pascale Gouinaud, Mamadou Kaba Traoré:
SAR image automated detection of dune area. IGARSS 2013: 1489-1492 - 2012
- [j3]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): 723-738 (2012) - [c18]Ufuoma Bright Ighoroje, Oumar Y. Maïga, Mamadou Kaba Traoré:
The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation. SpringSim (TMS-DEVS) 2012: 49 - [c17]Oumar Y. Maïga, Ufuoma Bright Ighoroje, Mamadou Kaba Traoré:
DDML: A Support for Communication in M&S. WETICE 2012: 238-243 - 2011
- [c16]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: 229-237 - [e1]Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach:
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). SCS/ACM 2011 [contents] - 2010
- [c15]Luc Touraille, Mamadou K. Traoré, David R. C. Hill:
Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator. SummerSim 2010: 394-402 - [c14]Alexandre Muzy, Luc Touraille, Hans Vangheluwe, Olivier Michel, Mamadou Kaba Traoré, David R. C. Hill:
Activity regions for the specification of discrete event systems. SpringSim 2010: 136
2000 – 2009
- 2009
- [c13]Laurent d'Orazio, Mamadou Kaba Traoré:
Semantic caching for pervasive grids. IDEAS 2009: 227-233 - [c12]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 - [c11]Mamadou K. Traoré:
A graphical notation for DEVS. SpringSim 2009 - [c10]Laurent d'Orazio, Mamadou Kaba Traoré:
Cache sémantique pour grilles pervasives. UbiMob 2009: 65-72 - 2008
- [c9]Mamadou K. Traoré:
SimStudio: a next generation modeling and simulation framework. SimuTools 2008: 67 - [c8]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: 413-420 - 2007
- [c7]Gauthier Quesnel, Raphaël Duboz, Éric Ramat, Mamadou K. Traoré:
VLE: a multimodeling and simulation environment. SCSC 2007: 367-374 - [c6]Mamadou K. Traoré:
Easy DEVS. SpringSim (2) 2007: 214-216 - 2006
- [j2]Mamadou K. Traoré, Alexandre Muzy:
Capturing the dual relationship between simulation models and their context. Simul. Model. Pract. Theory 14(2): 126-142 (2006) - [c5]Mamadou K. Traoré:
Analyzing static and temporal properties of simulation models. WSC 2006: 897-904 - 2003
- [j1]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): 61-80 (2003) - [c4]Mamadou K. Traoré:
Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation. WSC 2003: 604-612
1990 – 1999
- 1998
- [c3]Mamadou K. Traoré, P. Lievre:
Object-Oriented Simulation of Social Systems Application to an Employment Agency. Annual Simulation Symposium 1998: 143-148 - [c2]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: 131-145 - 1996
- [c1]Jean-Yves Goujon, Philippe Lacomme, Mamadou Kaba Traoré:
A Multi-Agent Simulation Methodology for Manufacturing Systems. ESM 1996: 183-187
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
