Skip to contents

  1. Dang, Thao [Editor] ; International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT 6. 2020 Online, Open Publishing Association

    Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT : online, 31 August 2020

    Books
    View online
    Close

    Bookmarks

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

    [Waterloo, NSW]: [Open Publishing Association], 11th January 2021

    Published in: Electronic proceedings in theoretical computer science ; 331

  2. Dang, Thao [Editor]; Stolz, Volker [Editor]

    Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings - [1st ed. 2022.]

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Published in: Lecture Notes in Computer Science ; 13498

  3. Dang, Thao [Author] ; Association for Computing Machinery, ACM Special Interest Group on Embedded Systems

    Proceedings of the 15th ACM international conference on Hybrid Systems Computation and Control

    Books
    View online
    Close

    Bookmarks

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

    New York, NY: ACM, 2012

    Published in: ACM Digital Library- ACM Conferences

  4. Mambakam, Akshay [Author] ; Université Grenoble Alpes [Contributor]; Dang, Thao [Contributor]; Basset, Nicolas [Contributor]

    Formalismes temporisés paramétriques pour la spécification et la surveillance ; Parametric timed formalisms for specification and monitoring

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2023-07-07

  5. Adimoolam, Santosh Arvind [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Dang, Thao [Contributor]

    A Calculus of Complex Zonotopes for Invariance and Stability Verification of Hybrid Systems ; Un calcul des zonotopes complexes pour l'invariance et la vérification de la stabilité des systèmes hybrides

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2018-05-16

  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
    Close

    Bookmarks

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

    theses.fr, 2018-05-07

  7. 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
    Close

    Bookmarks

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

    theses.fr, 2017-09-29

  8. Kekatos, Nikolaos [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Frehse, Goran [Contributor]; Dang, Thao [Contributor]

    Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle ; Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2018-12-17

  9. Maler, Oded [Editor]; Halász, Ádám [Editor]; Dang, Thao [Editor]; Piazza, Carla [Editor]

    Hybrid Systems Biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers - [1st ed. 2015]

    Books
    View online
    Close

    Bookmarks

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

    [Cham]: Springer, 2015

    Published in: Lecture notes in computer science ; 7699

  10. 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
    Close

    Bookmarks

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

    theses.fr, 2016-04-04