Van Chan Ngo
Title
Cited by
Cited by
Year
Bounded Expectations: Resource Analysis for Probabilistic Programs
VC Ngo, Q Carbonneaux, J Hoffmann
PLDI 2018 Proceedings of the 39th ACM SIGPLAN Conference on Programming …, 2018
522018
Verifying and Synthesizing Constant-Resource Implementations with Types
VC Ngo, M Dehesa-Azuara, M Fredrikson, J Hoffmann
Security and Privacy (SP), 2017 IEEE Symposium on, 710-728, 2017
32*2017
Formal verification of compiler transformations on polychronous equations
VC Ngo, JP Talpin, T Gautier, P Le Guernic, L Besnard
Integrated Formal Methods, 113-127, 2012
18*2012
Statistical Model Checking for SystemC Models
VC Ngo, A Legay, J Quilbeuf
High Assurance Systems Engineering Symposium, 2016
12*2016
Precise deadlock detection for polychronous data-flow specifications
VC Ngo, JP Talpin, T Gautier
Proceedings of the 2014 Electronic System Level Synthesis Conference, ESLsyn, 2014
10*2014
Formal verification of synchronous data-flow program transformations toward certified compilers
VC Ngo, JP Talpin, T Gautier, P Le Guernic, L Besnard
Frontiers of Computer Science 7 (5), 598-616, 2013
102013
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools
VC Ngo, JP Talpin, T Gautier, L Besnard, P Le Guernic
Proceedings of the 18th International Workshop on Software and Compilers for …, 2015
72015
PSCV: A runtime verification tool for probabilistic SystemC models
VC Ngo, A Legay, V Joloboff
International Conference on Computer Aided Verification, 84-91, 2016
62016
Translation Validation for Synchronous Data-flow Specification in the SIGNAL Compiler
VC Ngo, JP Talpin, T Gautier
Formal Techniques for Distributed Objects, Components, and Systems, 66-80, 2015
5*2015
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
VC Ngo, A Legay
Journal of Software: Evolution and Process, 2017
32017
Translation Validation for Clock Transformations in a Synchronous Compiler
VC Ngo, JP Talpin, T Gautier, P Le Guernic
Fundamental Approaches to Software Engineering, 171-185, 2015
3*2015
Dynamic verification of systemc with statistical model checking
VC Ngo, A Legay, J Quilbeuf
arXiv preprint arXiv:1412.0885, 2014
32014
Formal verification of a synchronous data-flow compiler: from signal to c
VC Ngo
Rennes 1, 2014
32014
Formal Indistinguishability Extended to the Random Oracle Model
C Ene, Y Lakhnech, VC Ngo
Lecture Notes in Computer Science 5789 (Computer Security – ESORICS 2009 …, 2009
32009
Formal verification of automatically generated C code from polychronous data-flow equations
VC Ngo, L Besnard, T Gautier, P Le Guernic, JP Talpin
HLDVT 2012, 2012
22012
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
VC Ngo, A Legay
arXiv preprint arXiv:1507.08187, 2015
2015
Evaluating SDVG translation validation: from Signal to C
JPT Van Chan Ngo, T Gautier, P Le Guernic
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
University of Rennes 1, France, 2014
2014
AUTOMATED VERIFICATION OF ASYMMETRIC ENCRYPTION
NGO Van Chan
2008
Clock Transformationsin Synchronous Compiler
VC Ngo, JP Talpin, T Gautier, P Le Guernic
The system can't perform the operation now. Try again later.
Articles 1–20