4 citations · 6 across the 4 of their papers we have counts for
5 papers
Verifying and Synthesizing Constant-Resource Implementations with Types
Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson +1
We propose a novel type system for verifying that programs correctly implement constant-resource behavior. Our type system extends recent work on automatic amortized resource analy…
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Van Chan Ngo, Axel Legay
Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them hav…
Bounded Expectations: Resource Analysis for Probabilistic Programs
Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symb…
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
Van Chan Ngo, Axel Legay
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petr…
Dynamic Verification of SystemC with Statistical Model Checking
Van Chan Ngo, Axel Legay, Jean Quilbeuf
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliable hardware,...). In that context, it is crucial to evaluate system properties su…