Zum Inhalt springen

  1. Sotiropoulos, Thierry [Verfasser:in] ; Toulouse 3 [Mitwirkende:r]; Guiochet, Jérémie [Mitwirkende:r]; Ingrand, Félix [Mitwirkende:r]; Waeselynck, Hélène [Mitwirkende:r]

    Test aléatoire de la navigation de robots dans des mondes virtuels ; Random testing of robots navigation in virtual worlds

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-05-04

  2. Bennaceur, Mokhtar Walid [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Kloul, Leïla [Mitwirkende:r]

    Formal models for safety analysis of a Data Center system ; Modèles formels pour l’analyse de la sûreté de fonctionnement d’un Data center

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-11-21

  3. Sassi, Insaf [Verfasser:in] ; Université Grenoble Alpes (ComUE) [Mitwirkende:r]; Thiriet, Jean-Marc [Mitwirkende:r]; Gouin, Alexia [Mitwirkende:r]

    Diagnostic en réseau de mobiles communicants, stratégies de répartition de diagnostic en fonction de contraintes de l'application ; Diagnostic of mobiles networks, strategies for the diagnostic distribution as a function of the application constraints

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-11-27

  4. Serru, Théo [Verfasser:in] ; CY Cergy Paris Université [Mitwirkende:r]; Nguyen, Nga [Mitwirkende:r]; Batteux, Michel [Mitwirkende:r]

    Analyse de la cybersécurité des systèmes cyber-physiques par approche fondée sur les modèles : impact des cyberattaques sur la sécurité avec AltaRica ; Model-Based Security Assessment of Cyber-Physical Systems : Analyzing the Impact of Cyberattacks on Safety Using Altarica

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-11-21

  5. Sena Ferreira, Raul [Verfasser:in] ; Toulouse 3 [Mitwirkende:r]; Guiochet, Jérémie [Mitwirkende:r]; Waeselynck, Hélène [Mitwirkende:r]

    Runtime safety monitoring of ML-based perception functions in autonomous systems ; Développement d'un cadre générique pour surveiller et gérer la sécurité des systèmes autonomes pendant l'exécution

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-05-09

  6. Bourget, Edwin [Verfasser:in] ; Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire [Mitwirkende:r]; Cuppens, Frédéric [Mitwirkende:r]; Cuppens-Boulahia, Nora [Mitwirkende:r]

    Diagnosing accidental and malicious events in industrial control systems ; Diagnostic de défaillance et de malveillance dans les systèmes de contrôle industriels

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-06-16

  7. Dabboussi, Abdallah [Verfasser:in] ; Bourgogne Franche-Comté [Mitwirkende:r]; Wack, Maxime [Mitwirkende:r]; Kouta, Raed [Mitwirkende:r]; Gaber, Jaafar [Mitwirkende:r]

    Dependability approaches for mobile environment : Application on connected autonomous vehicles. ; Approche pour la sûreté de fonctionnement en environnement mobile : application aux véhicules autonomes et connectés

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-12-20

  8. Abdeldjelil, Hanane [Verfasser:in] ; Lyon 1 [Mitwirkende:r]; Benslimane, Djamal [Mitwirkende:r]; Faci, Noura [Mitwirkende:r]

    Une approche adaptative basée sur la diversité pour la gestion des fautes dans les services Web ; An adaptive diversity-based approach for managing faults in Web services

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-11-20

  9. Sannier, Nicolas [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Baudry, Benoit [Mitwirkende:r]

    INCREMENT : une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté ; INCREMENT : an hybrid approach for modeling and analyzing regulatory safety requirements in the large

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-12-12

  10. Enard, Quentin [Verfasser:in] ; Bordeaux 1 [Mitwirkende:r]; Consel, Charles [Mitwirkende:r]

    Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception ; Development of dependable applications : a design-driven approach

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-05-06

  11. Godot, Jean [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Larouci, Chérif [Mitwirkende:r]

    ALEBAS : une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués ; ALEBAS : a development and safety analysis methodology of embedded systems

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-03-27

  12. Vidalie, Julien [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Choley, Jean-Yves [Mitwirkende:r]; Mhenni, Faïda [Mitwirkende:r]; Batteux, Michel [Mitwirkende:r]

    Category theory for consistency between multilevel system modeling (MBSE) and safety (MBSA) ; Théorie des catégories pour la cohérence de modèles multi-niveaux systèmes (MBSE) et sûreté de fonctionnement (MBSA)

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-02-08

  13. Hereau, Adrien [Verfasser:in] ; Université de Montpellier (2022-.) [Mitwirkende:r]; Crestani, Didier [Mitwirkende:r]; Guiochet, Jérémie [Mitwirkende:r]

    Multi-level fault tolerance for autonomous robots - Application to an underwater robot ; Tolérance aux fautes multi-niveaux pour des robots autonomes - Application à un robot sous-marin

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-06-17

  14. Abou Faysal, Joelle [Verfasser:in] ; Université Côte d'Azur [Mitwirkende:r]; Mallet, Frédéric [Mitwirkende:r]

    Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs ; Formal rule-based scenarios for the design of safe autonomous vehicles

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-06-09

  15. Hoang, Van Trinh [Verfasser:in] ; Lorient [Mitwirkende:r]; Julien, Nathalie [Mitwirkende:r]

    Design under constraints of Dependability and Energy for Wireless Sensor Network ; Conception sous contraintes de sûreté de fonctionnement et de consommation d’énergie, pour les réseaux de capteurs sans fil

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-12-08