| Parameter synthesis for hierarchical concurrent real-time systems É André, Y Liu, J Sun, JS Dong Real-Time Systems 50, 620-679, 2014 | 28 | 2014 |
| Diamonds are a girl’s best friend: Partial order reduction for timed automata with abstractions H Hansen, SW Lin, Y Liu, TK Nguyen, J Sun Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 28 | 2014 |
| Beyond connection: situated wireless communities J Sun, MS Poole Communications of the ACM 53 (6), 121-125, 2010 | 28 | 2010 |
| Active fuzzing for testing and securing cyber-physical systems Y Chen, B Xuan, CM Poskitt, J Sun, F Zhang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 27 | 2020 |
| Fib: Squeezing loop invariants by interpolation between forward/backward predicate transformers SW Lin, J Sun, H Xiao, Y Liu, D Sanán, H Hansen 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 27 | 2017 |
| Clonepedia: Summarizing code clones by common syntactic context for software maintenance Y Lin, Z Xing, X Peng, Y Liu, J Sun, W Zhao, J Dong 2014 IEEE International Conference on Software Maintenance and Evolution …, 2014 | 27 | 2014 |
| Model-based Methods for Linking Web Service Choreography and Orchestration J Sun, Y Liu, JS Dong, G Pu, TH Tan Software Engineering Conference (APSEC), 2010 17th Asia Pacific, 166-175, 2010 | 27 | 2010 |
| SAGA: efficient and large-scale detection of near-miss clones with GPU acceleration G Li, Y Wu, CK Roy, J Sun, X Peng, N Zhan, B Hu, J Ma 2020 IEEE 27th International Conference on Software Analysis, Evolution and …, 2020 | 26 | 2020 |
| Efficient and robust emergence of norms through heuristic collective learning J Hao, J Sun, G Chen, Z Wang, C Yu, Z Ming ACM Transactions on Autonomous and Adaptive Systems (TAAS) 12 (4), 1-20, 2017 | 26 | 2017 |
| Bounded model checking of compositional processes J Sun, Y Liu, JS Dong, J Sun Theoretical Aspects of Software Engineering, 2008. TASE'08. 2nd IFIP/IEEE …, 2008 | 26 | 2008 |
| Towards interpreting recurrent neural networks through probabilistic abstraction G Dong, J Wang, J Sun, Y Zhang, X Wang, T Dai, JS Dong, X Wang Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 25 | 2020 |
| Frame inference for inductive entailment proofs in separation logic QL Le, J Sun, S Qin International Conference on Tools and Algorithms for the Construction and …, 2018 | 25 | 2018 |
| Adaptive fairness improvement based on causality analysis M Zhang, J Sun Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 24 | 2022 |
| An empirical study on correlation between coverage and robustness for deep neural networks Y Dong, P Zhang, J Wang, S Liu, J Sun, J Hao, X Wang, L Wang, J Dong, ... 2020 25th International Conference on Engineering of Complex Computer …, 2020 | 24 | 2020 |
| Symbolic verification of message passing interface programs H Yu, Z Chen, X Fu, J Wang, Z Su, J Sun, C Huang, W Dong Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 24 | 2020 |
| Enhancing symbolic execution of heap-based programs with separation logic for test input generation LH Pham, QL Le, QS Phan, J Sun, S Qin Automated Technology for Verification and Analysis: 17th International …, 2019 | 24 | 2019 |
| Mining implicit design templates for actionable code reuse Y Lin, G Meng, Y Xue, Z Xing, J Sun, X Peng, Y Liu, W Zhao, J Dong 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 24 | 2017 |
| Sequential schemes for frequentist estimation of properties in statistical model checking C Jegourel, J Sun, JS Dong Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017 | 24 | 2017 |
| Assertion generation through active learning L H. Pham, LL Tran Thi, J Sun Formal Methods and Software Engineering: 19th International Conference on …, 2017 | 24 | 2017 |
| Optimizing selection of competing services with probabilistic hierarchical refinement TH Tan, M Chen, J Sun, Y Liu, É André, Y Xue, JS Dong Proceedings of the 38th International Conference on Software Engineering, 85-95, 2016 | 24 | 2016 |
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg