4 citations · 6 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 4 cited
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…
cs.PL2017
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…