Van Chan Ngo - RankMe

17 papers A* 2A 1B 2C 2Journal 7Unranked 2

Year	Rank	Type	Title / 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