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. He, Dongjie [Author]; Lu, Jingbo [Author]; Gao, Yaoqing [Author]; Xue, Jingling [Author] ; Dongjie He and Jingbo Lu and Yaoqing Gao and Jingling Xue [Contributor]

    Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability

    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, 2021

  3. He, Dongjie [Author]; Lu, Jingbo [Author]; Gao, Yaoqing [Author]; Xue, Jingling [Author] ; Dongjie He and Jingbo Lu and Yaoqing Gao and Jingling Xue [Contributor]

    Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact)

    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, 2021

  4. Binham, Daniel [Author]; Manhaes de Castro, Pedro Machado [Author]; Vigneron, Antoine [Author] ; Daniel Binham and Pedro Machado Manhaes de Castro and Antoine Vigneron [Contributor]

    Reachability in a Planar Subdivision with Direction Constraints

    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, 2017

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

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

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