Skip to contents

  1. Aliyu, Hamzat Olanrewaju [Author] ; Clermont-Ferrand 2 [Contributor]; Traoré, Mamadou Kaba [Contributor]

    An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems ; Un cadre intégratif pour l'ingénierie dirigée par les modèles des systèmes complexes : vers une fusion méthodologique de la simulation à évènements discrets avec l'analyse formelle et le prototypage rapide

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-12-15

  2. Poursoltan, Milad [Author] ; Bordeaux [Contributor]; Traoré, Mamadou Kaba [Contributor]; Pinède-Wojciechowski, Nathalie [Contributor]; Vallespir, Bruno [Contributor]

    Cadre méthodologique et opérationnel pour l'apprentissage, la validation et l'amélioration des Systèmes Cyber-Physiques et Humains basé sur la modélisation et la simulation ; Methodological and operational framework for the validation and improvement of Cyber-Physical and Human Systems based on modelling and simulation

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2023-04-03

  3. Wang, Yan [Author] ; Bordeaux [Contributor]; Chen, David [Contributor]; Zacharewicz, Grégory [Contributor]; Traoré, Mamadou Kaba [Contributor]

    An integrative process mining approach to mine discrete event simulation model from event data ; Une approche intégrée de découverte de processus pour découvrir le modèle simulation d'événement discret depuis les données des événements du système

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2018-10-12

  4. Mahamat Atteïb, Ibrahim Doutoum [Author] ; Clermont-Ferrand 2 [Contributor]; Traoré, Mamadou Kaba [Contributor]; Gouinaud, Christophe [Contributor]

    Cartographie et détection de changement automatique par imagerie de télédétection pour le suivi environnemental en Afrique saharienne et sub-saharienne ; Cartography and automatic change detection in remote sensing imagery for environmental monitoring in the Saharan and sub-Saharan Africa

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2014-11-25

  5. Touraille, Luc [Author] ; Clermont-Ferrand 2 [Contributor]; Hill, David R. C. [Contributor]; Traoré, Mamadou Kaba [Contributor]

    Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation ; Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2012-12-07

  6. Kone, Youssouf [Author] ; Université Clermont Auvergne (2021-.) [Contributor]; Université du Mali [Contributor]; Traoré, Mamadou Kaba [Contributor]; Diallo, Ouaténi [Contributor]

    Etude et prévisions spatio-temporelles des systèmes urbains de transport : application au trafic urbain de Bamako ; Study and spatio-temporal predictions of urban transportation systems

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2021-02-12

  7. Congo, Faïçal Yannick Palingwendé [Author] ; Université Clermont Auvergne‎ (2017-2020) [Contributor]; Hill, David R. C. [Contributor]; Traoré, Mamadou Kaba [Contributor]

    Proposition d'un modèle pour la représentation de contexte d'exécution de simulations informatiques à des fins de reproductibilité ; Proposing a representation model of computational simulations’ execution context for reproducibility purposes

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2018-12-19

  8. Maïga, Oumar [Author] ; Clermont-Ferrand 2 [Contributor]; Université des sciences, des techniques et des technologies de Bamako (Mali) [Contributor]; Traoré, Mamadou Kaba [Contributor]; Diallo, Ouaténi [Contributor]

    An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems ; Un langage intégré pour la spécification, simulation, analyse formelle et en-action des systèmes à événements discrets

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-12-22

  9. Togo, Hamidou [Author] ; Clermont-Ferrand 2 [Contributor]; Université des sciences, des techniques et des technologies de Bamako (Mali) [Contributor]; Traoré, Mamadou Kaba [Contributor]; Diallo, Ouaténi [Contributor]

    Parallélisation de simulateur DEVS par métamodélisation et transformation de modèle ; DEVS simulator parallelization by metamodeling and model transformation

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-12-23