Van Chan Ngo

17 papers A* 2A 1B 2C 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2018 A* conf
Bounded expectations: resource analysis for probabilistic programs.
PLDI
Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
2018 J jnl
Formal verification of probabilistic SystemC models with statistical model checking.
J. Softw. Evol. Process.
Van Chan Ngo, Axel Legay
2018 J jnl
Verifying and Synthesizing Constant-Resource Implementations with Types.
CoRR
Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann
2017 J jnl
Bounded Expectations: Resource Analysis for Probabilistic Programs.
CoRR
Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
2017 J jnl
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking.
CoRR
Van Chan Ngo, Axel Legay
2017 A* conf
Verifying and Synthesizing Constant-Resource Implementations with Types.
IEEE Symposium on Security and Privacy
Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann
2016 — conf
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.
CAV (1)
Van Chan Ngo, Axel Legay, Vania Joloboff
2016 — conf
Statistical Model Checking for SystemC Models.
HASE
Van Chan Ngo, Axel Legay, Jean Quilbeuf
2015 J jnl
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking.
CoRR
Van Chan Ngo, Axel Legay, Jean Quilbeuf
2015 C conf
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
SCOPES
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2015 B conf
Translation Validation for Clock Transformations in a Synchronous Compiler.
FASE
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
2015 C conf
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.
FORTE
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
2014 J jnl
Dynamic Verification of SystemC with Statistical Model Checking.
CoRR
Van Chan Ngo, Axel Legay, Jean Quilbeuf
2014 — —
Formal Verification of a Synchronous Data- flow Compiler : from Signal to C. (Vérification Formelle d'un Compilateur Synchrone: de Signal vers C).
Van Chan Ngo
2013 J jnl
Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers Comput. Sci.
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
2012 B conf
Formal Verification of Compiler Transformations on Polychronous Equations.
IFM
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
2009 A conf
Formal Indistinguishability Extended to the Random Oracle Model.
ESORICS
Cristian Ene, Yassine Lakhnech, Van Chan Ngo