Skip to contents

  5. Marir, Souad [Author] ; Pau [Contributor]; Université Abdelhamid Mehri - Constantine 2. Faculté des Nouvelles Technologies de l'Information et de la Communication (Constantine, Algérie) [Contributor]; Hameurlain, Nabil [Contributor]; Belala, Faiza [Contributor]

    Modélisation Formelle des Systèmes Fog : vers l'Analyse et la Validation de leur Comportement ; Formal Modeling of Fog Systems : Towards the Analysis and Validation of their Behaviour

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-07-14

  7. Mambakam, Akshay [Author] ; Université Grenoble Alpes [Contributor]; Dang, Thao [Contributor]; Basset, Nicolas [Contributor]

    Formalismes temporisés paramétriques pour la spécification et la surveillance ; Parametric timed formalisms for specification and monitoring

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2023-07-07

  8. Girard-Satabin, Julien [Author] ; université Paris-Saclay [Contributor]; Schoenauer, Marc [Contributor]; Chihani, Hichem Zakaria [Contributor]; Charpiat, Guillaume [Contributor]

    Verification and validation of Machine Learning techniques ; Vérification et validation de techniques d'apprentissage machine

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2021-11-09

  9. Robin, Ludovic [Author] ; Université de Lorraine [Contributor]; Kremer, Steve [Contributor]; Delaune, Stéphanie [Contributor]

    Vérification formelle de protocoles basés sur de courtes chaines authentifiées ; Formal verification of protocols based on short authenticated strings

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2018-02-15

  12. Pham, Thi-Kim-Dung [Author] ; Paris, CNAM [Contributor]; Dubois, Catherine [Contributor]; Lévy, Nicole [Contributor]

    Development of Correct-by-Construction Software using Product Lines ; Développement de logiciels corrects par construction à partir de lignes de produits

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2017-11-16

  13. De Almeida Pereira, Dalay Israel [Author] ; Centrale Lille Institut [Contributor]; Collart-Dutilleul, Simon [Contributor]

    Analyse et spécification formelle des systèmes d’enclenchement ferroviaire basés sur les relais ; Analysis and formal specification of relay-based railway interlocking systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2020-10-15

  14. De Almeida Pereira, Dalay Israel [Author] ; Ecole centrale de Lille [Contributor]; Collart-Dutilleul, Simon [Contributor]

    Analyse et spécification formelle des systèmes d’enclenchement ferroviaire basés sur les relais ; Analysis and formal specification of relay-based railway interlocking systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2020-10-15

  15. Clavière, Arthur [Author] ; Toulouse, ISAE [Contributor]; Pagetti, Claire [Contributor]; Asselin, Eric [Contributor]

    Vérification de la sûreté des systèmes basés réseaux de neurones s'appuyant sur les méthodes formelles ; Safety verification of neural network based systems using formal methods

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2023-07-17

  16. Afendi, Meryem [Author] ; Paris 12 [Contributor]; Laleau, Régine [Contributor]; Mammar, Amel [Contributor]

    A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B ; Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-12-12

  17. Robles, Virgile [Author] ; université Paris-Saclay [Contributor]; Le Gall, Pascale [Contributor]; Prevosto, Virgile [Contributor]; Kosmatov, Nikolaï [Contributor]

    Specifying and verifying high-level requirements on large programs : application to security of C programs ; Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-01-21

  18. Ivanova, Elena [Author] ; université Paris-Saclay [Contributor]; Girard, Antoine [Contributor]

    Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms ; Synthèse efficace des contrôleurs de sécurité à l'aide de modèles symboliques et d'algorithmes paresseux

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2021-11-15

  19. Vassor, Martin [Author] ; Université Grenoble Alpes [Contributor]; Stefani, Jean-Bernard [Contributor]

    Graphes de localités : une approche formelle à l'encapsulation et implémentation ; Location graphs : a formal approach to encapsulation and its implementation

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2021-05-07