| CDGDroid: Android malware detection based on deep learning using CFG and DFG Z Xu, K Ren, S Qin, F Craciun Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 68 | 2018 |
| Region inference for an object-oriented language WN Chin, F Craciun, S Qin, M Rinard ACM SIGPLAN Notices 39 (6), 243-254, 2004 | 68 | 2004 |
| Distributed diagnosis by BDI agents IA Letia, F Craciun, Z Kope, A Netin IASTED International Conference" Applied Informatics", Innsbruck, Austria …, 2000 | 31 | 2000 |
| Towards complete specifications with an error calculus QL Le, A Sharma, F Craciun, WN Chin NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 20 | 2013 |
| A flow-based approach for variant parametric types WN Chin, F Craciun, SC Khoo, C Popeea ACM SIGPLAN Notices 41 (10), 273-290, 2006 | 20 | 2006 |
| Towards a Session Logic for Communication Protocols F Craciun, T Kiss, A Costea Engineering of Complex Computer Systems (ICECCS), 2015 20th International …, 2015 | 16 | 2015 |
| Verifying pointer safety for programs with unknown calls C Luo, F Craciun, S Qin, G He, WN Chin Journal of Symbolic Computation 45 (11), 1163-1183, 2010 | 15 | 2010 |
| A specialization calculus for pruning disjunctive predicates to support verification WN Chin, C Gherghina, R Voicu, QL Le, F Craciun, S Qin Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 11 | 2011 |
| Automated modular verification for relaxed communication protocols A Costea, WN Chin, S Qin, F Craciun Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018 | 10 | 2018 |
| Automated specification discovery via user-defined predicates G He, S Qin, WN Chin, F Craciun Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 9 | 2013 |
| An interval-based inference of variant parametric types F Craciun, WN Chin, G He, S Qin European Symposium on Programming, 112-127, 2009 | 9 | 2009 |
| Towards better testing of fUML models F Craciun, S Motogna, I Lazar 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 8 | 2013 |
| A framework for object-oriented program analyses via Core-Java F Craciun, HY Goh, WN Chin IEEE Internationl Conference on Intelligent Computer Communication and …, 2006 | 7 | 2006 |
| Norms for DLP agents working in a warehouse scenario IA Letia, F Craciun, Z Köpe Engineering of Intelligent Systems: 14th International Conference on …, 2001 | 7 | 2001 |
| Automated specification inference in a combined domain via user-defined predicates S Qin, G He, WN Chin, F Craciun, M He, Z Ming Science of Computer Programming 148, 189-212, 2017 | 6 | 2017 |
| Verifying heap-manipulating programs with unknown procedure calls S Qin, C Luo, G He, F Craciun, WN Chin Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 6 | 2010 |
| A flow-sensitive region inference for cli A Stefan, F Craciun, WN Chin Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008 | 6 | 2008 |
| A formal soundness proof of region-based memory management for object-oriented paradigm F Craciun, S Qin, WN Chin International Conference on Formal Engineering Methods, 126-146, 2008 | 5 | 2008 |
| Core-java: an expression-oriented java F Craciun, HY Goh, C Popeea, WN Chin Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006 | 4 | 2006 |
| First experiments for mining sequential patterns on distributed sites with multi-agents IA Letia, F Craciun, Z Köpe, A Lelutiu Intelligent Data Engineering and Automated Learning—IDEAL 2000. Data Mining …, 2000 | 4 | 2000 |
Wei Ngan ChinNational University of Singapore在 comp.nus.edu.sg 的电子邮件经过验证
