Van Chan Ngo

ORCID

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 12

Top Venues

CoRR

IEEE Symposium on Security and Privacy

FORTE

PLDI

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

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

Van Chan Ngo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Van Chan Ngo