default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJin Song Dong
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j59]Jingxin Liu
, Xiaofeng Liao, Jin Song Dong, Amin Mansoori:
Continuous-Time Distributed Generalized Nash Equilibrium Seeking in Nonsmooth Fuzzy Aggregative Games. IEEE Trans. Control. Netw. Syst. 11(3): 1262-1274 (2024)- [c221]Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong:
Certified Quantization Strategy Synthesis for Neural Networks. FM (1) 2024: 343-362 - [c220]Kan Jiang, Zhaoyu Liu, Qirui Wu, Murong Ma, Jin Song Dong:
Tracking Small and Fast Moving Ball in Broadcast Videos Using Transfer Learning and the Enhanced Interactive Multi-motion Model. ISACE 2024: 81-96 - [c219]Rajdeep Singh Hundal, Zhaoyu Liu, Bimlesh Wadhwa, Zhe Hou, Kan Jiang, Jin Song Dong:
Soccer Strategy Analytics Using Probabilistic Model Checkers. ISACE 2024: 249-264 - [c218]Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei:
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. ISSTA 2024: 466-478 - [c217]Ruofan Liu, Yun Lin, Xiwen Teoh, Gongshen Liu, Zhiyong Huang, Jin Song Dong:
Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List. USENIX Security Symposium 2024 - [c216]Xiwen Teoh, Yun Lin, Ruofan Liu, Zhiyong Huang, Jin Song Dong:
PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models. USENIX Security Symposium 2024 - [c215]Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong:
Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions. SANER 2024: 964-975 - [c214]Yudai Pan, Jun Liu, Tianzhe Zhao, Lingling Zhang, Yun Lin, Jin Song Dong:
A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction. WWW 2024: 2181-2192 - [e6]Jin Song Dong, Masoumeh Izadi, Zhe Hou:
Sports Analytics - First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings. Lecture Notes in Computer Science 14794, Springer 2024, ISBN 978-3-031-69072-3 [contents] - [i32]Mark Huasong Meng, Hao Guan, Liuhuo Wan, Sin Gee Teo, Guangdong Bai, Jin Song Dong:
PAODING: A High-fidelity Data-free Pruning Toolkit for Debloating Pre-trained Neural Networks. CoRR abs/2405.00074 (2024) - [i31]Nhat Minh Chung, Sensen Gao, Tuan-Anh Vu, Jie Zhang, Aishan Liu, Yun Lin, Jin Song Dong, Qing Guo:
Towards Transferable Attacks Against Vision-LLMs in Autonomous Driving with Typography. CoRR abs/2405.14169 (2024) - [i30]Xianglin Yang, Jin Song Dong:
Exploring the Evolution of Hidden Activations with Live-Update Visualization. CoRR abs/2405.15135 (2024) - [i29]Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong:
Towards Large Language Model Aided Program Refinement. CoRR abs/2406.18616 (2024) - [i28]Qi Guo, Minghao Yao, Zhen Tian, Saiyu Qi, Yong Qi, Yun Lin, Jin Song Dong:
Contribution Evaluation of Heterogeneous Participants in Federated Learning via Prototypical Representations. CoRR abs/2407.02073 (2024) - [i27]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. CoRR abs/2407.17215 (2024) - [i26]Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei:
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. CoRR abs/2408.01733 (2024) - [i25]Yakun Zhang, Chen Liu, Xiaofei Xie, Yun Lin, Jin Song Dong, Dan Hao, Lu Zhang:
LLM-based Abstraction and Concretization for GUI Test Migration. CoRR abs/2409.05028 (2024) - [i24]Mark Huasong Meng, Chuan Yan, Yun Hao, Qing Zhang, Zeyu Wang, Kailong Wang, Sin Gee Teo, Guangdong Bai, Jin Song Dong:
A Large-Scale Privacy Assessment of Android Third-Party SDKs. CoRR abs/2409.10411 (2024) - [i23]Qi Guo, Zhen Tian, Minghao Yao, Yong Qi, Saiyu Qi, Yun Lin, Jin Song Dong:
Forgetting Through Transforming: Enabling Federated Unlearning via Class-Aware Representation Transformation. CoRR abs/2410.06848 (2024) - [i22]Zixiao Zhao, Jing Sun, Zhiyuan Wei, Cheng-Hao Cai, Zhe Hou, Jin Song Dong:
VisionCoder: Empowering Multi-Agent Auto-Programming for Image Processing with Hybrid LLMs. CoRR abs/2410.19245 (2024) - 2023
- [j58]Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao:
Extracting optimal explanations for ensemble trees via automated reasoning. Appl. Intell. 53(11): 14371-14382 (2023) - [j57]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55(13s): 277:1-277:47 (2023) - [c213]Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong:
Insight Analysis for Tennis Strategy and Tactics. ICDM 2023: 1169-1174 - [c212]Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin:
Sports Analytics Using Probabilistic Model Checking and Deep Learning. ICECCS 2023: 7-11 - [c211]Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong:
Supervised Robustness-preserving Data-free Neural Network Pruning. ICECCS 2023: 22-31 - [c210]Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong:
DeepArc: Modularizing Neural Networks for the Model Maintenance. ICSE 2023: 1008-1019 - [c209]Mengyue Liu, Yun Lin, Jun Liu, Bohao Liu, Qinghua Zheng, Jin Song Dong:
B2-Sampling: Fusing Balanced and Biased Sampling for Graph Contrastive Learning. KDD 2023: 1489-1500 - [c208]Jihong Wang, Minnan Luo, Jundong Li, Yun Lin, Yushun Dong, Jin Song Dong, Qinghua Zheng:
Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective. KDD 2023: 2349-2360 - [c207]Mark Huasong Meng, Qing Zhang, Guangshuai Xia, Yuwei Zheng, Yanjun Zhang, Guangdong Bai, Zhi Liu, Sin G. Teo, Jin Song Dong:
Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers. NDSS 2023 - [c206]Yufan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, Jin Song Dong:
On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models. NeurIPS 2023 - [c205]Mark Huasong Meng, Sin G. Teo, Guangdong Bai, Kailong Wang, Jin Song Dong:
Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning. PAKDD (2) 2023: 441-453 - [c204]Zhaoyu Liu, Kan Jiang, Jin Song Dong:
Sports Injury Prediction in Professional Tennis. PRDC 2023: 304-308 - [c203]Zhaoyu Liu, Jingyu Guo, Mo Wang, Ruicong Wang, Kan Jiang, Jin Song Dong:
Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences. PRDC 2023: 337-341 - [c202]Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong:
Characterizing Cryptocurrency-themed Malicious Browser Extensions. SIGMETRICS (Abstracts) 2023: 91-92 - [c201]Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei:
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. ESEC/SIGSOFT FSE 2023: 973-985 - [c200]Ruofan Liu, Yun Lin, Yifan Zhang, Penn Han Lee, Jin Song Dong:
Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection. USENIX Security Symposium 2023: 4139-4156 - [i21]Yan Xiao, Xinyue Zuo, Lei Xue, Kailong Wang, Jin Song Dong, Ivan Beschastnikh:
Empirical Study on Transformer-based Techniques for Software Engineering. CoRR abs/2310.00399 (2023) - 2022
- [j56]Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee:
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. 34(2): 1-31 (2022) - [j55]Qian Li, Qingyuan Hu, Saiyu Qi, Yong Qi, Di Wu, Yun Lin, Jin Song Dong:
Stochastic Ghost Batch for Self-distillation with Dynamic Soft Label. Knowl. Based Syst. 241: 107936 (2022) - [j54]Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong:
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling. IEEE Trans. Software Eng. 48(9): 3593-3612 (2022) - [c199]Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei:
DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. AAAI 2022: 5359-5366 - [c198]Zhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza:
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. ICECCS 2022: 117-122 - [c197]Yunkai Liang, Yun Lin, Xuezhi Song, Jun Sun, Zhiyong Feng, Jin Song Dong:
gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects. ICSE-Companion 2022: 90-94 - [c196]Xianglin Yang, Yun Lin, Ruofan Liu, Jin Song Dong:
Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training. IJCAI 2022: 4022-4028 - [c195]Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, Hong Mei:
RegMiner: towards constructing a large regression dataset from code evolution history. ISSTA 2022: 314-326 - [c194]Yuxi Ling, Kailong Wang, Guangdong Bai, Haoyu Wang, Jin Song Dong:
Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions. ASE 2022: 10:1-10:12 - [c193]Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong:
Repairing Failure-inducing Inputs with Input Reflection. ASE 2022: 85:1-85:13 - [c192]Kailong Wang, Yuwei Zheng, Qing Zhang, Guangdong Bai, Mingchuang Qin, Donghui Zhang, Jin Song Dong:
Assessing certificate validation user interfaces of WPA supplicants. MobiCom 2022: 501-513 - [c191]Ruofan Liu, Yun Lin, Xianglin Yang, Jin Song Dong:
Debugging and Explaining Metric Learning Approaches: An Influence Function Based Perspective. NeurIPS 2022 - [c190]Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Siang Hwee Ng, Xin Peng, Jin Song Dong, Hong Mei:
RegMiner: mining replicable regression dataset from code repositories. ESEC/SIGSOFT FSE 2022: 1711-1715 - [c189]Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong:
Repairing Adversarial Texts Through Perturbation. TASE 2022: 29-48 - [c188]Ruofan Liu, Yun Lin, Xianglin Yang, Siang Hwee Ng, Dinil Mon Divakaran, Jin Song Dong:
Inferring Phishing Intention via Webpage Appearance and Dynamics: A Deep Vision Based Approach. USENIX Security Symposium 2022: 1633-1650 - [i20]Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei:
DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. CoRR abs/2201.01155 (2022) - [i19]Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong:
Repairing Adversarial Texts through Perturbation. CoRR abs/2201.02504 (2022) - [i18]Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang:
A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR abs/2203.10714 (2022) - [i17]Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Jin Song Dong:
Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning. CoRR abs/2204.00783 (2022) - [i16]Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong:
Geometric Theory for Program Testing. CoRR abs/2206.02083 (2022) - [i15]Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong:
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. CoRR abs/2206.12227 (2022) - 2021
- [j53]Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham:
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. Eng. Appl. Artif. Intell. 97: 104091 (2021) - [j52]Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun:
Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. 176: 114806 (2021) - [j51]Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong:
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. J. Autom. Reason. 65(4): 569-598 (2021) - [j50]Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong:
Characterizing Cryptocurrency-themed Malicious Browser Extensions. Proc. ACM Meas. Anal. Comput. Syst. 6(3): 43:1-43:31 (2021) - [j49]Qian Li, Yong Qi, Qingyuan Hu, Saiyu Qi, Yun Lin, Jin Song Dong:
Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex Interpolation. IEEE Trans. Inf. Forensics Secur. 16: 2447-2460 (2021) - [j48]Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu:
Explaining Regressions via Alignment Slicing and Mending. IEEE Trans. Software Eng. 47(11): 2421-2437 (2021) - [j47]Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang:
Scrutinizing Implementations of Smart Home Integrations. IEEE Trans. Software Eng. 47(12): 2667-2683 (2021) - [c187]Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong:
Self-Checking Deep Neural Networks in Deployment. ICSE 2021: 372-384 - [c186]Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong:
Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA 2021: 2-15 - [c185]Siqi Li, Yun Lin, Xiaofei Xie, Yuekang Li, Xiaohong Li, Weimin Ge, Yang Liu, Jin Song Dong:
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. ASE 2021: 1186-1189 - [c184]Yun Lin, You Sheng Ong, Jun Sun, Gordon Fraser, Jin Song Dong:
Graph-based seed object synthesis for search-based unit testing. ESEC/SIGSOFT FSE 2021: 1068-1080 - [c183]Yun Lin, Ruofan Liu, Dinil Mon Divakaran, Jun Yang Ng, Qing Zhou Chan, Yiwen Lu, Yuxuan Si, Fan Zhang, Jin Song Dong:
Phishpedia: A Hybrid Deep Learning Based Approach to Visually Identify Phishing Webpages. USENIX Security Symposium 2021: 3793-3810 - [c182]Kailong Wang, Junzhe Zhang, Guangdong Bai, Ryan K. L. Ko, Jin Song Dong:
It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts. WWW 2021: 2142-2153 - [i14]Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao:
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. CoRR abs/2103.02191 (2021) - [i13]Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong:
Self-Checking Deep Neural Networks in Deployment. CoRR abs/2103.02371 (2021) - [i12]Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong:
Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling. CoRR abs/2107.08176 (2021) - [i11]Xuezhi Song, Yun Lin, Siang Hwee Ng, Ping Yu, Xin Peng, Jin Song Dong:
Constructing Regression Dataset from Code Evolution History. CoRR abs/2109.12389 (2021) - [i10]Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong:
Generalizing Neural Networks by Reflecting Deviating Data in Production. CoRR abs/2110.02718 (2021) - 2020
- [j46]Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong:
A blockchain-based decentralized booking system. Knowl. Eng. Rev. 35: e17 (2020) - [j45]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19(4): 983-1013 (2020) - [c181]Satish Siddharth, Sircar Saurav, Kan Jiang, Bimlesh Wadhwa, Jin Song Dong:
Model Driven Inputs to aid Athlete's Decision Making. APSEC 2020: 485-489 - [c180]Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) 2020: 369-377 - [c179]Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
RL: a Language for Formal Engineering. ICECCS 2020: 31-36 - [c178]Kan Jiang, Masoumeh Izadi, Zhaoyu Liu, Jin Song Dong:
Deep Learning Application in Broadcast Tennis Video Annotation. ICECCS 2020: 53-62 - [c177]Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai:
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. ICECCS 2020: 73-82 - [c176]Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai:
White-box fairness testing through adversarial sampling. ICSE 2020: 949-960 - [c175]Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong:
Recovering fitness gradients for interprocedural Boolean flags in search-based testing. ISSTA 2020: 440-451 - [c174]Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, Xingen Wang:
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction. ASE 2020: 499-510 - [e5]Seyedali Mirjalili, Jin Song Dong, Andrew Lewis:
Nature-Inspired Optimizers - Theories, Literature Reviews and Applications. Studies in Computational Intelligence 811, Springer 2020, ISBN 978-3-030-12126-6 [contents] - [i9]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. CoRR abs/2003.08116 (2020) - [i8]Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker. CoRR abs/2005.05520 (2020)
2010 – 2019
- 2019
- [j44]Pardeep Kumar, Yun Lin, Guangdong Bai, Andrew Paverd, Jin Song Dong, Andrew P. Martin:
Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues. IEEE Commun. Surv. Tutorials 21(3): 2886-2927 (2019) - [j43]Cyrille Jégourel, Jun Sun, Jin Song Dong:
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. ACM Trans. Model. Comput. Simul. 29(4): 25:1-25:22 (2019) - [c173]Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang:
LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking. ISC 2019: 299-318 - [p6]Seyedali Mirjalili, Jin Song Dong:
Introduction to Nature-Inspired Algorithms. Nature-Inspired Optimizers 2019: 1-5 - [p5]Seyedali Mirjalili, Jin Song Dong, Andrew Lewis:
Ant Colony Optimizer: Theory, Literature Review, and Application in AUV Path Planning. Nature-Inspired Optimizers 2019: 7-21 - [p4]Seyedali Mirjalili, Jin Song Dong, Ali Safa Sadiq, Hossam Faris:
Genetic Algorithm: Theory, Literature Review, and Application in Image Reconstruction. Nature-Inspired Optimizers 2019: 69-85 - [p3]Shahrzad Saremi, Seyedeh Zahra Mirjalili, Seyedali Mirjalili, Jin Song Dong:
Grasshopper Optimization Algorithm: Theory, Literature Review, and Application in Hand Posture Estimation. Nature-Inspired Optimizers 2019: 107-122 - [p2]Seyedali Mirjalili, Jin Song Dong, Andrew Lewis, Ali Safa Sadiq:
Particle Swarm Optimization: Theory, Literature Review, and Application in Airfoil Design. Nature-Inspired Optimizers 2019: 167-184 - [i7]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong:
A formalisation of the SPARC TSO memory model for multi-core machine code. CoRR abs/1906.11203 (2019) - [i6]Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong:
Analyzing Recurrent Neural Network by Probabilistic Abstraction. CoRR abs/1909.10023 (2019) - [i5]Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham:
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. CoRR abs/1910.01380 (2019) - [i4]Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili:
Silas: High Performance, Explainable and Verifiable Machine Learning. CoRR abs/1910.01382 (2019) - [i3]Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting:
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks. CoRR abs/1911.05904 (2019) - 2018
- [j42]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30(3-4): 351-380 (2018) - [j41]Shahrzad Saremi, Seyedali Mirjalili, Andrew Lewis, Alan Wee-Chung Liew, Jin Song Dong:
Enhanced multi-objective particle swarm optimisation for estimating hand postures. Knowl. Based Syst. 158: 175-195 (2018) - [j40]Seyedali Mirjalili, Andrew Lewis, Jin Song Dong:
Confidence-based robust optimisation using multi-objective meta-heuristics. Swarm Evol. Comput. 43: 109-126 (2018) - [j39]Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser:
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44(6): 595-612 (2018) - [j38]Li Li, Jun Sun, Yang Liu, Meng Sun, <