Skip to contents

  2. Hagemann, Willem [Author] ; Weidenbach, Christoph [Contributor]

    Symbolic orthogonal projections : a new polyhedral representation for reachability analysis of hybrid systems ; Symbolische Orthogonalprojektionen : eine neue Polyederdarstellung für die Erreichbarkeitsanalyse von hybriden Systemen

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    Scientific publications of the Saarland University (UdS), 2014

  6. Rocca, Alexandre [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Dang, Thao [Contributor]

    Formal methods for modelling and validation of biological models ; Méthodes formelles pour la construction et la validation de modèles biologiques

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

  7. Clemente, Lorenzo [Author]; Parys, Pawel [Author]; Salvati, Sylvain [Author]; Walukiewicz, Igor [Author] ; Lorenzo Clemente and Pawel Parys and Sylvain Salvati and Igor Walukiewicz [Contributor]

    Ordered Tree-Pushdown Systems

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  10. Al Khatib, Mohammad [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Girard, Antoine [Contributor]; Dang, Thao [Contributor]

    Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques ; stability verification, scheduling, and synthesis of cyber-physical 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, 2017-09-29

  13. Escudero, Cédric [Author] ; Université Grenoble Alpes [Contributor]; Zamaï, Eric [Contributor]; Massioni, Paolo [Contributor]

    Analyse et prévention des attaques cachées de vieillissement : une approche basée sur la théorie des systèmes dynamiques ; Analysis and prevention of stealthy aging attacks : an approach based on dynamical systems theory

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

  14. Konecny, Filip [Author] ; Grenoble [Contributor]; Masarykova univerzita (Brno, République tchèque) [Contributor]; Lakhnech, Yassine [Contributor]; Iosif, Radu [Contributor]

    Vérification relationnelle pour des programmes avec des données entières ; Relational Verification of Programs with Integer Data

    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-10-29

  17. Dreossi, Tommaso [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Università Ca' Foscari Venezia (Venise, Italie) [Contributor]; Dang, Thao [Contributor]

    Calcul d'atteignabilité et synthèse de paramètres pour systèmes dynamiques polynomiaux ; Reachability Computation and Parameter Synthesis for Polynomial Dynamical 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, 2016-04-04