van Chan Ngo
first name: van Chan
topic interest: Translation Validation
topic interest: Probabilistic Assertion
topic interest: Systèmes embarqués @fr
topic interest: Value-Graphs
topic interest: Certified com-piler
topic interest: Compilateur validé @fr
topic interest: Safety-critical systems
topic interest: Valeur-graphiques @fr
topic interest: Graphique réécriture @fr
family name: Ngo
is aggregated by: van-chan-ngo
topic interest: Program Verification
interest: info.info-es
topic interest: Modèles polychrones @fr
interest: info.info-fl
topic interest: Quatitative verification
topic interest: Statis-tical Model Checking
topic interest: Deadlock detection
topic interest: Graphiques de dépendance @fr
topic interest: SystemC
topic interest: Petri Nets
topic interest: Programmes synchrones @fr
interest: info.info-lo
topic interest: Multi-clocked Synchronous Programs
topic interest: Runtime Verification
topic interest: Validated Compiler
topic interest: Dependency graphs
topic interest: Dependability Analysis
topic interest: Synchronous Programs
interest: info.info-mo
topic interest: Systèmes critiques @fr
interest: info.info-sc
topic interest: Validation de la traduction @fr
topic interest: Graph rewriting
interest: info.info-se
type: Person
interest: info.info-pf
topic interest: SMT Solver
interest: info.info-pl
topic interest: Synchronous data-flow languages
topic interest: Formal Verification
topic interest: Statistical model checking
topic interest: Compilation @fr
topic interest: Temporal properties
topic interest: Détection des blocages @fr
topic interest: Polychronous Models
topic interest: Polychrony @fr
topic interest: Embedded Systems
topic interest: Value-Graph
topic interest: SMT solving @fr
topic interest: Certified Compiler
topic interest: Vérification formelle @fr
topic interest: Code Generator
topic interest: Graph Transformation