Zum Inhalt springen

  1. Werner, Vincent [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Potet, Marie-Laure [MitwirkendeR]

    Optimiser l'identification et l'exploitation de vulnérabilités à l'injection de faute sur microcontrôleurs ; Optimizing identification and exploitation of fault injection vulnerabilities on microcontrollers

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2022-01-24

  2. Sampaio Elesbao Mazza, Eduardo [VerfasserIn] ; Grenoble [MitwirkendeR]; Potet, Marie-Laure [MitwirkendeR]

    Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements ; Method for software liability specifications : Modelisation, Traceability and Incident Analysis

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2012-06-26

  4. Dureuil, Louis [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Potet, Marie-Laure [MitwirkendeR]

    Analyse de code et processus d'évaluation des composants sécurisés contre l'injection de faute ; Code analysis and evaluation process for vulnerability detection against fault injection on secure hardware

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2016-10-12

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

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2019-03-25

  6. Moro, Nicolas [VerfasserIn] ; Paris 6 [MitwirkendeR]; Encrenaz, Emmanuelle [MitwirkendeR]; Robisson, Bruno [MitwirkendeR]

    Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués ; Security of assembly programs against fault attacks on embedded processors

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2014-11-13

  7. Pareaud, Thomas [VerfasserIn] ; Toulouse, INPT [MitwirkendeR]; Killijian, Marc-Olivier [MitwirkendeR]; Fabre, Jean-Charles [MitwirkendeR]

    Adaptation en ligne de mécanismes de tolérance aux fautes par une approche à composants ouverts ; On-line fault tolerance mechanisms adaptation based on open component models

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2009-01-27

  9. Dumont, Cyril [VerfasserIn] ; Paris Est [MitwirkendeR]; Mourlin, Fabrice [MitwirkendeR]

    Système d'agents mobiles pour les architectures de calculs auto-adaptatifs ; Mobile Agent System dedicated to adaptable numerical architecture

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2014-05-28

  10. Fayollas, Camille [VerfasserIn] ; Toulouse 3 [MitwirkendeR]; Palanque, Philippe [MitwirkendeR]; Fabre, Jean-Charles [MitwirkendeR]

    Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques ; Genetic software architecture and model-based approach for the dependability of interactive critical

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2015-07-21

  11. Makassikis, Constantinos [VerfasserIn] ; Nancy 1 [MitwirkendeR]; Vialle, Stéphane [MitwirkendeR]

    Conception d'un modèle et de frameworks de distribution d'applications sur grappes de PCs avec tolérance aux pannes à faible coût ; Design of a model and frameworks for application distribution on PC clusters with low-overhead fault tolerance

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2011-02-02

  12. Jamal, Aygul [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Baboulin, Marc [MitwirkendeR]

    A parallel iterative solver for large sparse linear systems enhanced with randomization and GPU accelerator, and its resilience to soft errors ; Un solveur parallèle itératif pour les grands systèmes linéaires creux, amélioré par la randomisation et l'utilisation des accélérateurs GPU, et sa résilience aux fautes logicielles

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2017-09-28

  13. Rodriguez obando, Diego Jair [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Martinez Molina, John Jairo [MitwirkendeR]; Bérenguer, Christophe [MitwirkendeR]

    From Deterioration Modeling to Remaining Useful Life Control : a comprehensive framework for post-prognosis decision-making applied to friction drive systems ; De la modélisation de la détérioration au contrôle de la durée de vie utile résiduelle : proposition d’un cadre pour la prise de décision post-pronostic appliquée aux systèmes de transmission par friction

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2018-11-13

  14. Chaudemar, Jean-Charles [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Seguin, Christel [MitwirkendeR]; Bensana, Éric [MitwirkendeR]

    Étude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event B ; Model based safety of FDIR architectures for autonomous systems : formal specification and assessment with Event-B

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2012-01-27

  15. Leplat, Mélody [VerfasserIn]; Le Goffe, Philippe [VerfasserIn]

    Faut-il réguler l'encombrement des sites récréatifs ? Un modèle de choix discret avec participation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Erschienen in: Revue d’études en Agriculture et Environnement ; Vol. 90, n° 1, pp. 51-77

  16. Cherrared, Sihem [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Fabre, Éric [MitwirkendeR]; Gössler, Gregor [MitwirkendeR]

    Gestion des fautes dans les réseaux multi-tenants et programmables ; Fault management of programmable multi-tenant networks

    Hochschulschriften
    Online ansehen
    Schließen
    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-26

  18. Lubat, Éric [VerfasserIn] ; Toulouse, INSA [MitwirkendeR]; Hladik, Pierre-Emmanuel [MitwirkendeR]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2021-11-30

  19. Desrochers, Stéphan [VerfasserIn]

    Le développement de la quantification chez l’enfant : faut-il abandonner le modèle opératoire genevois ?

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Erschienen in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 44, n° 2, pp. 227-244

  20. Oudéa, Frédéric [VerfasserIn]

    La structure des banques européennes : faut-il remettre en cause le modèle de banque universelle ?

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Erschienen in: Revue d'économie financière ; Vol. 106, n° 2, pp. 195-204