Accéder directement au contenu

Mamadou Kaba TRAORE

43
Documents

Présentation

Publications

Image document

M&S Bok Core Areas and the Big Picture

Tuncer Ören , Umang Kant , Mayank Sing , Paul Fishwick , Mamadou Kaba Traoré
Body of Knowledge for Modeling and Simulation : A Handbook by the Society for Modeling and Simulation International, Springer International Publishing; Springer International Publishing, pp.21-75, 2023, Simulation Foundations, Methods and Applications, 978-3-031-11085-6. ⟨10.1007/978-3-031-11085-6_2⟩
Chapitre d'ouvrage hal-03960422v1

Introduction to Computational Frameworks: From Heterogeneity Challenge to Integrative Levels of Organization

Mamadou Kaba Traoré
ISTE Press. Computational Frameworks – Systems, Models and Applications, pp.ix-xxi, 2017, 9781785482564
Chapitre d'ouvrage hal-01819479v1

Chapter 17: Standardizing DEVS model representation

Gabriel A. Wainer , Khaldoon Al-Zoubi , Olivier Dalle , Saurabh Mittal , José Luis Risco Martin
Wainer, G. and Mosterman, P. Discrete-Event Modeling and Simulation: Theory and Applications, CRC press, pp.427--458, 2011, 978-1-4200-7233-4
Chapitre d'ouvrage inria-00638560v1

Chapter 18: Standardizing DEVS Simulation Middleware

Gabriel A. Wainer , Khaldoon Al-Zoubi , Olivier Dalle , Saurabh Mittal , José L. Risco Martin
Wainer, G. and Mosterman, P. Discrete-Event Modeling and Simulation: Theory and Applications, CRC press, pp.459--494, 2011, 978-1-4200-7233-4
Chapitre d'ouvrage inria-00638559v1

An Introduction to DEVS Standardization

Gabriel Wainer , Khaldoon Al-Zoubi , David R.C. Hill , Saurabh Mittal , José Luis Risco Martin
CRC Press, Taylor and Francis Group. Discrete-Event Modeling and Simulation: Theory and Applications, pp.393-426, 2010, 9781420072334
Chapitre d'ouvrage hal-01819463v1

DEVS Standardization: Foundations and Trends

Gabriel Wainer , Khaldoon Al-Zoubi , David R.C. Hill , Saurabh Mittal , José Luis Risco Martin
CRC Press, Taylor and Francis Group. Discrete-Event Modeling and Simulation: Theory and Applications, pp.389-392, 2010, 9781420072334
Chapitre d'ouvrage hal-01819456v1
Image document

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

Kehinde G Samuel , Nourou-Dine M Bouare , Oumar Maïga , Mamadou Kaba Traoré
SIMULATION: Transactions of The Society for Modeling and Simulation International, inPress, ⟨10.1177/0037549720958056⟩
Article dans une revue hal-02968082v1
Image document

Modeling and Simulation Framework for Value-based Healthcare Systems

Mamadou Kaba Traoré , Grégory Zacharewicz , Raphael Duboz , Bernard P Zeigler
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2019, 95 (6), pp.481-497. ⟨10.1177/0037549718776765⟩
Article dans une revue hal-01773637v1
Image document

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

Kehinde G Samuel , Oumar Maiga , Mamadou Kaba Traoré
International Journal of Modeling, Simulation, and Scientific Computing, 2019, 10 (05), pp.1950032. ⟨10.1142/S1793962319500326⟩
Article dans une revue hal-02362628v1
Image document

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

Bernard P Zeigler , Saurabh Mittal , Mamadou Kaba Traoré
Systems, 2018, 6 (4), pp.40. ⟨10.3390/systems6040040⟩
Article dans une revue hal-02968090v1
Image document

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

Yan Wang , Grégory Zacharewicz , Mamadou Kaba Traoré , David Chen
Journal of Intelligent and Fuzzy Systems, 2018, 34 (1), pp.477 - 490. ⟨10.3233/JIFS-17403⟩
Article dans une revue hal-01773634v1

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

Ignace Djitog , Hamzat Aliyu , Mamadou Kaba Traoré
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2017, 94 (3), pp.235 - 257. ⟨10.1177/0037549717744888⟩
Article dans une revue hal-01812571v1
Image document

Multi-Perspective Modeling of Healthcare Systems

Ignace Djitog , Hamzat Olanrewaju Aliyu , Mamadou Kaba Traoré
International Journal of Privacy and Health Information Management, 2017, 5 (2), pp.1 - 20. ⟨10.4018/IJPHIM.2017070101⟩
Article dans une revue hal-01814162v1

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

Hamzat Olanrewaju Aliyu , Oumar Maïga , Mamadou Kaba Traoré
International Journal of Modeling, Simulation, and Scientific Computing, 2016, 07 (01), ⟨10.1142/S1793962316410038⟩
Article dans une revue hal-01405177v1
Image document

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

David Ifeoluwa Adelani , Mamadou Kaba Traoré
International Journal of Modeling, Simulation, and Scientific Computing, 2016, 07 (02), pp.1650005. ⟨10.1142/S1793962316500057⟩
Article dans une revue hal-01719242v1
Image document

A unifying framework for specifying DEVS parallel and distributed simulation architectures

Adedoyin Adegoke , Hamidou Togo , Mamadou Kaba Traoré
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2013, 89 (11), pp.1293-1309. ⟨10.1177/0037549713504983⟩
Article dans une revue hal-01814164v1

Advances on the theory of M&S

Mamadou Kaba Traoré
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2013, 89 (1), pp.3 - 3. ⟨10.1177/0037549712470058⟩
Article dans une revue hal-01719239v1
Image document

Distribution of Random Streams for Simulation Practitioners

David R.C. Hill , Claude Mazel , Jonathan Passerat-Palmbach , Mamadou Kaba Traoré
Concurrency and Computation: Practice and Experience, 2012, 25 (10), pp.1427 - 1442. ⟨10.1002/cpe.2942⟩
Article dans une revue hal-01099203v1

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

Romain Reuillon , Mamadou Kaba Traoré , Jonathan Passerat-Palmbach , David R.C. Hill
Concurrency and Computation: Practice and Experience, 2012, 24 (7), pp.723 - 738. ⟨10.1002/cpe.1883⟩
Article dans une revue hal-01814168v1
Image document

Capturing the dual relationship between simulation models and their context

Mamadou Kaba Traoré , Alexandre Muzy
Simulation Modelling Practice and Theory, 2006, 14 (2), pp.126 - 142. ⟨10.1016/j.simpat.2005.03.002⟩
Article dans une revue hal-01814170v1

Design of a monitoring environment for manufacturing systems management and optimization

M. Gourgand , P. Ph. Lacomme , Mamadou Kaba Traoré
International Journal of Computer Integrated Manufacturing, 2003, 16 (1), pp.61 - 80. ⟨10.1080/713804981⟩
Article dans une revue hal-01814171v1
Image document

RegEcoS : un écosystème de regénération de produits basé sur leurs usages

Pascale Marangé , Helmi Ben Rejeb , Vincent Robin , Mamdou-Kaba Mkt Traore , Peggy Zwolinski
18ème Colloque national Systems, Manufacturing, Academics, Resources, Technologies, S-MART 2023, Arts et Métiers Paristech ENSAM Aix-en-Provence, Université de Toulon [UTLN], Apr 2023, Carry-le-Rouet, France
Communication dans un congrès hal-04397914v1
Image document

Application of multi-perspective modeling and holistic simulation to Urban Transportation Systems

Mamadou Kaba Traoré , Oumar Maiga , Mamadou Traoré , Youssouf Koné , O. Maïga
The 32nd European Modeling & Simulation Symposium, Sep 2020, Athènes, Greece. pp.93-102, ⟨10.46354/i3m.2020.emss.013⟩
Communication dans un congrès hal-02977165v1
Image document

Digital modelling and simulation in french social sciences and humanities research: an exploratory study

Nathalie Pinède , Bruno Vallespir , Mamadou Kaba Traoré , Saikou Diallo , Grégory Zacharewicz
SpringSim '20 - 2020 Spring Simulation Conference, May 2020, Fairfax, Virginia, United States. ⟨10.22360/springsim.2020.hsaa.002⟩
Communication dans un congrès hal-02887653v1
Image document

Verification and Validation of D2FD Method

Yan Wang , Mamadou Kaba Traoré , Grégory Zacharewicz , David Chen
NICST'2017 New Information Communication Sciences and Technology for Sustainable Development, Jun 2017, Clermont-Ferrand, France
Communication dans un congrès hal-01551436v1
Image document

Use of Fuzzy Clustering for Discrete Event Simulation Model Construction

Yan Wang , Gregory Zacharewicz , Mamadou Kaba Traoré , David Chen
IFAC 2017 World Congress The 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France
Communication dans un congrès hal-01735954v1

A tool for mining discrete event simulation model

Yan Wang , Grégory Zacharewicz , Mamadou Kaba Traoré , David Chen
2017 Winter Simulation Conference (WSC), Dec 2017, Las Vegas, France. ⟨10.1109/WSC.2017.8248027⟩
Communication dans un congrès hal-01904373v1
Image document

Integrated Framework for Model-Driven Systems Engineering: A Research Roadmap

Hamzat Olanrewaju Aliyu , Mamadou Kaba Traoré
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⟩
Communication dans un congrès hal-01825992v1
Image document

Integrating dependency with DEVS in the process mining

Yan Wang , Grégory Zacharewicz , David Chen , Mamadou Kaba Traoré
NICST'2015 New Information Communication Sciences and Technology for Sustainable Development, Sep 2015, Bordeaux, France
Communication dans un congrès hal-01551430v1
Image document

A PROPOSAL OF USING DEVS MODEL FOR PROCESS MINING

Yan Wang , Grégory Zacharewicz , David Chen , Mamadou Kaba Traoré
27th European Modeling & Simulation Symposium (Simulation in Industry), Sep 2015, Bergeggi, Italy. pp.403-409
Communication dans un congrès hal-01536390v1
Image document

INTEGRATION DES METHODES FORMELLES DANS LA SPECIFICATION, LA VERIFICATION ET LA VALIDATION DE MODELES DE SIMULATION A EVENEMENTS DISCRETS

Oumar Maiga , Ufuoma Bright Ighoroje , Mamadou Kaba Traoré
9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France
Communication dans un congrès hal-00728674v1
Image document

Activity Regions for the Specication of Discrete Event Systems

Alexandre Muzy , Luc Touraille , Hans Vangheluwe , Olivier J.J. Michel , Mamadou Kaba Traoré
Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Apr 2010, United States. pp.176-182
Communication dans un congrès hal-00465463v1
Image document

Enhancing DEVS Simulation through Template Metaprogramming

Luc Touraille , Mamadou Kaba Traoré , David R.C. Hill
SummerSim '10, Sep 2010, Crowne Plaza, Canada. pp.Pages 394-402
Communication dans un congrès hal-00679052v1

2011 Symposium on Theory of Modeling & Simulation – DEVS Integrative M&S Symposium (TMS-DEVS) Book 4 of SCS’s 2011 Spring Simulation Multiconference Proceedings

Gabriel Wainer , Mamadou Kaba Traoré , Reiko Heckel , Jan Himmelspach
Society of Computer Simulation International. Spring Simulation Multiconference, Apr 2011, Boston, United States. 89 (1), 2013, 978-16-17828-38-6
Proceedings/Recueil des communications hal-01810634v1

Proceedings of the 2011 Summer Computer Simulation Conference

Peter Kropf , Mamadou Kaba Traoré , Abdolreza Abhari , Hamid Vakilzadian
Society for Computer Simulation International. Summer Computer Simulation Conference, Jun 2011, The Hague, Netherlands. 2011, 978-1-61782-950-5
Proceedings/Recueil des communications hal-01810646v1

Theory of Modeling and Simulation: DEVS Integrative M&S Symposium 2010 (DEVS 2010)

Gabriel Wainer , Mamadou Kaba Traoré
Society for Computer Simulation International. 2010 Spring Simulation Multiconference, Orlando, United States. 42 (1), 2010, Simulation Series, 978-16-17382-04-8
Proceedings/Recueil des communications hal-01810652v1

Special Issue: Advances on the Theory of M&S

Mamadou Kaba Traoré
Society of Computer Simulation International. Spring Simulation Multi-Conference, Mar 2012, Orlando, United States. SIMULATION: Transactions of The Society for Modeling and Simulation International, 89 (1), 2013, ⟨10.1177/0037549712470058⟩
N°spécial de revue/special issue hal-01814117v1