Follow
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
1122018
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
62*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
202012
Statistical Model Checking for SystemC Models
VC Ngo, A Legay, J Quilbeuf
High Assurance Systems Engineering Symposium, 2016
15*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
13*2014
PSCV: A runtime verification tool for probabilistic SystemC models
VC Ngo, A Legay, V Joloboff
International Conference on Computer Aided Verification, 84-91, 2016
102016
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
92015
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
VC Ngo, A Legay
Journal of Software: Evolution and Process, 2017
72017
Revised constraint‐propagation method for distribution interval state estimation
VC Ngo, W Wu, Y Lou
IET Generation, Transmission & Distribution 14 (7), 1329-1336, 2020
62020
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
6*2015
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
42015
Dynamic verification of systemc with statistical model checking
VC Ngo, A Legay, J Quilbeuf
arXiv preprint arXiv:1412.0885, 2014
42014
Formal verification of a synchronous data-flow compiler: from signal to c
VC Ngo
Rennes 1, 2014
42014
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
42009
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
The system can't perform the operation now. Try again later.
Articles 1–16