![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jun Sun 0001
Person information
- affiliation: Singapore Management University, Singapore
- affiliation (former): Singapore University of Technology and Design, Singapore
- affiliation (PhD 2006): National University of Singapore, School of Computing, Singapore
Other persons with the same name
- Jun Sun — disambiguation page
- Jun Sun 0002 — DoCoMo Communication Laboratories Inc., San Jose, CA, USA (and 1 more)
- Jun Sun 0003 — Stanford University, USA
- Jun Sun 0004
— Fujitsu R&D Center, Beijing, China (and 1 more)
- Jun Sun 0005 — Shanghai Jiaotong University, Institute of Image Communication and Information Processing, China
- Jun Sun 0007 — MIT, Cambridge, MA, USA
- Jun Sun 0008
— Jiangnan University, School of Information Technology, Wuxi, China
- Jun Sun 0009 — Shanghai Jiao Tong University, Dept. of Electronic Engineering, China
- Jun Sun 0010
— Tsinghua University, School of Aerospace, Beijing, China
- Jun Sun 0011 — GESIS, Germany (and 1 more)
- Jun Sun 0012
— Peking University, Wangxuan Institute of Computer Science, Beijing, China
- Jun Sun 0013
— University of Texas Rio Grande Valley, Edinburg, TX, USA (and 1 more)
- Jun Sun 0014
— Zhejiang University, State Key Laboratory of Industrial Control Technology, China
- Jun Sun 0015 — Shanghai Aerospace Control Technology Institute, Shanghai, China
- Jun Sun 0016 — Anhui Province Children's Hospital of China, China
- Jun Sun 0017
— Beihang University, Beijing, China
- Jun Sun 0018
— Huazhong Agricultural University, College of Informatics, Hubei Key Laboratory of Agricultural Bioinformatics, China
- Jun Sun 0019
— Jiangsu University, School of Electrical and Information Engineering, Zhenjiang, China
- Jun Sun 0020 — Huazhong University of Science and Technology, Wuhan, China
- Jun Sun 0021 — Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing, China
- Jun Sun 0022 — University of Calgary, Department of Mechanical and Manufacturing Engineering, Alberta Research Council, Canada
- Jun Sun 0023
— University of Electronic Science and Technology of China, School of Information and Communication Engineering, Chengdu, China
- Jun Sun 0024 — A-STAR, Institute for Infocomm Research, Singapore (and 1 more)
- Jun Sun 0025 — Yangzhou University, School of Information Engineering, China
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j73]Ziqi Shuai
, Zhenbang Chen
, Kelin Ma
, Kunlin Liu
, Yufeng Zhang
, Jun Sun
, Ji Wang
:
Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. 1(FSE): 2493-2514 (2024) - [j72]Haoyu Wang
, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao
, Yan Wan, Tai D. Nguyen:
sFuzz2.0: Storage-access pattern guided smart contract fuzzing. J. Softw. Evol. Process. 36(4) (2024) - [j71]Yinxing Xue
, Jiaming Ye
, Wei Zhang, Jun Sun
, Lei Ma, Haijun Wang, Jianjun Zhao
:
xFuzz: Machine Learning Guided Cross-Contract Fuzzing. IEEE Trans. Dependable Secur. Comput. 21(2): 515-529 (2024) - [j70]Yuhan Zhi
, Xiaofei Xie
, Chao Shen
, Jun Sun
, Xiaoyu Zhang
, Xiaohong Guan
:
Seed Selection for Testing Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. 33(1): 23:1-23:33 (2024) - [j69]Zhe Zhao
, Guangke Chen
, Tong Liu
, Taishan Li
, Fu Song
, Jingyi Wang
, Jun Sun
:
Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples. ACM Trans. Softw. Eng. Methodol. 33(3): 68:1-68:45 (2024) - [j68]Cuifeng Gao
, Wenzhang Yang
, Jiaming Ye
, Yinxing Xue
, Jun Sun
:
sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts. ACM Trans. Softw. Eng. Methodol. 33(5): 114:1-114:55 (2024) - [j67]Shunkai Zhu
, Jingyi Wang
, Jun Sun
, Jie Yang
, Xingwei Lin
, Tian Wang, Liyi Zhang
, Peng Cheng:
Better Pay Attention Whilst Fuzzing. IEEE Trans. Software Eng. 50(2): 190-208 (2024) - [c240]Ruihan Zhang, Jun Sun:
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. CAV (2) 2024: 352-376 - [c239]Huijia Sun
, Christopher M. Poskitt
, Yang Sun
, Jun Sun
, Yuqi Chen
:
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. ICSE 2024: 102:1-102:13 - [c238]Yang Sun
, Christopher M. Poskitt
, Xiaodong Zhang
, Jun Sun
:
REDriver: Runtime Enforcement for Autonomous Vehicles. ICSE 2024: 176:1-176:12 - [c237]Jingling Sun
, Ting Su
, Jun Sun
, Jianwen Li
, Mengfei Wang
, Geguang Pu
:
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. SIGSOFT FSE Companion 2024: 440-451 - [c236]Bing Sun, Jun Sun, Wayne Koh, Jie Shi:
Neural Network Semantic Backdoor Detection and Mitigation: A Causality-Based Approach. USENIX Security Symposium 2024 - [e7]Holger Hermanns
, Jun Sun
, Lei Bu
:
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Lecture Notes in Computer Science 14464, Springer 2024, ISBN 978-981-99-8663-7 [contents] - [i83]Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang:
PTE: Axiomatic Semantics based Compiler Testing. CoRR abs/2401.01036 (2024) - [i82]Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu:
Experimenting a New Programming Practice with LLMs. CoRR abs/2401.01062 (2024) - [i81]Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun:
REDriver: Runtime Enforcement for Autonomous Vehicles. CoRR abs/2401.02253 (2024) - [i80]Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen:
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. CoRR abs/2401.07063 (2024) - [i79]Boquan Li
, Mengdi Zhang, Peixin Zhang, Jun Sun, Xingmei Wang:
Resilient Watermarking for LLM-Generated Codes. CoRR abs/2402.07518 (2024) - [i78]Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun:
Towards General Conceptual Model Editing via Adversarial Representation Engineering. CoRR abs/2404.13752 (2024) - [i77]Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang:
Evaluating and Mitigating Linguistic Discrimination in Large Language Models. CoRR abs/2404.18534 (2024) - [i76]Ruihan Zhang, Jun Sun:
Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors. CoRR abs/2405.11547 (2024) - [i75]Jingnan Zheng, Han Wang, An Zhang, Tai D. Nguyen, Jun Sun, Tat-Seng Chua:
ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation. CoRR abs/2405.14125 (2024) - [i74]Nay Myat Min, Long H. Pham, Jun Sun:
Unified Neural Backdoor Removal with Only Few Clean Samples through Unlearning and Relearning. CoRR abs/2405.14781 (2024) - [i73]Ruihan Zhang, Jun Sun:
How Does Bayes Error Limit Probabilistic Robust Accuracy. CoRR abs/2405.14923 (2024) - [i72]Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun:
Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. CoRR abs/2405.18166 (2024) - [i71]Dong Chen, Shaoxin Lin, Muhan Zeng, Daoguang Zan, Jian-Gang Wang, Anton Cheshkov, Jun Sun, Hao Yu, Guoliang Dong, Artem Aliev, Jie Wang, Xiao Cheng, Guangtai Liang, Yuchi Ma, Pan Bian, Tao Xie, Qianxiang Wang:
CodeR: Issue Resolving with Multi-Agent and Task Graphs. CoRR abs/2406.01304 (2024) - [i70]Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du:
Conformance Testing of Relational DBMS Against SQL Specifications. CoRR abs/2406.09469 (2024) - [i69]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) - [i68]Long H. Pham, Jun Sun:
Certified Continual Learning for Neural Network Regression. CoRR abs/2407.06697 (2024) - [i67]Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen:
μDrive: User-Controlled Autonomous Driving. CoRR abs/2407.13201 (2024) - [i66]É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) - 2023
- [j66]É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) - [j65]Feng Zhang
, Leping Zhang
, Yongwang Zhao
, Yang Liu
, Jun Sun
:
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Formal Aspects Comput. 35(4): 24:1-24:29 (2023) - [j64]Bo Gao, Jun Sun, Bochun Wang:
Personal Information Protection in Government Data Openness Using Decision Tree Model. J. Glob. Inf. Manag. 31(9): 1-23 (2023) - [j63]Yifan Jia
, Christopher M. Poskitt
, Peixin Zhang
, Jingyi Wang
, Jun Sun
, Sudipta Chattopadhyay
:
Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. IEEE Robotics Autom. Lett. 8(12): 8350-8357 (2023) - [j62]Jialuo Chen
, Jingyi Wang
, Xingjun Ma
, Youcheng Sun
, Jun Sun
, Peixin Zhang
, Peng Cheng
:
QuoTe: Quality-oriented Testing for Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. 32(5): 125:1-125:33 (2023) - [j61]Mengdi Zhang
, Jun Sun
, Jingyi Wang
, Bing Sun
:
TestSGD: Interpretable Testing of Neural Networks against Subtle Group Discrimination. ACM Trans. Softw. Eng. Methodol. 32(6): 137:1-137:24 (2023) - [j60]Yingquan Zhao
, Zan Wang
, Shuang Liu
, Jun Sun
, Junjie Chen
, Xiang Chen
:
Achieving High MAP-Coverage Through Pattern Constraint Reduction. IEEE Trans. Software Eng. 49(1): 99-112 (2023) - [j59]Yuan Zhou
, Yang Sun
, Yun Tang
, Yuqi Chen, Jun Sun
, Christopher M. Poskitt
, Yang Liu
, Zijiang Yang:
Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. 49(6): 3391-3410 (2023) - [j58]Kun Wang
, Jingyi Wang
, Christopher M. Poskitt
, Xiangxiang Chen
, Jun Sun
, Peng Cheng:
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Trans. Software Eng. 49(10): 4796-4813 (2023) - [j57]Fan Zhang
, Qianmei Wu
, Bohan Xuan
, Yuqi Chen, Wei Lin, Christopher M. Poskitt
, Jun Sun
, Binbin Chen
:
Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. IEEE Trans. Software Eng. 49(11): 4829-4845 (2023) - [c235]Mingtian Tan
, Xiaofei Xie
, Jun Sun
, Tianhao Wang
:
Mitigating Membership Inference Attacks via Weighted Smoothing. ACSAC 2023: 787-798 - [c234]Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) 2023: 413-437 - [c233]Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le:
An Idealist's Approach for Smart Contract Correctness. ICFEM 2023: 11-28 - [c232]Weipeng Jiang, Chao Shen, Chenhao Lin, Jingyi Wang, Jun Sun, Xuanqi Gao:
Black-Box Fairness Testing with Shadow Models. ICICS 2023: 467-484 - [c231]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 - [c230]Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo, Yue Yu:
Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension. ICSE 2023: 1933-1945 - [c229]Christopher M. Poskitt
, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. ICSE 2023: 2578-2590 - [c228]Richard Schumi, Jun Sun:
Semantic-Based Neural Network Repair. ISSTA 2023: 150-162 - [c227]Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun:
Silent Compiler Bug De-duplication via Three-Dimensional Analysis. ISSTA 2023: 677-689 - [c226]Xiaodong Zhang, Wei Zhao, Yang Sun, Jun Sun, Yulong Shen, Xuewen Dong, Zijiang Yang:
Testing Automated Driving Systems by Breaking Many Laws Efficiently. ISSTA 2023: 942-953 - [c225]Jiaying Li, Guangdong Bai
, Long H. Pham, Jun Sun:
Towards an Effective and Interpretable Refinement Approach for DNN Verification. QRS 2023: 569-580 - [c224]Lida Zhao
, Sen Chen
, Zhengzi Xu
, Chengwei Liu
, Lyuye Zhang
, Jiahui Wu
, Jun Sun
, Yang Liu
:
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. ESEC/SIGSOFT FSE 2023: 960-972 - [c223]Bozhi Wu
, Shangqing Liu
, Yang Xiao
, Zhiming Li
, Jun Sun
, Shang-Wei Lin
:
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. ESEC/SIGSOFT FSE 2023: 1371-1383 - [c222]Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun:
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS 2023: 1-26 - [e6]Étienne André
, Jun Sun
:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14215, Springer 2023, ISBN 978-3-031-45328-1 [contents] - [e5]Étienne André
, Jun Sun
:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14216, Springer 2023, ISBN 978-3-031-45331-1 [contents] - [i65]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. CoRR abs/2302.04175 (2023) - [i64]Richard Schumi, Jun Sun:
Semantic-Based Neural Network Repair. CoRR abs/2306.07995 (2023) - [i63]Tai D. Nguyen, Long H. Pham, Jun Sun:
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification. CoRR abs/2307.02289 (2023) - [i62]Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu:
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. CoRR abs/2307.11379 (2023) - [i61]Boquan Li
, Jun Sun, Christopher M. Poskitt:
How Generalizable are Deepfake Detectors? An Empirical Study. CoRR abs/2308.04177 (2023) - [i60]Ruihan Zhang, Peixin Zhang, Jun Sun:
Towards Certified Probabilistic Robustness with High Accuracy. CoRR abs/2309.00879 (2023) - [i59]Peixin Zhang, Jun Sun, Mingtian Tan, Xinyu Wang:
Backdoor Attack through Machine Unlearning. CoRR abs/2310.10659 (2023) - [i58]Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang:
Prompting Frameworks for Large Language Models: A Survey. CoRR abs/2311.12785 (2023) - [i57]Wei Zhao, Zhe Li, Jun Sun:
Causality Analysis for Evaluating the Security of Large Language Models. CoRR abs/2312.07876 (2023) - 2022
- [j56]Mengdi Zhang
, Jun Sun, Jingyi Wang:
Which neural network makes more explainable decisions? An approach towards measuring explainability. Autom. Softw. Eng. 29(2): 39 (2022) - [j55]Chi Chen, Xin Peng, Bihuan Chen, Jun Sun, Zhenchang Xing, Xin Wang, Wenyun Zhao:
"More Than Deep Learning": post-processing for API sequence recommendation. Empir. Softw. Eng. 27(1): 15 (2022) - [j54]Bowen Li, Xin Peng, Qilin Xiang, Hanzhang Wang, Tao Xie, Jun Sun, Xuanzhe Liu:
Enjoy your observability: an industrial survey of microservice tracing and analysis. Empir. Softw. Eng. 27(1): 25 (2022) - [j53]Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu
, Ge Li:
Preface. J. Comput. Sci. Technol. 37(1): 1-3 (2022) - [j52]Xuan-Bach Le, Shang-Wei Lin, Jun Sun
, David Sanán:
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic. Proc. ACM Program. Lang. 6(POPL): 1-27 (2022) - [j51]Yifan Jia
, Christopher M. Poskitt
, Jun Sun, Sudipta Chattopadhyay
:
Physical Adversarial Attack on a Robotic Arm. IEEE Robotics Autom. Lett. 7(4): 9334-9341 (2022) - [j50]Étienne André
, Didier Lime
, Dylan Marinho
, Jun Sun
:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31(4): 64:1-64:36 (2022) - [j49]Xiang Zhou
, Xin Peng
, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, Dan Ding:
Delta Debugging Microservice Systems with Parallel Optimization. IEEE Trans. Serv. Comput. 15(1): 16-29 (2022) - [j48]Chi Chen, Xin Peng, Zhenchang Xing, Jun Sun, Xin Wang, Yifan Zhao, Wenyun Zhao:
Holistic Combination of Structural and Textual Code Information for Context Based API Recommendation. IEEE Trans. Software Eng. 48(8): 2987-3009 (2022) - [j47]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) - [c221]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CAV (1) 2022: 171-192 - [c220]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 - [c219]Bing Sun
, Jun Sun, Long H. Pham, Tie Shi:
Causality-Based Neural Network Repair. ICSE 2022: 338-349 - [c218]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. ICSE 2022: 859-870 - [c217]Yang Sun
, Christopher M. Poskitt
, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE 2022: 62:1-62:12 - [c216]Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang
, Taolue Chen
, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE 2022: 82:1-82:13 - [c215]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE 2022: 1-12 - [c214]Mengdi Zhang
, Jun Sun:
Adaptive fairness improvement based on causality analysis. ESEC/SIGSOFT FSE 2022: 6-17 - [c213]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 - [d2]Étienne André
, Hoang Gia Nguyen
, Laure Petrucci
, Jun Sun
:
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption. Zenodo, 2022 - [i56]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) - [i55]Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng:
K-ST: A Formal Executable Semantics of PLC Structured Text Language. CoRR abs/2202.04076 (2022) - [i54]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. CoRR abs/2202.09868 (2022) - [i53]Bing Sun, Jun Sun, Hong Long Pham, Jie Shi:
Causality-based Neural Network Repair. CoRR abs/2204.09274 (2022) - [i52]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CoRR abs/2205.06992 (2022) - [i51]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR abs/2206.05438 (2022) - [i50]Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo:
CARBON: A Counterfactual Reasoning based Framework for Neural Code Comprehension Debiasing. CoRR abs/2207.11104 (2022) - [i49]Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun:
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination. CoRR abs/2208.11321 (2022) - [i48]Yang Sun
, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR abs/2208.14656 (2022) - [i47]Mengdi Zhang, Jun Sun:
Adaptive Fairness Improvement Based on Causality Analysis. CoRR abs/2209.07190 (2022) - [i46]Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin:
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. CoRR abs/2209.09327 (2022) - [i45]Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR abs/2212.02781 (2022) - [i44]Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen
, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR abs/2212.11138 (2022) - 2021
- [j46]Étienne André
, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Distributed parametric model checking timed automata under non-Zenoness assumption. Formal Methods Syst. Des. 59(1): 253-290 (2021) - [j45]Yifan Jia, Jingyi Wang, Christopher M. Poskitt
, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen:
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. Int. J. Crit. Infrastructure Prot. 34: 100452 (2021) - [j44]Fan Zhang
, Ziyuan Liang
, Cong Zuo
, Jun Shao
, Jianting Ning
, Jun Sun, Joseph K. Liu
, Yibao Bao:
hPRESS: A Hardware-Enhanced Proxy Re-Encryption Scheme Using Secure Enclave. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(6): 1144-1157 (2021) - [j43]Jingyi Wang
, Jun Sun, Shengchao Qin
, Cyrille Jégourel
:
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. IEEE Trans. Software Eng. 47(1): 189-203 (2021) - [j42]Xiang Zhou
, Xin Peng
, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, Dan Ding:
Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study. IEEE Trans. Software Eng. 47(2): 243-260 (2021) - [j41]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) - [c212]Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
:
Verification Assisted Gas Reduction for Smart Contracts. APSEC 2021: 264-274 - [c211]Richard Schumi, Jun Sun:
SpecTest: Specification-Based Compiler Testing. FASE 2021: 269-291 - [c210]Bing Sun
, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. FM 2021: 83-102 - [c209]Yun Tang
, Yuan Zhou, Fenghua Wu, Yang Liu
, Jun Sun, Wuling Huang, Gang Wang:
Route Coverage Testing for Autonomous Vehicles via Map Modeling. ICRA 2021: 11450-11456 - [c208]Jingyi Wang, Jialuo Chen
, Youcheng Sun
, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng:
RobOT: Robustness-Oriented Testing for Deep Learning Systems. ICSE 2021: 300-311 - [c207]Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang:
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. ISoLA 2021: 453-469 - [c206]Zhe Zhao
, Guangke Chen
, Jingyi Wang, Yiwei Yang
, Fu Song, Jun Sun
:
Attack as defense: characterizing adversarial examples using robustness. ISSTA 2021: 42-55 - [c205]Ziqi Shuai
, Zhenbang Chen, Yufeng Zhang, Jun Sun
, Ji Wang:
Type and interval aware array constraint solving for symbolic execution. ISSTA 2021: 361-373 - [c204]Yun Tang
, Yuan Zhou, Yang Liu
, Jun Sun, Gang Wang:
Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps. IV 2021: 179-185 - [c203]Shaohua Zhang, Shuang Liu, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, Jianye Hao:
FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning. ASE 2021: 555-567 - [c202]Yanzhou Mu, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen:
HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing. QRS 2021: 219-230 - [c201]Guoliang Dong, Jun Sun, Xingen Wang, Xinyu Wang, Ting Dai:
Towards Repairing Neural Networks Correctly. QRS 2021: 714-725 - [c200]Yuqi Chen, Christopher M. Poskitt
, Jun Sun
:
Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE 2021: 32-44 - [c199]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 - [c198]Tai D. Nguyen
, Long H. Pham, Jun Sun:
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. SP 2021: 1215-1229 - [c197]Pengfei Yang
, Renjue Li
, Jianlin Li
, Cheng-Chao Huang
, Jingyi Wang
, Jun Sun
, Bai Xue
, Lijun Zhang
:
Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) 2021: 389-408 - [c196]Bin Hu, Yijian Wu, Xin Peng, Jun Sun, Nanjie Zhan, Jun Wu:
Assessing Code Clone Harmfulness: Indicators, Factors, and Counter Measures. SANER 2021: 225-236 - [i43]Tai D. Nguyen, Long H. Pham, Jun Sun:
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. CoRR abs/2101.01917 (2021) - [i42]Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng:
RobOT: Robustness-Oriented Testing for Deep Learning Systems. CoRR abs/2102.05913 (2021) - [i41]Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun:
Attack as Defense: Characterizing Adversarial Examples using Robustness. CoRR abs/2103.07633 (2021) - [i40]Yifan Jia, Jingyi Wang, Christopher M. Poskitt
, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen:
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems. CoRR abs/2105.10707 (2021) - [i39]Yuqi Chen, Christopher M. Poskitt
, Jun Sun:
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR abs/2106.07851 (2021) - [i38]Xin Wang, Xin Peng, Jun Sun, Yifan Zhao, Chi Chen, Jinkai Fan:
A Topic Guided Pointer-Generator Model for Generating Natural Language Code Summaries. CoRR abs/2107.01642 (2021) - [i37]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) - [i36]Bing Sun
, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. CoRR abs/2107.08362 (2021) - [i35]Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang:
Fairness Testing of Deep Image Classification with Adequacy Metrics. CoRR abs/2111.08856 (2021) - [i34]Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao:
Machine Learning Guided Cross-Contract Fuzzing. CoRR abs/2111.12423 (2021) - [i33]Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Liyi Zhang, Peng Cheng:
Better Pay Attention Whilst Fuzzing. CoRR abs/2112.07143 (2021) - 2020
- [j40]É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) - [c195]Qingze Hum, Wei Jin Tan, Shi Ying Tey, Latasha Lenus, Ivan Homoliak, Yun Lin, Jun Sun:
CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies. Blockchain 2020: 17-25 - [c194]Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun:
Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) 2020: 304-326 - [c193]Tim Muller, Dongxia Wang, Jun Sun:
Provably Robust Decisions based on Potentially Malicious Sources of Information. CSF 2020: 411-424 - [c192]Jiao Jiao
, Shang-Wei Lin
, Jun Sun
:
A Generalized Formal Semantic Framework for Smart Contracts. FASE 2020: 75-96 - [c191]Xuan-Bach Le, David Sanán
, Jun Sun, Shang-Wei Lin:
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. ICECCS 2020: 43-52 - [c190]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 - [c189]Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen:
IFIX: Fixing Concurrency Bugs While They Are Introduced. ICECCS 2020: 155-164 - [c188]Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay:
Learning Fault Models of Cyber Physical Systems. ICFEM 2020: 147-162 - [c187]Tai D. Nguyen
, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh:
sFuzz: an efficient adaptive fuzzer for solidity smart contracts. ICSE 2020: 778-788 - [c186]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 - [c185]Hengbiao Yu, Zhenbang Chen, Xianjin Fu
, Ji Wang, Zhendong Su
, Jun Sun, Chun Huang, Wei Dong:
Symbolic verification of message passing interface programs. ICSE 2020: 1248-1260 - [c184]Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen:
What Makes Open Source Software Projects Impactful: A Data-Driven Approach. Internetware 2020: 126-135 - [c183]Jun Sun, Zijiang Yang:
ObjSim: efficient testing of cyber-physical systems. TAV-CPS/IoT@ISSTA 2020: 1-2 - [c182]Yuqi Chen, Bohan Xuan, Christopher M. Poskitt
, Jun Sun, Fan Zhang:
Active fuzzing for testing and securing cyber-physical systems. ISSTA 2020: 14-26 - [c181]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 - [c180]Yueling Zhang, Geguang Pu, Jun Sun:
Accelerating All-SAT Computation with Short Blocking Clauses. ASE 2020: 6-17 - [c179]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 - [c178]Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li:
Towards Generating Thread-Safe Classes Automatically. ASE 2020: 943-955 - [c177]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán
, Yang Liu
, Jun Sun:
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. SP 2020: 1695-1712 - [c176]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
Systematic Classification of Attackers via Bounded Model Checking. VMCAI 2020: 226-247 - [c175]Guanhua Li, Yijian Wu, Chanchal K. Roy, Jun Sun, Xin Peng, Nanjie Zhan, Bin Hu, Jingyi Ma:
SAGA: Efficient and Large-Scale Detection of Near-Miss Clones with GPU Acceleration. SANER 2020: 272-283 - [i32]É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) - [i31]Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh:
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. CoRR abs/2004.08563 (2020) - [i30]Yuqi Chen, Bohan Xuan, Christopher M. Poskitt
, Jun Sun, Fan Zhang:
Active Fuzzing for Testing and Securing Cyber-Physical Systems. CoRR abs/2005.14124 (2020) - [i29]Qingze Hum, Wei Jin Tan, Shi Ying Tey, Latasha Lenus, Ivan Homoliak, Yun Lin, Jun Sun:
CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies. CoRR abs/2006.10280 (2020) - [i28]Long H. Pham, Jiaying Li, Jun Sun:
SOCRATES: Towards a Unified Platform for Neural Network Verification. CoRR abs/2007.11206 (2020) - [i27]Chi Chen, Xin Peng, Zhenchang Xing, Jun Sun, Xin Wang, Yifan Zhao, Wenyun Zhao:
Holistic Combination of Structural and Textual Code Information for Context based API Recommendation. CoRR abs/2010.07514 (2020) - [i26]Pengfei Yang, Renjue Li, Jianlin Li
, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang:
Improving Neural Network Verification through Spurious Region Guided Refinement. CoRR abs/2010.07722 (2020) - [i25]Guoliang Dong, Jun Sun, Jingyi Wang, Xinyu Wang, Ting Dai:
Towards Repairing Neural Networks Correctly. CoRR abs/2012.01872 (2020)
2010 – 2019
- 2019
- [j39]Chi Chen, Xin Peng, Jun Sun, Zhenchang Xing, Xin Wang, Yifan Zhao, Hairui Zhang, Wenyun Zhao:
Generative API usage code recommendation with parameter concretization. Sci. China Inf. Sci. 62(9): 192103:1-192103:22 (2019) - [j38]Xin Peng, Zhenchang Xing, Jun Sun:
AI-boosted software automation: learning from human pair programmers. Sci. China Inf. Sci. 62(10): 200104:1-200104:3 (2019) - [j37]Flavio Toffalini, Jun Sun, Martín Ochoa
:
Practical static analysis of context leaks in Android applications. Softw. Pract. Exp. 49(2): 233-251 (2019) - [j36]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) - [c174]Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. APLAS 2019: 405-424 - [c173]Étienne André
, Jun Sun
:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130 - [c172]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA 2019: 209-227 - [c171]Flavio Toffalini, Martín Ochoa, Jun Sun, Jianying Zhou
:
Careful-Packing: A Practical and Scalable Anti-Tampering Software Protection enforced by Trusted Computing. CODASPY 2019: 231-242 - [c170]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. FM 2019: 442-461 - [c169]Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao
:
Adaptive Randomized Scheduling for Concurrency Bug Detection. ICECCS 2019: 124-133 - [c168]Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. ICFEM 2019: 286-304 - [c167]Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang:
Adversarial sample detection for deep neural network through model mutation testing. ICSE 2019: 1245-1256 - [c166]Zan Wang, Yingquan Zhao
, Shuang Liu, Jun Sun, Xiang Chen, Huarui Lin:
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. ASE 2019: 722-734 - [c165]Yuqi Chen, Christopher M. Poskitt
, Jun Sun, Sridhar Adepu, Fan Zhang:
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. ASE 2019: 962-973 - [c164]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, Chuan He:
Latent error prediction and fault localization for microservice applications by learning from system trace logs. ESEC/SIGSOFT FSE 2019: 683-694 - [e4]Nan Guan, Joost-Pieter Katoen, Jun Sun:
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Lecture Notes in Computer Science 11951, Springer 2019, ISBN 978-3-030-35539-5 [contents] - [d1]Étienne André
, Jun Sun
:
Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity". Zenodo, 2019 - [i24]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR abs/1907.00537 (2019) - [i23]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. CoRR abs/1907.05637 (2019) - [i22]Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning. CoRR abs/1908.10051 (2019) - [i21]Yuqi Chen, Christopher M. Poskitt
, Jun Sun, Sridhar Adepu, Fan Zhang:
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. CoRR abs/1909.05410 (2019) - [i20]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) - [i19]Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, Jiaguang Sun:
GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. CoRR abs/1910.02945 (2019) - [i18]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
Systematic Classification of Attackers via Bounded Model Checking. CoRR abs/1911.05808 (2019) - [i17]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
- [j35]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) - [j34]Hui Tian
, Jun Sun, Chin-Chen Chang
, Yongfeng Huang
, Yonghong Chen
:
Detecting Bitrate Modulation-Based Covert Voice-Over-IP Communication. IEEE Commun. Lett. 22(6): 1196-1199 (2018) - [j33]Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Int. J. Softw. Tools Technol. Transf. 20(6): 689-704 (2018) - [j32]Jianye Hao, Jun Sun
, Guangyong Chen, Zan Wang, Chao Yu, Zhong Ming:
Efficient and Robust Emergence of Norms through Heuristic Collective Learning. ACM Trans. Auton. Adapt. Syst. 12(4): 23:1-23:20 (2018) - [j31]Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun
, Yijun Yu
, Bashar Nuseibeh
, Wenyun Zhao:
CrowdService: Optimizing Mobile Crowdsourcing and Service Composition. ACM Trans. Internet Techn. 18(2): 19:1-19:25 (2018) - [j30]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) - [j29]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) - [j28]Jianye Hao
, Eunsuk Kang, Jun Sun, Zan Wang
, Zhaopeng Meng, Xiaohong Li
, Zhong Ming:
An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers. IEEE Trans. Smart Grid 9(4): 2398-2408 (2018) - [c163]Cyrille Jégourel, Jingyi Wang, Jun Sun:
Importance Sampling of Interval Markov Chains. DSN 2018: 303-313 - [c162]Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin
, Zhiwu Xu:
Towards 'Verifying' a Water Treatment System. FM 2018: 73-92 - [c161]Fuyuan Zhang, Yongwang Zhao, David Sanán
, Yang Liu
, Alwen Tiu, Shang-Wei Lin
, Jun Sun:
Compositional Reasoning for Shared-Variable Concurrent Programs. FM 2018: 523-541 - [c160]Teck Ping Khoo, Jun Sun:
The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. ICFEM 2018: 54-69 - [c159]Flavio Toffalini, Jun Sun, Martín Ochoa:
Static analysis of context leaks in android applications. ICSE (SEIP) 2018: 215-224 - [c158]Long H. Pham, Quang Loc Le, Quoc-Sang Phan
, Jun Sun, Shengchao Qin
:
Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) 2018: 268-269 - [c157]Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin:
Towards optimal concolic testing. ICSE 2018: 291-302 - [c156]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao:
Benchmarking microservice systems for software engineering research. ICSE (Companion Volume) 2018: 323-324 - [c155]Xiangce Meng, Zhaojun Yang, Jun Sun:
Understanding Influential Factors in Selecting Sustainable Third-party Logistics Providers: An Interpretive Structural Modeling and MICMAC Analysis. IEEM 2018: 864-868 - [c154]Zheng Wu, Zhaojun Yang, Jun Sun, Yu Zou:
Alignment Between Enterprise Green Supply Chain and Green Information System: An Analysis of Four Cases. IEEM 2018: 904-908 - [c153]Cyrille Jégourel, Jun Sun, Jin Song Dong:
On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) 2018: 287-304 - [c152]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 - [c151]Huarui Lin, Zan Wang, Shuang Liu
, Jun Sun, Dongdi Zhang, Guangning Wei:
PFix: fixing concurrency bugs based on memory access patterns. ASE 2018: 589-600 - [c150]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, Dan Ding:
Delta debugging microservice systems. ASE 2018: 802-807 - [c149]Yuqi Chen, Christopher M. Poskitt
, Jun Sun:
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. IEEE Symposium on Security and Privacy 2018: 648-660 - [c148]Quang Loc Le
, Jun Sun
, Shengchao Qin
:
Frame Inference for Inductive Entailment Proofs in Separation Logic. TACAS (1) 2018: 41-60 - [i16]Yuqi Chen, Christopher M. Poskitt
, Jun Sun:
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. CoRR abs/1801.00903 (2018) - [i15]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun:
Executable Operational Semantics of Solidity. CoRR abs/1804.01295 (2018) - [i14]Jingyi Wang, Jun Sun, Peixin Zhang, Xinyu Wang:
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing. CoRR abs/1805.05010 (2018) - [i13]Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. CoRR abs/1808.00624 (2018) - [i12]Eric Rothstein Morris, Jun Sun:
Quantifying Attacker Capability Via Model Checking Multiple Properties (Extended Version). CoRR abs/1811.10400 (2018) - [i11]Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang:
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing. CoRR abs/1812.05793 (2018) - 2017
- [j27]Hui Tian
, Jun Sun, Chin-Chen Chang, Jie Qin, Yonghong Chen:
Hiding Information Into Voice-Over-IP Streams Using Adaptive Bitrate Modulation. IEEE Commun. Lett. 21(4): 749-752 (2017) - [j26]Hui Tian
, Jun Sun
, Yongfeng Huang, Tian Wang
, Yonghong Chen, Yiqiao Cai:
Detecting Steganography of Adaptive Multirate Speech with Unknown Embedding Rate. Mob. Inf. Syst. 2017: 5418978:1-5418978:18 (2017) - [j25]Yinxing Xue, Guozhu Meng
, Yang Liu
, Tian Huat Tan, Hongxu Chen, Jun Sun
, Jie Zhang:
Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. IEEE Trans. Inf. Forensics Secur. 12(7): 1529-1544 (2017) - [j24]Liang He
, Guozhu Meng, Yu Gu, Cong Liu, Jun Sun
, Ting Zhu, Yang Liu
, Kang G. Shin:
Battery-Aware Mobile Data Service. IEEE Trans. Mob. Comput. 16(6): 1544-1558 (2017) - [j23]Xinyu Wang, Jun Sun
, Ting Wang
, Shengchao Qin
:
Language Inclusion Checking of Timed Automata with Non-Zenoness. IEEE Trans. Software Eng. 43(11): 995-1008 (2017) - [c147]Quang Loc Le, Makoto Tatsuta, Jun Sun
, Wei-Ngan Chin:
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. CAV (2) 2017: 495-517 - [c146]Jingyi Wang, Jun Sun
, Qixia Yuan, Jun Pang:
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. FASE 2017: 3-21 - [c145]Jun Inoue, Yoriyuki Yamagata
, Yuqi Chen, Christopher M. Poskitt
, Jun Sun
:
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. ICDM Workshops 2017: 1058-1065 - [c144]Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng:
Learning Likely Invariants to Explain Why a Program Fails. ICECCS 2017: 70-79 - [c143]Long H. Pham, Lyly Tran Thi, Jun Sun
:
Assertion Generation Through Active Learning. ICFEM 2017: 174-191 - [c142]Jiaying Li, Jun Sun
, Bo Gao, Étienne André:
Classification-Based Parameter Synthesis for Parametric Timed Automata. ICFEM 2017: 243-261 - [c141]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 - [c140]Jingyi Wang, Xiaohong Chen, Jun Sun
, Shengchao Qin:
Improving Probability Estimation Through Active Probabilistic Model Learning. ICFEM 2017: 379-395 - [c139]Long H. Pham, Lyly Tran Thi, Jun Sun
:
Assertion generation through active learning. ICSE (Companion Volume) 2017: 155-157 - [c138]Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun:
JSFox: integrating static and dynamic type analysis of JavaScript programs. ICSE (Companion Volume) 2017: 256-258 - [c137]Yun Lin, Jun Sun
, Yinxing Xue, Yang Liu
, Jin Song Dong:
Feedback-based debugging. ICSE 2017: 393-403 - [c136]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 - [c135]Wenyi Qian, Xin Peng, Jun Sun
, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao:
O2O service composition with social collaboration. ASE 2017: 451-461 - [c134]Jiaying Li, Jun Sun
, Li Li, Quang Loc Le, Shang-Wei Lin
:
Automatic loop-invariant generation and refinement through selective sampling. ASE 2017: 782-792 - [c133]Shang-Wei Lin
, Jun Sun
, Hao Xiao, Yang Liu
, David Sanán
, Henri Hansen
:
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. ASE 2017: 793-803 - [c132]Étienne André
, Hoang Gia Nguyen, Laure Petrucci
, Jun Sun
:
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NFM 2017: 35-51 - [c131]Cyrille Jégourel, Jun Sun
, Jin Song Dong:
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. QEST 2017: 333-350 - [i10]Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt
, Jun Sun:
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. CoRR abs/1709.05342 (2017) - [i9]Jingyi Wang, Jun Sun, Yifan Jia:
Toward 'verifying' a Water Treatment System. CoRR abs/1712.04155 (2017) - 2016
- [j22]Yinxing Xue
, Jinghui Zhong, Tian Huat Tan, Yang Liu
, Wentong Cai
, Manman Chen, Jun Sun:
IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Appl. Soft Comput. 49: 1215-1231 (2016) - [j21]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) - [j20]Songzheng Song, Jianye Hao, Yang Liu
, Jun Sun
, Ho-fung Leung, Jie Zhang:
Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. IEEE Trans. Hum. Mach. Syst. 46(2): 197-208 (2016) - [c130]Quang Loc Le, Jun Sun
, Wei-Ngan Chin:
Satisfiability Modulo Heap-Based Programs. CAV (1) 2016: 382-404 - [c129]Yuqi Chen, Christopher M. Poskitt
, Jun Sun
:
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. FM 2016: 155-163 - [c128]Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun
, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems. FM 2016: 460-478 - [c127]Li Li, Jun Sun
, Jin Song Dong:
Automated Verification of Timed Security Protocols with Clock Drift. FM 2016: 513-530 - [c126]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 - [c125]Shuang Liu
, Guangdong Bai, Jun Sun, Jin Song Dong:
Towards Using Concurrent Java API Correctly. ICECCS 2016: 219-222 - [c124]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 - [c123]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 - [c122]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 - [c121]Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun
, Yijun Yu
, Bashar Nuseibeh
, Wenyun Zhao:
CrowdService: serving the individuals through mobile crowdsourcing and service composition. ASE 2016: 214-219 - [c120]Jianye Hao, Eunsuk Kang, Jun Sun
, Daniel Jackson:
Designing minimal effective normative systems with the help of lightweight formal methods. SIGSOFT FSE 2016: 50-60 - [c119]Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
:
Regular Symmetry Patterns. VMCAI 2016: 455-475 - [e3]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] - [i8]Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. CoRR abs/1605.08278 (2016) - [i7]Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems. CoRR abs/1608.08754 (2016) - [i6]Yuqi Chen, Christopher M. Poskitt
, Jun Sun:
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. CoRR abs/1609.01491 (2016) - [i5]Jingyi Wang, Jun Sun, Shengchao Qin:
Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement. CoRR abs/1610.06371 (2016) - [i4]Jun Sun, Long H. Pham, Lyly Tran Thi, Jingyi Wang, Xin Peng:
Learning Likely Invariants to Explain Why a Program Fails. CoRR abs/1610.08607 (2016) - [i3]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun:
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR abs/1611.00574 (2016) - 2015
- [j19]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) - [c118]Jianye Hao, Jun Sun, Dongping Huang, Yi Cai, Chao Yu:
Heuristic Collective Learning for Efficient and Robust Emergence of Social Norms. AAMAS 2015: 1647-1648 - [c117]Li Li, Jun Sun
, Yang Liu
, Jin Song Dong:
Verifying Parameterized Timed Security Protocols. FM 2015: 342-359 - [c116]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 - [c115]Zhimin Wu, Yang Liu
, Jun Sun
, Jianqi Shi, Shengchao Qin
:
GPU Accelerated On-the-Fly Reachability Checking. ICECCS 2015: 100-109 - [c114]Jianye Hao, Yinxing Xue, Mahinthan Chandramohan, Yang Liu
, Jun Sun
:
An Adaptive Markov Strategy for Effective Network Intrusion Detection. ICTAI 2015: 1085-1092 - [c113]Yinxing Xue, Junjie Wang, Yang Liu
, Hao Xiao, Jun Sun
, Mahinthan Chandramohan:
Detection and classification of malicious JavaScript via attack behavior modelling. ISSTA 2015: 48-59 - [c112]Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun
, Yang Liu
, Jin Song Dong:
Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA 2015: 246-256 - [c111]Lin Gui, Jun Sun
, Yang Liu
, Jin Song Dong:
Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA 2015: 293-304 - [c110]Shang-Wei Lin
, Jun Sun
, Truong Khanh Nguyen, Yang Liu
, Jin Song Dong:
Interpolation Guided Compositional Verification (T). ASE 2015: 65-74 - [c109]Songzheng Song, Yang Liu
, Mikhail Auguston, Jun Sun
, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). MoDELS 2015: 449 - [c108]Jun Sun
, Hao Xiao, Yang Liu
, Shang-Wei Lin
, Shengchao Qin
:
TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE 2015: 698-709 - [c107]Jin Song Dong, Jun Sun
, Yang Liu
, Yuan-Fang Li
, Jing Sun
, Ling Shi:
Event and Strategy Analytics. TASE 2015: 4-6 - [i2]Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun:
Regular Symmetry Patterns (Technical Report). CoRR abs/1510.08506 (2015) - 2014
- [j18]Jin Song Dong, Yang Liu
, Jun Sun
, Xian Zhang:
Towards verification of computation orchestration. Formal Aspects Comput. 26(4): 729-759 (2014) - [j17]Yuanjie Si, Jun Sun
, Yang Liu
, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang:
Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. 8(1): 1-16 (2014) - [j16]Yi Li
, Jin Song Dong, Jing Sun
, Yang Liu
, Jun Sun
:
Model checking approach to automated planning. Formal Methods Syst. Des. 44(2): 176-202 (2014) - [j15]Guan Jun Liu, Jun Sun
, Yang Liu
, Jin Song Dong:
Complexity of the Soundness Problem of Workflow Nets. Fundam. Informaticae 131(1): 81-101 (2014) - [j14]Étienne André
, Yang Liu
, Jun Sun
, Jin Song Dong:
Parameter synthesis for hierarchical concurrent real-time systems. Real Time Syst. 50(5-6): 620-679 (2014) - [j13]Yan Liu, Xian Zhang, Yang Liu
, Jin Song Dong, Jun Sun
, Jit Biswas, Mounir Mokhtari:
Towards Formal Modelling and Verification of Pervasive Computing Systems. Trans. Comput. Collect. Intell. 16: 62-91 (2014) - [j12]Shang-Wei Lin
, Étienne André
, Yang Liu
, Jun Sun
, Jin Song Dong:
Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. 40(2): 137-153 (2014) - [c106]Songzheng Song, Yang Liu, Jie Zhang, Jun Sun:
An extensive model checking framework for multi-agent systems. AAMAS 2014: 1645-1646 - [c105]Yongxin Zhao, Jin Song Dong, Yang Liu
, Jun Sun
:
Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software 2014: 151-170 - [c104]Henri Hansen
, Shang-Wei Lin
, Yang Liu
, Truong Khanh Nguyen, Jun Sun
:
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV 2014: 391-406 - [c103]Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun
:
Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS 2014: 23-30 - [c102]Li Li, Jun Pang, Yang Liu
, Jun Sun
, Jin Song Dong:
Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS 2014: 11-18 - [c101]Xiaohong Chen
, Jun Sun, Meng Sun:
A Hybrid Model of Connectors in Cyber-Physical Systems. ICFEM 2014: 59-74 - [c100]Lin Gui, Jun Sun, Songzheng Song, Yang Liu
, Jin Song Dong:
SCC-Based Improved Reachability Analysis for Markov Decision Processes. ICFEM 2014: 171-186 - [c99]Li Li, Hong Hu, Jun Sun, Yang Liu
, Jin Song Dong:
Practical Analysis Framework for Software-Based Attestation Scheme. ICFEM 2014: 284-299 - [c98]Li Li, Jun Sun, Yang Liu
, Jin Song Dong:
TAuth: Verifying Timed Security Protocols. ICFEM 2014: 300-315 - [c97]Zhimin Wu, Yang Liu
, Yun Liang, Jun Sun:
GPU Accelerated Counterexample Generation in LTL Model Checking. ICFEM 2014: 413-429 - [c96]Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu
, Xin Peng, Jun Sun
, Wenyun Zhao:
Detecting differences across multiple instances of code clones. ICSE 2014: 164-174 - [c95]Manman Chen, Tian Huat Tan, Jun Sun
, Yang Liu
, Jin Song Dong:
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. ICSE Companion 2014: 564-567 - [c94]Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu
, Jun Sun
, Wenyun Zhao, Jin Song Dong:
Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. ICSME 2014: 341-350 - [c93]Jin Song Dong, Jun Sun, Yang Liu
, Yuan-Fang Li
:
Event Analytics. ICTAC 2014: 17-24 - [c92]Shuang Liu, Jun Sun
, Yang Liu
, Yue Zhang, Bimlesh Wadhwa
, Jin Song Dong, Xinyu Wang:
Automatic early defects detection in use case documents. ASE 2014: 785-790 - [c91]Lin Gui, Jun Sun, Yang Liu
, Truong Khanh Nguyen, Jin Song Dong:
RaPiD: a toolkit for reliability analysis of non-deterministic systems. SIGSOFT FSE 2014: 727-730 - [c90]Ting Wang, Jun Sun
, Yang Liu
, Xinyu Wang, Shanping Li:
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. TACAS 2014: 310-325 - [c89]Tian Huat Tan, Manman Chen, Étienne André
, Jun Sun
, Yang Liu
, Jin Song Dong:
Automated runtime recovery for QoS-based service composition. WWW 2014: 563-574 - [e2]Cliff B. Jones, Pekka Pihlajasaari, Jun Sun:
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science 8442, Springer 2014, ISBN 978-3-319-06409-3 [contents] - [i1]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Stateful Security Protocol Verification. CoRR abs/1403.2237 (2014) - 2013
- [j11]Jun Sun
, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi
, Étienne André
:
Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3:1-3:29 (2013) - [j10]Yang Liu
, Wei Chen
, Yanhong A. Liu, Jun Sun
, Shao Jie Zhang, Jin Song Dong:
Verifying Linearizability via Optimized Refinement Checking. IEEE Trans. Software Eng. 39(7): 1018-1039 (2013) - [c88]Xuan-Linh Ha, Thanh Tho Quan, Yang Liu
, Jun Sun
:
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. APSEC (1) 2013: 547-552 - [c87]Kun Ji, Yang Liu
, Shang-Wei Lin
, Jun Sun
, Jin Song Dong, Truong Khanh Nguyen:
CELL: A Compositional Verification Framework. ATVA 2013: 474-477 - [c86]Étienne André
, Yang Liu
, Jun Sun
, Jin Song Dong, Shang-Wei Lin
:
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV 2013: 984-989 - [c85]Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu
, Jun Sun
:
TTM/PAT: Specifying and Verifying Timed Transition Models. FTSCS 2013: 107-124 - [c84]Yuanjie Si, Jun Sun
, Yang Liu
, Ting Wang:
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. ICFEM 2013: 182-198 - [c83]Ling Shi, Yongxin Zhao, Yang Liu
, Jun Sun
, Jin Song Dong, Shengchao Qin
:
A UTP Semantics for Communicating Processes with Shared Variables. ICFEM 2013: 215-230 - [c82]Manman Chen, Tian Huat Tan, Jun Sun
, Yang Liu
, Jun Pang, Xiaohong Li:
Verification of Functional and Non-functional Requirements of Web Service Composition. ICFEM 2013: 313-328 - [c81]Jianan Hao, Yang Liu
, Wentong Cai
, Guangdong Bai, Jun Sun
:
vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. ICFEM 2013: 329-346 - [c80]Tian Huat Tan, Étienne André
, Jun Sun
, Yang Liu
, Jin Song Dong, Manman Chen:
Dynamic synthesis of local time requirement for service composition. ICSE 2013: 542-551 - [c79]Jin Song Dong, Jun Sun
, Yang Liu
:
Build your own model checker in one month. ICSE 2013: 1481-1483 - [c78]Songzheng Song, Lin Gui, Jun Sun
, Yang Liu
, Jin Song Dong:
Improved Reachability Analysis in DTMC via Divide and Conquer. IFM 2013: 162-176 - [c77]Shuang Liu, Yang Liu
, Étienne André
, Christine Choppy, Jun Sun
, Bimlesh Wadhwa
, Jin Song Dong:
A Formal Semantics for Complete UML State Machines with Communications. IFM 2013: 331-346 - [c76]Lin Gui, Jun Sun
, Yang Liu
, Yuanjie Si, Jin Song Dong, Xinyu Wang:
Combining model checking and testing with an application to reliability prediction and distribution. ISSTA 2013: 101-111 - [c75]Shao Jie Zhang, Jun Sun
, Chengnian Sun, Yang Liu
, Junwei Ma, Jin Song Dong:
Constraint-based automatic symmetry detection. ASE 2013: 15-25 - [c74]Yongzheng Wu, Jun Sun
, Yang Liu
, Jin Song Dong:
Automatically partition software into least privilege components using dynamic data dependency analysis. ASE 2013: 323-333 - [c73]Hao Xiao, Jun Sun
, Yang Liu
, Shang-Wei Lin
, Chengnian Sun:
TzuYu: Learning stateful typestates. ASE 2013: 432-442 - [c72]Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong:
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. NDSS 2013 - [c71]Jung-Hyun Jun, Yu Gu, Long Cheng, Banghui Lu, Jun Sun
, Ting Zhu, Jianwei Niu:
Social-Loc: improving indoor localization with social sensing. SenSys 2013: 14:1-14:14 - [c70]G. Satya Reddy, Yuzhang Feng, Yang Liu
, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai:
Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. SERVICES 2013: 306-311 - [c69]Shuang Liu, Yang Liu
, Jun Sun
, Manchun Zheng, Bimlesh Wadhwa
, Jin Song Dong:
USMMC: a self-contained model checker for UML state machines. ESEC/SIGSOFT FSE 2013: 623-626 - [c68]Manchun Zheng, David Sanán
, Jun Sun
, Yang Liu
, Jin Song Dong, Yu Gu:
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. VMCAI 2013: 515-535 - [e1]Christine Choppy, Jun Sun:
1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. OASIcs 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-56-9 [contents] - 2012
- [j9]Anh Tuan Luu, Jun Sun
, Yang Liu
, Jin Song Dong, Xiaohong Li, Thanh Tho Quan:
SeVe: automatic tool for verification of security protocols. Frontiers Comput. Sci. China 6(1): 57-75 (2012) - [j8]Chunqing Chen, Jun Sun
, Yang Liu
, Jin Song Dong, Manchun Zheng:
Formal modeling and validation of Stateflow diagrams. Int. J. Softw. Tools Technol. Transf. 14(6): 653-671 (2012) - [c67]Guan Jun Liu, Jun Sun
, Yang Liu
, Jin Song Dong:
Complexity of the Soundness Problem of Bounded Workflow Nets. Petri Nets 2012: 92-107 - [c66]Jiexin Zhang, Yang Liu
, Mikhail Auguston, Jun Sun
, Jin Song Dong:
Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC 2012: 644-653 - [c65]Songzheng Song, Jun Sun
, Yang Liu
, Jin Song Dong:
A Model Checker for Hierarchical Probabilistic Real-Time Systems. CAV 2012: 705-711 - [c64]Shang-Wei Lin
, Yang Liu
, Jun Sun
, Jin Song Dong, Étienne André
:
Automatic Compositional Verification of Timed Systems. FM 2012: 272-276 - [c63]Truong Khanh Nguyen, Jun Sun
, Yang Liu
, Jin Song Dong, Yan Liu:
Improved BDD-Based Discrete Analysis of Timed Systems. FM 2012: 326-340 - [c62]Jiexin Zhang, Yang Liu
, Jing Sun
, Jin Song Dong, Jun Sun
:
Model Checking Software Architecture Design. HASE 2012: 193-200 - [c61]Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu
, Jun Sun
, Jit Biswas, Mounir Mokhtari:
Formal Analysis of Pervasive Computing Systems. ICECCS 2012: 169-178 - [c60]Yi Li
, Jing Sun
, Jin Song Dong, Yang Liu
, Jun Sun
:
Translating PDDL into CSP# - The PAT Approach. ICECCS 2012: 240-249 - [c59]Étienne André
, Yang Liu
, Jun Sun
, Jin Song Dong:
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. ICECCS 2012: 253-262 - [c58]Shang-Wei Lin
, Yang Liu
, Pao-Ann Hsiung, Jun Sun
, Jin Song Dong:
Automatic Generation of Provably Correct Embedded Systems. ICFEM 2012: 214-229 - [c57]Ting Wang, Songzheng Song, Jun Sun
, Yang Liu
, Jin Song Dong, Xinyu Wang, Shanping Li:
More Anti-chain Based Refinement Checking. ICFEM 2012: 364-380 - [c56]Ling Shi, Yang Liu
, Jun Sun
, Jin Song Dong, Gustavo Carvalho:
An Analytical and Experimental Comparison of CSP Extensions and Tools. ICFEM 2012: 381-397 - [c55]Truong Khanh Nguyen, Jun Sun
, Yang Liu
, Jin Song Dong:
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. ICFEM 2012: 398-413 - [c54]Songzheng Song, Jianye Hao, Yang Liu
, Jun Sun
, Ho-fung Leung
, Jin Song Dong:
Analyzing multi-agent systems with probabilistic model checking approach. ICSE 2012: 1337-1340 - [c53]Jianye Hao, Songzheng Song, Yang Liu
, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung:
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA 2012: 16-30 - [c52]Jung-Hyun Jun, Long Cheng, Jun Sun
, Yu Gu, Ting Zhu, Tian He:
Improving indoor localization with social interactions. SenSys 2012: 323-324 - [c51]Yi Li
, Jing Sun
, Jin Song Dong, Yang Liu
, Jun Sun
:
Planning as Model Checking Tasks. SEW 2012: 177-186 - [r1]Jun Sun, Yang Liu, Jin Song Dong:
Timed Automata. Handbook of Finite State Based Models and Applications 2012: 87-111 - 2011
- [c50]Shang-Wei Lin
, Étienne André
, Jin Song Dong, Jun Sun
, Yang Liu
:
An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472 - [c49]Shao Jie Zhang, Jun Sun
, Jun Pang, Yang Liu
, Jin Song Dong:
On Combining State Space Reductions with Global Fairness Assumptions. FM 2011: 432-447 - [c48]Tian Huat Tan, Yang Liu
, Jun Sun
, Jin Song Dong:
Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM 2011: 98-114 - [c47]Jun Sun
, Yang Liu
, Songzheng Song, Jin Song Dong, Xiaohong Li:
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM 2011: 147-162 - [c46]Manchun Zheng, Jun Sun
, Yang Liu
, Jin Song Dong, Yu Gu:
Towards a Model Checker for NesC and Wireless Sensor Networks. ICFEM 2011: 372-387 - [c45]Zhenchang Xing, Jun Sun
, Yang Liu
, Jin Song Dong:
Differencing Labeled Transition Systems. ICFEM 2011: 537-552 - [c44]Yang Liu
, Jun Sun
, Jin Song Dong:
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. ISSRE 2011: 190-199 - [c43]Truong Khanh Nguyen, Jun Sun
, Yang Liu
, Jin Song Dong:
A model checking framework for hierarchical systems. ASE 2011: 633-636 - [c42]Manchun Zheng, Jun Sun
, David Sanán
, Yang Liu
, Jin Song Dong, Yu Gu:
Towards bug-free implementation for wireless sensor networks. SenSys 2011: 407-408 - 2010
- [j7]Chunqing Chen, Jin Song Dong, Jun Sun
, Andrew P. Martin
:
A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. 19(4): 13:1-13:36 (2010) - [c41]Jun Sun
, Yang Liu
, Jin Song Dong, Geguang Pu, Tian Huat Tan:
Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC 2010: 166-175 - [c40]Yang Liu
, Jun Sun
, Jin Song Dong:
Developing Model Checkers Using PAT. ATVA 2010: 371-377 - [c39]Jun Sun
, Songzheng Song, Yang Liu
:
Model Checking Hierarchical Probabilistic Systems. ICFEM 2010: 388-403 - [c38]Jun Sun
, Yang Liu
, Bin Cheng:
Model Checking a Model Checker: A Code Contract Combined Approach. ICFEM 2010: 518-533 - [c37]Zhenchang Xing, Jun Sun
, Yang Liu
, Jin Song Dong:
SpecDiff: debugging formal specifications. ASE 2010: 353-354 - [c36]Yang Liu
, Jun Sun
, Jin Song Dong:
Analyzing hierarchical complex real-time systems. SIGSOFT FSE 2010: 365-366
2000 – 2009
- 2009
- [j6]Chunqing Chen, Jin Song Dong, Jun Sun
:
A formal framework for modeling and validating Simulink diagrams. Formal Aspects Comput. 21(5): 451-483 (2009) - [c35]Jun Sun
, Yang Liu
, Jin Song Dong, Jun Pang:
PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714 - [c34]Jun Sun
, Yang Liu
, Abhik Roychoudhury
, Shanshan Liu, Jin Song Dong:
Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139 - [c33]Yang Liu
, Wei Chen
, Yanhong A. Liu, Jun Sun
:
Model Checking Linearizability via Refinement. FM 2009: 321-337 - [c32]Yang Liu
, Jun Sun
, Jin Song Dong:
Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM 2009: 426-445 - [c31]Jun Sun
, Yang Liu
, Jin Song Dong, Xian Zhang:
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM 2009: 581-600 - [c30]Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu:
Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411 - [c29]Jin Song Dong, Jun Sun
:
Towards Expressive Specification and Efficient Model Checking. TASE 2009: 9 - [c28]Yang Liu
, Jun Pang, Jun Sun
, Jianhua Zhao:
Verification of Population Ring Protocols in PAT. TASE 2009: 81-89 - [c27]Jun Sun
, Yang Liu
, Jin Song Dong, Chunqing Chen:
Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135 - 2008
- [j5]Jun Sun
, Yang Liu
, Jin Song Dong, Jing Sun
:
Compositional encoding for bounded model checking. Frontiers Comput. Sci. China 2(4): 368-379 (2008) - [j4]Jin Song Dong, Ping Hao, Shengchao Qin
, Jun Sun
, Wang Yi:
Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008) - [c26]Jun Sun, Punit Ahluwalia:
How Users Respond to Authentication Methods: A Study of Security Readiness. AMCIS 2008: 44 - [c25]Stephen Wong, Jing Sun
, Ian Warren, Jun Sun
:
A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS 2008: 25-34 - [c24]Hai H. Wang, Nick Gibbins, Terry R. Payne
, Ahmed Saleh, Jun Sun
:
A Formal Model of Semantic Web Service Ontology (WSMO) Execution. ICECCS 2008: 111-120 - [c23]Jun Sun, Yang Liu
, Jin Song Dong, Hai H. Wang
:
Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24 - [c22]Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang:
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM 2008: 318-337 - [c21]Chunqing Chen, Jin Song Dong, Jun Sun
:
A verification system for timed interval calculus. ICSE 2008: 271-280 - [c20]Yang Liu
, Jun Sun
, Jin Song Dong:
An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920 - [c19]Jun Sun, Yang Liu
, Jin Song Dong:
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322 - [c18]Jun Sun
, Yang Liu
, Jin Song Dong, Jing Sun
:
Bounded Model Checking of Compositional Processes. TASE 2008: 23-30 - 2007
- [c17]Hai H. Wang, Nick Gibbins, Terry R. Payne
, Ahmed Saleh, Jun Sun
:
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). ICECCS 2007: 74-86 - [c16]Chunqing Chen, Jin Song Dong, Jun Sun:
Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115 - [c15]Hai H. Wang, Shengchao Qin
, Jun Sun
, Jin Song Dong:
Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388 - 2006
- [j3]Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun:
Reasoning About ORA-SS Data Models Using the Semantic Web. J. Data Semant.: 219-241 (2006) - [j2]Hai H. Wang, Jin Song Dong, Jing Sun
, Jun Sun
:
Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent Grid Syst. 2(4): 455-471 (2006) - [j1]Jun Sun
, Jin Song Dong:
Design Synthesis from Interaction and State-Based Specifications. IEEE Trans. Software Eng. 32(6): 349-364 (2006) - [c14]Jin Song Dong, Yang Liu
, Jun Sun, Xian Zhang:
Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245 - [c13]Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang:
A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359 - [c12]Jin Song Dong, Yuzhang Feng, Jing Sun
, Jun Sun
:
Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340 - [c11]Yuan-Fang Li
, Jing Sun
, Gillian Dobbie, Jun Sun
, Hai H. Wang:
Validating Semistructured Data Using OWL. WAIM 2006: 520-531 - 2005
- [c10]Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
, Jun Sun
:
A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472 - [c9]Jun Sun, Jin Song Dong:
Synthesis of Distributed Processes from Scenario-Based Specifications. FM 2005: 415-431 - [c8]Jun Sun, Jin Song Dong:
Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS 2005: 96-105 - [c7]Jun Sun, Jin Song Dong:
Model Checking Live Sequence Charts. ICECCS 2005: 529-538 - [c6]Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun:
Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449 - [c5]Yang Liu
, Jun Sun
:
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. WLFM@FM 2005: 107-124 - 2004
- [c4]Jin Song Dong, Ping Hao, Shengchao Qin
, Jun Sun, Wang Yi:
Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498 - [c3]Jin Song Dong, Shengchao Qin
, Jun Sun:
Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186 - 2003
- [c2]Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee:
Analysing Web Ontology in Alloy: A Military Case Study. SEKE 2003: 542-546 - 2002
- [c1]Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang:
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM 2002: 311-322
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint