Skip to contents

  1. Tran, Hoang-Dung [Author]; Nguyen, Luan Viet [Author]; Musau, Patrick [Author]; Xiang, Weiming [Author]; Johnson, Taylor T. [Author] ; Hoang-Dung Tran and Luan Viet Nguyen and Patrick Musau and Weiming Xiang and Taylor T. Johnson [Contributor]

    Real-Time Verification for Distributed Cyber-Physical Systems

    Articles
    View online
    Close

    Bookmarks

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

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

  2. Atig, Mohamed Faouzi [Author]; Bouajjani, Ahmed [Author]; Narayan Kumar, K. [Author]; Saivasan, Prakash [Author] ; Mohamed Faouzi Atig and Ahmed Bouajjani and K. Narayan Kumar and Prakash Saivasan [Contributor]

    On Bounded Reachability Analysis of Shared Memory Systems

    Articles
    View online
    Close

    Bookmarks

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

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

  3. Bidet, François [Author] ; Institut polytechnique de Paris [Contributor]; Goubault, Éric [Contributor]

    Analyse d'atteignabilité avec incertitudes variables dans le temps et intégrables au sens de Lebesgue ; Reachability analysis with Lebesgue-integrable time-varying uncertainties

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2022-09-06

  4. Beyer, Dirk [Author] ; Dangl, Matthias [Other]

    Software Verification with PDR: An Implementation of the State of the Art

    Videos
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021) -