Van Chan Ngo

According to our database, Van Chan Ngo authored at least 14 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal verification of probabilistic SystemC models with statistical model checking.

Van Chan Ngo, Axel Legay

J. Softw. Evol. Process., 2018

Bounded expectations: resource analysis for probabilistic programs.

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Verifying and Synthesizing Constant-Resource Implementations with Types.

Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016

Statistical Model Checking for SystemC Models.

Van Chan Ngo, Axel Legay, Jean Quilbeuf

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.

Van Chan Ngo, Axel Legay, Vania Joloboff

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking.

Van Chan Ngo, Axel Legay, Jean Quilbeuf

CoRR, 2015

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic

Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Translation Validation for Clock Transformations in a Synchronous Compiler.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic

Proceedings of the Fundamental Approaches to Software Engineering, 2015

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

PhD thesis, 2014

Dynamic Verification of SystemC with Statistical Model Checking.

Van Chan Ngo, Axel Legay, Jean Quilbeuf

CoRR, 2014

2013

Formal verification of synchronous data-flow program transformations toward certified compilers.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard

Frontiers Comput. Sci., 2013

2012

Formal Verification of Compiler Transformations on Polychronous Equations.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2009

Formal Indistinguishability Extended to the Random Oracle Model.

Cristian Ene, Yassine Lakhnech, Van Chan Ngo

Proceedings of the Computer Security, 2009