Skip to contents

  1. Konopacki, Pierre [Author] ; Paris Est [Contributor]; Université de Sherbrooke [Contributor]; Laleau, Régine [Contributor]

    Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles ; Security policies modeling by 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, 2012-05-04

  2. Jacomme, Charlie [Author] ; université Paris-Saclay [Contributor]; Comon-Lundh, Hubert [Contributor]; Kremer, Steve [Contributor]

    Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants ; Proofs of security protocols : symbolic methods and powerful attackers

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

  4. Silva, Paulo Salem da [Author] ; Paris 11 [Contributor]; Universidade de São Paulo (Brésil) [Contributor]; Gaudel, Marie-Claude [Contributor]; Vieira De Melo, Ana Cristina [Contributor]

    Verification of behaviourist multi-agent systems by means of formally guided simulations ; Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2011-11-28

  7. Halchin, Alexandra [Author] ; Toulouse, INPT [Contributor]; Aït-Ameur, Yamine [Contributor]; Singh, Neeraj Kumar [Contributor]

    Development of a Formal Verification Methodology for B Specifications using PERF formal toolkit. Application to safety requirements of railway systems. ; Élaboration d’une méthodologie de vérification formelle des spécifications B dans l’Atelier de Preuve PERF. Application aux exigences de sûreté de fonctionnement des systèmes ferroviaires

    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-12-03

  8. Lee, Dongho [Author] ; université Paris-Saclay [Contributor]; Boulanger, Frédéric [Contributor]; Valiron, Benoit [Contributor]; Perrelle, Valentin [Contributor]

    Formal Methods for Quantum Programming Languages ; Méthodes Formelles pour les Langages de Programmation Quantiques

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

  9. Martin, Thibault [Author] ; université Paris-Saclay [Contributor]; Kosmatov, Nikolaï [Contributor]; Prevosto, Virgile [Contributor]

    Techniques de test pour des critères de couverture avancés ; Testing techniques for advanced test coverage criteria

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

  10. Dupont, Guillaume [Author] ; Toulouse, INPT [Contributor]; Aït-Ameur, Yamine [Contributor]; Singh, Neeraj Kumar [Contributor]

    Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof ; Conception correcte par construction de systèmes hybrides basée sur le raffinement et la preuve

    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-01-14

  11. Merigoux, Denis [Author] ; Université Paris sciences et lettres [Contributor]; Bhargavan, Karthikeyan [Contributor]; Protzenko, Jonathan [Contributor]

    Proof-oriented domain-specific language design for high-assurance software ; Design de langage dédié orienté vers la preuve pour le logiciel critique

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

  14. Charmet, Fabien [Author] ; Institut polytechnique de Paris [Contributor]; M'Hamed, Abdallah [Contributor]; Kiennert, Christophe [Contributor]

    Security characterization of SDN virtual network migration : formal approach and resource optimization ; Caractérisation de la sécurité de la migration de réseaux virtuels SDN : approche formelle et optimisation des ressources

    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-02-25

  16. Filipiak, Alicia [Author] ; Université de Lorraine [Contributor]; Cortier, Véronique [Contributor]

    Conception et analyse formelle de protocoles de sécurité, une application au vote électronique et au paiement mobile ; Design and formal analysis of security protocols, an application to electronic voting and mobile payment

    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-03-23

  17. Cohen, Raphaël P. [Author] ; Toulouse, ISAE [Contributor]; Georgia institute of technology [Contributor]; Garoche, Pierre-Loïc [Contributor]; Feron, Eric [Contributor]

    Formal Verification and Validation of Convex Optimization Algorithms For model Predictive Control ; Vérification formelle et validation des algorithmes d'optimisation convexe appliqués à la commande prédictive

    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-12-03

  18. Davy, Guillaume [Author] ; Toulouse, ISAE [Contributor]; Henrion, Didier [Contributor]; Garoche, Pierre-Loïc [Contributor]

    Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques ; Generation of codes and provable annotations of interior-point algorithms for critical embedded 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, 2018-12-06

  20. Foughali, Mohammed [Author] ; Toulouse, INSA [Contributor]; Ghallab, Malik [Contributor]; Ingrand, Félix [Contributor]

    Vérification Formelle des Modules Fonctionnels de Systèmes Robotiques et Autonomes ; Formal verification of the functionnal layer of robotic and autonomous 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, 2018-12-17