| 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 | 102 | 2018 |
| 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 | 61* | 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 | 21 | 2012 |
| Statistical Model Checking for SystemC Models VC Ngo, A Legay, J Quilbeuf High Assurance Systems Engineering Symposium, 2016 | 14* | 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 | 12* | 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 | 10 | 2016 |
| 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 | 10 | 2013 |
| 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 | 9 | 2015 |
| Formal Verification of Probabilistic SystemC Models with Statistical Model Checking VC Ngo, A Legay Journal of Software: Evolution and Process, 2017 | 7 | 2017 |
| 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 |
| Revised constraint‐propagation method for distribution interval state estimation VC Ngo, W Wu, Y Lou IET Generation, Transmission & Distribution 14 (7), 1329-1336, 2020 | 4 | 2020 |
| 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 | 4 | 2015 |
| Dynamic verification of systemc with statistical model checking VC Ngo, A Legay, J Quilbeuf arXiv preprint arXiv:1412.0885, 2014 | 4 | 2014 |
| Formal verification of a synchronous data-flow compiler: from signal to c VC Ngo Rennes 1, 2014 | 4 | 2014 |
| 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 | 4 | 2009 |
| 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 | 2 | 2012 |
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
