Skip to contents

  1. Monat, Raphaël [Author] ; Sorbonne université [Contributor]; Miné, Antoine [Contributor]

    Static type and value analysis by abstract interpretation of Python programs with native C libraries ; Analyse statique, de type et de valeur, par interprétation abstraite, de programmes Python utilisant des librairies 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, 2021-11-22

  2. Lubat, Éric [Author] ; Toulouse, INSA [Contributor]; Hladik, Pierre-Emmanuel [Contributor]

    Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes

    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-30

  3. Beger, Pascal [Author] ; Toulouse, INSA [Contributor]; Leriche, Sébastien [Contributor]; Prun, Daniel [Contributor]

    Vérification formelle des propriétés graphiques des systèmes informatiques interactifs ; Formal verification of graphical properties of interactive 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-30

  4. Marsso, Lina [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Mateescu, Radu [Contributor]; Parissis, Ioannis [Contributor]

    Etude de génération de tests à partir d'un modèle pour les systèmes GALS ; On Model-based Testing of GALS 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, 2019-12-10

  5. Jafri, Nisrine [Author] ; Rennes 1 [Contributor]; Lanet, Jean-Louis [Contributor]; Legay, Axel [Contributor]

    Formal fault injection vulnerability detection in binaries : a software process and hardware validation ; Détection formelle de vulnérabilité créée par injection de faute au niveau binaire : un processus logiciel et une validation matérielle

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2019-03-25

  6. Masson, Lola [Author] ; Toulouse 3 [Contributor]; Waeselynck, Hélène [Contributor]; Guiochet, Jérémie [Contributor]

    Safety monitoring for autonomous systems : interactive elicitation of safety rules ; Moniteurs de sécurité pour des systèmes autonomes : élicitation interactive des règles de sécurité

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2019-02-21

  7. Tueno Fotso, Steve Jeffrey [Author] ; Paris Est [Contributor]; Université de Sherbrooke (Québec, Canada) [Contributor]; Laleau, Régine [Contributor]; Frappier, Marc [Contributor]; Mammar, Amel [Contributor]

    Vers une approche formelle d'ingénierie des exigences outillée et éprouvée ; Towards a tooled and proven formal requirements engineering approach

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2019-10-22

  8. Botbol, Vincent [Author] ; Sorbonne université [Contributor]; Chailloux, Emmanuel [Contributor]; Le Gall, Tristan [Contributor]

    Analyse statique de programmes concurrents avec variables numériques ; Static analysis of concurrent programs with numerical variables

    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-09-13

  11. Dallon, Antoine [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Delaune, Stéphanie [Contributor]; Cortier, Véronique [Contributor]

    Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques ; Verification of indistinguishability properties for cryptographic protocols

    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-11-26

  12. Fayolle, Thomas [Author] ; Paris Est [Contributor]; Université de Sherbrooke (Québec, Canada) [Contributor]; Laleau, Régine [Contributor]; Frappier, Marc [Contributor]

    Combinaison de méthodes formelles pour la spécification de systèmes industriels ; Coupling of formal methods for industriel systems specification

    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-06-27

  13. Bühler, David [Author] ; Rennes 1 [Contributor]; Blazy, Sandrine [Contributor]; Yakobowski, Boris [Contributor]

    EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions ; Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-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, 2017-03-15

  14. Hirschi, Lucca [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Delaune, Stéphanie [Contributor]; Baelde, David [Contributor]

    Vérification automatique de la protection de la vie privée : entre théorie et pratique ; Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & Practice

    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-04-21

  15. Nemouchi, Yakoub [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Wolff, Burkhart [Contributor]

    Model-based Testing of Operating System-Level Security Mechanisms ; test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2016-03-30

  16. Huynh, Nghi [Author] ; Paris Est [Contributor]; Université de Sherbrooke (Québec, Canada) [Contributor]; Laleau, Régine [Contributor]; Frappier, Marc [Contributor]; Mammar, Amel [Contributor]

    Vérification et validation de politiques de contrôle d'accès dans le domaine médical ; Verification and validation of healthcare access control policies

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2016-12-06

  17. Burlyaev, Dmitry [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Fradet, Pascal [Contributor]; Girault, Alain [Contributor]

    Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques ; Conception, optimisation, et vérification formelle de techniques de tolérance aux fautes pour circuits

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2015-11-26

  19. Rauzy, Pablo [Author] ; Paris, ENST [Contributor]; Guilley, Sylvain [Contributor]; Danger, Jean-Luc [Contributor]

    Méthodes logicielles formelles pour la sécurité des implémentations de systèmes cryptographiques ; Formal sofwtare methods for cryptosystems implementation security

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2015-07-13

  20. Yang, Faqing [Author] ; Université de Lorraine [Contributor]; Souquières, Jeanine [Contributor]; Jacquot, Jean-Pierre [Contributor]

    Un environnement de simulation pour la validation de spécifications B événementiel ; A Simulation Framework for the Validation of Event-B Specifications

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2013-11-29