Zum Inhalt springen

  4. Bourbouh, Hamza [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Garoche, Pierre-Loïc [MitwirkendeR]

    Compilation et vérification formelle de modèles à base d'automates et de flots de données pour les systèmes critiques ; Static analyses and model checking of mixed data-flow/control-flow models for critical systems

    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, 2023-03-16

  5. Roux, Pierre [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Wiels, Virginie [MitwirkendeR]; Garoche, Pierre-Loïc [MitwirkendeR]

    Analyse statique de systèmes de contrôle commande : synthèse d'invariants non linéaires ; Static Analysis of Control Command Systems : Synthesizing non Linear Invariants

    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, 2013-12-18

  6. Nalpon, Nicolas [VerfasserIn] ; Toulouse, INSA [MitwirkendeR]; Garoche, Pierre-Loïc [MitwirkendeR]; Picard, Celia [MitwirkendeR]

    Vers la vérification des langages de description d’interface utilisateur ; Towards the verification of user interface description languages

    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, 2023-03-13

  7. Benmouhoub, Farah [VerfasserIn] ; Perpignan [MitwirkendeR]; Martel, Matthieu [MitwirkendeR]; Garoche, Pierre-Loïc [MitwirkendeR]

    Optimisation de la précision numérique des codes parallèles ; Improving the numerical accuracy of parallel programs

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

  8. Rousse, Paul [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Garoche, Pierre-Loïc [MitwirkendeR]; Henrion, Didier [MitwirkendeR]

    Cosimulation ensembliste d'une interconnexion de systèmes ; A set-based cosimulation method to overapproximate the reachable set of an interconnection of dynamical systems

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

  9. Davy, Guillaume [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Henrion, Didier [MitwirkendeR]; Garoche, Pierre-Loïc [MitwirkendeR]

    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

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

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

    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

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

  12. Roux, Pierre; Garoche, Pierre-Loïc

    Lecture Notes in Computer Science: Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison

    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.

    Springer International Publishing, 2014

    Erschienen in: Lecture Notes in Computer Science

  13. Roux, Pierre; Garoche, Pierre-Loïc

    Automated Technology for Verification and Analysis: Integrating Policy Iterations in Abstract Interpreters

    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.

    Springer International Publishing, 2013

    Erschienen in: Automated Technology for Verification and Analysis

  17. Khalife, Elias; Garoche, Pierre-Loic; Farhood, Mazen

    Lecture Notes in Computer Science: Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems

    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.

    Springer Nature Switzerland, 2023

    Erschienen in: Lecture Notes in Computer Science

  19. Benmouhoub, Farah; Garoche, Pierre-Loic; Martel, Matthieu

    Lecture Notes in Computer Science: An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods

    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.

    Springer International Publishing, 2022

    Erschienen in: Lecture Notes in Computer Science