


Остановите войну!
for scientists:


default search action
Jin 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
- 2023
- [j57]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) - [c206]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 - [c205]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 - [c204]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 - [c203]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 - [c202]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 - [c201]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 - [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, Jin Song Dong:
A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. 44(8): 725-746 (2018) - [c172]Kulani Tharaka Mahadewa
, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang:
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. ICECCS 2018: 21-30 - [c171]Wai Yan Maung Maung Thin, Naipeng Dong
, Guangdong Bai, Jin Song Dong:
Formal Analysis of a Proof-of-Stake Blockchain. ICECCS 2018: 197-200 - [c170]Dileepa Fernando, Naipeng Dong
, Cyrille Jégourel, Jin Song Dong:
Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. ICFEM 2018: 106-123 - [c169]Hadrien Bride, Jin Song Dong, Zhé Hóu
, Brendan P. Mahony, Martin Oxenham:
Towards Trustworthy AI for Autonomous Systems. ICFEM 2018: 407-411 - [c168]Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu
:
Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM 2018: 412-416 - [c167]Cyrille Jégourel, Jun Sun, Jin Song Dong:
On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) 2018: 287-304 - [c166]Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong:
Break the dead end of dynamic slicing: localizing data and control omission bug. ASE 2018: 509-519 - 2017
- [c165]Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou
, Jin Song Dong:
Towards Solving Decision Making Problems Using Probabilistic Model Checking. ICECCS 2017: 150-153 - [c164]Li Li, Naipeng Dong
, Jun Pang, Jun Sun
, Guangdong Bai, Yang Liu
, Jin Song Dong:
A Verification Framework for Stateful Security Protocols. ICFEM 2017: 262-280 - [c163]Chenkai Guo, Naipeng Dong
, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si:
App genome: callback sequencing in Android. ICSE (Companion Volume) 2017: 149-151 - [c162]Yun Lin, Jun Sun
, Yinxing Xue, Yang Liu
, Jin Song Dong:
Feedback-based debugging. ICSE 2017: 393-403 - [c161]Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun
, Xin Peng, Yang Liu
, Wenyun Zhao, Jin Song Dong:
Mining implicit design templates for actionable code reuse. ASE 2017: 394-404 - [c160]Cyrille Jégourel, Jun Sun
, Jin Song Dong:
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. QEST 2017: 333-350 - [c159]Quanqi Ye, Guangdong Bai, Naipeng Dong
, Jin Song Dong:
Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. SecureComm 2017: 469-488 - [c158]Kailong Wang, Guangdong Bai, Naipeng Dong
, Jin Song Dong:
A Framework for Formal Analysis of Privacy on SSO Protocols. SecureComm 2017: 763-777 - 2016
- [j37]Stephan Merz, Jun Pang, Jin Song Dong:
Editorial. Formal Aspects Comput. 28(3): 343-344 (2016) - [j36]Stephan Merz, Jun Pang, Jin Song Dong:
Editorial. Formal Aspects Comput. 28(5): 723-724 (2016) - [j35]Huiquan Zhu, Jing Sun
, Jin Song Dong, Shang-Wei Lin
:
From verified model to executable program: the PAT approach. Innov. Syst. Softw. Eng. 12(1): 1-26 (2016) - [j34]Songzheng Song, Jiexin Zhang, Yang Liu
, Mikhail Auguston, Jun Sun
, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. 15(2): 453-471 (2016) - [c157]Li Li, Jun Sun
, Jin Song Dong:
Automated Verification of Timed Security Protocols with Clock Drift. FM 2016: 513-530 - [c156]Dileepa Fernando, Naipeng Dong
, Cyrille Jégourel, Jin Song Dong:
Verification of Nash-Equilibrium for Probabilistic BAR Systems. ICECCS 2016: 53-62 - [c155]Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa
, Jin Song Dong, Xinyu Wang:
Improving Quality of Use Case Documents through Learning and User Interaction. ICECCS 2016: 101-110 - [c154]Shuang Liu
, Guangdong Bai, Jun Sun, Jin Song Dong:
Towards Using Concurrent Java API Correctly. ICECCS 2016: 219-222 - [c153]Chenkai Guo, Quanqi Ye, Naipeng Dong
, Guangdong Bai, Jin Song Dong, Jing Xu:
Automatic Construction of Callback Model for Android Application. ICECCS 2016: 231-234 - [c152]Manman Chen, Tian Huat Tan, Jun Sun
, Jingyi Wang, Yang Liu
, Jing Sun, Jin Song Dong:
Service Adaptation with Probabilistic Partial Models. ICFEM 2016: 122-140 - [c151]Truong Khanh Nguyen, Tian Huat Tan, Jun Sun
, Jiaying Li, Yang Liu
, Manman Chen, Jin Song Dong:
Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM 2016: 363-382 - [c150]Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu
, Étienne André
, Yinxing Xue, Jin Song Dong:
Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE 2016: 85-95 - [e4]Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu:
Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10055, Springer 2016, ISBN 978-3-319-50111-6 [contents] - 2015
- [j33]Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
, Colin Keng-Yan Tan, Bimlesh Wadhwa
, Hai H. Wang
:
BOWL: augmenting the Semantic Web with beliefs. Innov. Syst. Softw. Eng. 11(3): 203-215 (2015) - [j32]Ting Wang, Jun Sun
, Xinyu Wang, Yang Liu
, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li:
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng. 41(1): 3-18 (2015) - [c149]Li Li, Jun Sun
, Yang Liu
, Jin Song Dong:
Verifying Parameterized Timed Security Protocols. FM 2015: 342-359 - [c148]Guangdong Bai, Jun Sun
, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo:
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ICECCS 2015: 60-69 - [c147]Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong:
Formal Analysis of a Single Sign-On Protocol Implementation for Android. ICECCS 2015: 90-99 - [c146]