Cong Tian - RankMe

201 papers A* 15A 4B 1C 24Misc 14Journal 96Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition. AAAI Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2025	J	`jnl`	AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models. CoRR Hengrui Xing, Cong Tian, Liang Zhao, Zhi Ma, Wensheng Wang, Nan Zhang, Chao Huang, Zhenhua Duan
2025	A*	`conf`	Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs. ASE Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang
2025	J	`jnl`	Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs. CoRR Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang
2025	—	`conf`	CoopKG: An Academic Knowledge Graph for Question Answering Systems. DASFAA (2) Muyuan Niu, Cong Tian
2025	J	`jnl`	DynaEDI+: Reliable and Decentralized Integrity Verification for Dynamic Edge Data. IEEE Trans. Serv. Comput. Jiyu Yang, Qiang He, Guobiao Zhang, Feifei Chen, Cong Tian, Yun Yang
2025	A*	`conf`	EdgeThemis: Ensuring Model Integrity for Edge Intelligence. WWW Jiyu Yang, Qiang He, Zheyu Zhou, Xiaohai Dai, Feifei Chen, Cong Tian, Yun Yang
2025	J	`jnl`	Enhancing the Effectiveness and Durability of Backdoor Attacks in Federated Learning through Maximizing Task Distinction. CoRR Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
2025	—	`conf`	From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. ACL (1) Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian
2025	J	`jnl`	From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. CoRR Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian
2025	J	`jnl`	Implicit Jailbreak Attacks via Cross-Modal Information Concealment on Vision-Language Models. CoRR Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
2025	J	`jnl`	Improved SARSA and DQN algorithms for reinforcement learning. Theor. Comput. Sci. Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian
2025	J	`jnl`	Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric. CoRR Hao Chen, Cong Tian, Zixuan He, Bin Yu, Yepang Liu, Jialun Cao
2025	J	`jnl`	Intra-head pruning for vision transformers via inter-layer dimension relationship modeling. Neural Networks Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan
2025	A*	`conf`	Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement. IJCAI Yuehao Liu, Yansong Dong, Liang Zhao, Wensheng Wang, Cong Tian
2025	J	`jnl`	On the exploitation of control knowledge for enhancing automated planning. Inf. Sci. Xu Lu, Bin Yu, Cong Tian, Chu Chen, Zhenhua Duan
2025	A*	`conf`	Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision. ASE Xu Lu, Weisong Sun, Yiran Zhang, Ming Hu, Cong Tian, Zhi Jin, Yang Liu
2025	J	`jnl`	Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision. CoRR Xu Lu, Weisong Sun, Yiran Zhang, Ming Hu, Cong Tian, Zhi Jin, Yang Liu
2025	J	`jnl`	SAT-based bounded model checking for propositional projection temporal logic. Theor. Comput. Sci. Zhenhua Duan, Cong Tian, Nan Zhang, Chaofeng Yu, Mengfei Yang, Jia He
2025	J	`jnl`	Token-Level Constraint Boundary Search for Jailbreaking Text-to-Image Models. CoRR Jiangtao Liu, Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
2025	J	`jnl`	Verifying chip designs at RTL level. Sci. Comput. Program. Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu
2024	Misc	`conf`	A Contract-Based Framework for Formal Verification of Embedded Software. SETTA Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan
2024	J	`jnl`	A multi-granularity CNN pruning framework via deformable soft mask with joint training. Neurocomputing Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan
2024	J	`jnl`	Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? ACM Trans. Knowl. Discov. Data Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
2024	Misc	`conf`	CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. TASE Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian
2024	A*	`conf`	DACPara: A Divide-and-Conquer Parallel Approach for High-Quality Logic Rewriting in Large-Scale Circuits. DAC Nanjiang Qu, Cong Tian, Zhenhua Duan
2024	A*	`conf`	Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback. ASE Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong
2024	—	`conf`	DynaEDI: Decentralized Integrity Verification for Dynamic Edge Data. ICSOC (1) Qiang He, Jiyu Yang, Feifei Chen, Cong Tian, Yanhui Li, Yun Yang
2024	J	`jnl`	Efficient adversarial training with multi-fidelity optimization for robust neural network. Neurocomputing Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
2024	—	`conf`	Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024	J	`jnl`	Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024	J	`jnl`	Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring. ACM Trans. Sens. Networks Hongwei Du, Jingfang Su, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du
2024	J	`jnl`	Intermediate-grained kernel elements pruning with structured sparsity. Neural Networks Peng Zhang, Liang Zhao, Cong Tian, Zhenhua Duan
2024	J	`jnl`	Multi-keyword ranked search with access control for multiple data owners in the cloud. J. Inf. Secur. Appl. Jiaqi Guo, Cong Tian, Xu Lu, Liang Zhao, Zhenhua Duan
2024	J	`jnl`	Neuron importance based verification of neural networks via divide and conquer. Neurocomputing Yansong Dong, Yuehao Liu, Liang Zhao, Cong Tian, Zhenhua Duan
2024	J	`jnl`	ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks. CoRR Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2024	—	`conf`	Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective. ECCV (28) Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
2024	J	`jnl`	Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective. CoRR Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
2024	J	`jnl`	Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems. CoRR Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian
2024	J	`jnl`	Using experience classification for training non-Markovian tasks. Expert Syst. Appl. Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan
2024	J	`jnl`	Verifiable privacy-preserving semantic retrieval scheme in the edge computing. J. Syst. Archit. Jiaqi Guo, Cong Tian, Qiang He, Liang Zhao, Zhenhua Duan
2023	J	`jnl`	A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan
2023	—	`conf`	A Dynamic Parameter Adaptive Path Planning Algorithm. COCOA (2) Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian
2023	J	`jnl`	A proof system for unified temporal logic. Theor. Comput. Sci. Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian
2023	J	`jnl`	A variational Bayesian approach for partly resolvable group tracking. Signal Process. Zhenzhen Su, Long Liu, Hongbing Ji, Cong Tian
2023	J	`jnl`	Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan
2023	A*	`conf`	Adversarial Training of Deep Neural Networks Guided by Texture and Structural Information. ACM Multimedia Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
2023	—	`conf`	An Approach to Agent Path Planning Under Temporal Logic Constraints. COCOON (2) Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian
2023	A	`conf`	Automatic Identification of Crash-inducing Smart Contracts. SANER Chao Ni, Cong Tian, Kaiwen Yang, David Lo, Jiachi Chen, Xiaohu Yang
2023	—	`conf`	Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan
2023	—	`conf`	PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). TACAS (2) Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan
2023	A	`conf`	SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
2023	J	`jnl`	Using Experience Classification for Training Non-Markovian Tasks. CoRR Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2023	Misc	`conf`	Verifying Chips Design at RTL Level. TASE Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu
2022	J	`jnl`	A novel load balancing scheme for mobile edge computing. J. Syst. Softw. Zhenhua Duan, Cong Tian, Nan Zhang, MengChu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
2022	C	`conf`	An Empirical Study on Software Defect Prediction using Function Point Analysis. QRS Xinghan Zhao, Cong Tian
2022	—	`conf`	Formulate Full View Camera Sensor Coverage by Using Group Set Coverage. WiCON Hongwei Du, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du
2022	J	`jnl`	Improving transferability of adversarial examples by saliency distribution and data augmentation. Comput. Secur. Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan
2022	—	`conf`	Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. SOFL+MSVL Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
2022	J	`jnl`	PPTL specification mining based on LNFG. Theor. Comput. Sci. Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian
2022	A*	`conf`	Prioritized Constraint-Aided Dynamic Partial-Order Reduction. ASE Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan
2022	J	`jnl`	Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian
2021	J	`jnl`	A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. IEEE Trans. Reliab. Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2021	J	`jnl`	A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan
2021	J	`jnl`	A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR Zhenhua Duan, Cong Tian, Nan Zhang, MengChu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
2021	J	`jnl`	A dynamic approach to detecting, eliminating and fixing memory leaks. J. Comb. Optim. Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2021	J	`jnl`	An efficient approach for taint analysis of android applications. Comput. Secur. Jie Zhang, Cong Tian, Zhenhua Duan
2021	—	`conf`	Conditional interpolation: making concurrent program verification more effective. ESEC/SIGSOFT FSE Jie Su, Cong Tian, Zhenhua Duan
2021	C	`conf`	Improving Quality of Counterexamples in Model Checking via Automated Planning. QRS Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2021	J	`jnl`	Malware Detection Using CNN via Word Embedding in Cloud Computing Infrastructure. Sci. Program. Rong Wang, Cong Tian, Lin Yan
2021	—	`conf`	Malware Detection using CNN via Word Embedding. DSA Jie Zhang, Lin Yan, Rong Wang, Cong Tian, Zhenhua Duan
2021	J	`jnl`	Multi-matching nested relations. Theor. Comput. Sci. Jin Liu, Zhenhua Duan, Cong Tian
2021	J	`jnl`	Preface to the Topic of Formal Methods and Their Applications. Int. J. Softw. Informatics Cong Tian, Yuxin Deng, Yu Jiang
2021	J	`jnl`	RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. IEEE Trans. Reliab. Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao
2021	J	`jnl`	Temporal logic specification mining of programs. Theor. Comput. Sci. Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan
2021	J	`jnl`	Unified temporal logic. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2020	J	`jnl`	A novel approach to verifying context free properties of programs. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
2020	—	`conf`	Distilling Knowledge in Adversarial Attack. DSA Zeqian Dong, Long Tang, Cong Tian
2020	J	`jnl`	Generating Adversarial Examples withControllable Non-transferability. CoRR Renzhi Wang, Tianwei Zhang, Xiaofei Xie, Lei Ma, Cong Tian, Felix Juefei-Xu, Yang Liu
2020	A*	`conf`	Making Streett Determinization Tight. LICS Cong Tian, Wensheng Wang, Zhenhua Duan
2020	J	`jnl`	Making Streett Determinization Tight. CoRR Cong Tian, Wensheng Wang, Zhenhua Duan
2020	J	`jnl`	P2P Network Based Smart Parking System Using Edge Computing. Mob. Networks Appl. Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang
2020	J	`jnl`	ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
2020	C	`conf`	RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. QRS Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao
2020	—	`ed.`	Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers SOFL+MSVL Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
2020	C	`conf`	Transforming Multi-matching Nested Traceable Automata to Multi-matching Nested Expressions. COCOA Jin Liu, Zhenhua Duan, Cong Tian
2020	J	`jnl`	Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
2020	J	`jnl`	Verify heaps via unified model checking. Theor. Comput. Sci. Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du
2019	J	`jnl`	A temporal logic programming approach to planning. J. Comb. Optim. Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2019	Misc	`ed.`	Computing and Combinatorics - 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings COCOON Ding-Zhu Du, Zhenhua Duan, Cong Tian
2019	J	`jnl`	Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. ACM Trans. Softw. Eng. Methodol. Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao
2019	—	`conf`	FastDroid: efficient taint analysis for Android applications. ICSE (Companion Volume) Jie Zhang, Cong Tian, Zhenhua Duan
2019	J	`jnl`	Index set expressions can represent temporal logic formulas. Theor. Comput. Sci. Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du
2019	J	`jnl`	Model checking open systems with alternating projection temporal logic. Theor. Comput. Sci. Cong Tian, Zhenhua Duan
2019	—	`ed.`	Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers SOFL+MSVL Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
2019	J	`jnl`	Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan
2019	J	`jnl`	Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2019	J	`jnl`	Verifying schedulability of tasks in ROS-based systems. J. Comb. Optim. Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2018	—	`conf`	A Blockchain Implementation of an Attendance Management System. SOFL+MSVL Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu
2018	J	`jnl`	A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability. IEEE Trans. Reliab. Jin Cui, Zhenhua Duan, Cong Tian, Hongwei Du
2018	C	`conf`	A Novel Approach to Verifying Context Free Properties of Programs. AAIM Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
2018	J	`jnl`	A Runtime Optimization Approach for FPGA Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
2018	J	`jnl`	A compiler for MSVL and its applications. Theor. Comput. Sci. Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang
2018	—	`conf`	Accelerating counterexample detection in software model checking. ICSE (Companion Volume) Cong Tian, Zhao Duan, Zhenhua Duan
2018	—	`conf`	Android inter-component communication analysis with intent revision. ICSE (Companion Volume) Cong Tian, Congli Xia, Zhenhua Duan
2018	—	`conf`	InterpChecker: Reducing State Space via Interpolations - (Competition Contribution). TACAS (2) Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong
2018	J	`jnl`	On general threshold and general cascade models of social influence. J. Comb. Optim. Weili Wu, Hongwei Du, Huijuan Wang, Lidong Wu, Zhenhua Duan, Cong Tian
2018	J	`jnl`	Planning with Spatio-Temporal Search Control Knowledge. IEEE Trans. Knowl. Data Eng. Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du
2018	A*	`conf`	RFC-directed differential testing of certificate validation in SSL/TLS implementations. ICSE Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao
2018	C	`conf`	Reducing Extension Edges of Concurrent Programs for Reachability Analysis. COCOA Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao
2018	—	`ed.`	Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers SOFL+MSVL Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
2018	J	`jnl`	Translating C programs to MSVL programs. CoRR Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
2018	J	`jnl`	Verifying temporal properties of programs: A parallel approach. J. Parallel Distributed Comput. Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang
2017	—	`conf`	Cloning Automata: Simulation and Analysis of Computer Bacteria. COCOA (1) Chu Chen, Zhenhua Duan, Cong Tian, Hongwei Du
2017	—	`conf`	Full regular temporal property verification as dynamic program execution. ICSE (Companion Volume) Meng Wang, Cong Tian, Zhenhua Duan
2017	—	`conf`	Implementing MapReduce with MSVL. SOFL+MSVL Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui
2017	J	`jnl`	MSVL: a typed language for temporal logic programming. Frontiers Comput. Sci. Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao
2017	J	`jnl`	Model Checking Multi-agent Systems with APTL. Ad Hoc Sens. Wirel. Networks Haiyang Wang, Zhenhua Duan, Cong Tian
2017	—	`conf`	Modeling and Verifying Multi-core Programs. COCOA (2) Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang
2017	A*	`conf`	More effective interpolations in software model checking. ASE Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong
2017	—	`ed.`	Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers SOFL+MSVL Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
2017	A*	`conf`	Temporalising Separation Logic for Planning with Search Control Knowledge. IJCAI Xu Lu, Cong Tian, Zhenhua Duan
2017	J	`jnl`	Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. Zhenhua Duan, Cong Tian, MengChu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang
2017	C	`conf`	Verifying Temporal Properties of C Programs via Lazy Abstraction. ICFEM Zhao Duan, Cong Tian, Zhenhua Duan
2016	A*	`conf`	A Decision Procedure for a Fragment of Linear Time Mu-Calculus. IJCAI Yao Liu, Zhenhua Duan, Cong Tian
2016	—	`conf`	A Proof System for MSVL Programs in Coq. SOFL+MSVL Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian
2016	J	`jnl`	A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. Zhenhua Duan, Cong Tian, Nan Zhang
2016	J	`jnl`	A complete axiom system for propositional projection temporal logic with cylinder computation model. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2016	J	`jnl`	A mechanism of function calls in MSVL. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2016	A	`conf`	How android app developers manage power consumption?: an empirical study by mining power management commits. MSR Lingfeng Bao, David Lo, Xin Xia, Xinyu Wang, Cong Tian
2016	J	`jnl`	Model checking Petri nets with MSVL. Inf. Sci. Ya Shi, Cong Tian, Zhenhua Duan, MengChu Zhou
2016	J	`jnl`	Model checking concurrent systems with MSVL. Sci. China Inf. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2016	Misc	`conf`	Satisfiability of Linear Time Mu-Calculus on Finite Traces. COCOON Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui
2016	C	`conf`	Using Unified Model Checking to Verify Heaps. COCOA Xu Lu, Zhenhua Duan, Cong Tian
2016	C	`conf`	Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. ICIS Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li
2016	J	`jnl`	Verifying safety critical task scheduling systems in PPTL axiom system. J. Comb. Optim. Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian
2015	—	`conf`	A Self-ORganizing Trust Model Based on HP2P. MSN Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang
2015	J	`jnl`	A structural transformation from p-π to MSVL. J. Comb. Optim. Ling Luo, Zhenhua Duan, Cong Tian, Xiaobing Wang
2015	J	`jnl`	An Improved Decision Procedure for Linear Time Mu-Calculus. CoRR Yao Liu, Zhenhua Duan, Cong Tian
2015	J	`jnl`	An extended strange planet protocol. J. Comb. Optim. Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang
2015	J	`jnl`	Extending PPTL for Verifying Heap Evolution Properties. CoRR Xu Lu, Zhenhua Duan, Cong Tian
2015	J	`jnl`	Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts. Theor. Comput. Sci. Zhenhua Duan, Jin Liu, Jie Li, Cong Tian
2015	—	`conf`	LtlNfBa: Making LTL Translation More Practical. SOFL+MSVL Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan
2015	Misc	`conf`	Model Checking MSVL Programs Based on Dynamic Symbolic Execution. COCOON Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang
2015	C	`conf`	Model Checking \mu μ C/OS-III Multi-task System with TMSVL. ICFEM Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou
2015	—	`conf`	Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. SOFL+MSVL Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang
2015	—	`conf`	PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic. SOFL+MSVL Xiaoming Zhang, Zhenhua Duan, Cong Tian
2015	C	`conf`	Symbolic Model Checking for Alternating Projection Temporal Logic. COCOA Haiyang Wang, Zhenhua Duan, Cong Tian
2015	J	`jnl`	Transformation from PLTL to automata via NFGs. J. Comb. Optim. Cong Tian, Zhenhua Duan, Mengfei Yang
2015	C	`conf`	Verification of a real time scheduling protocol of safety-critical systems. CSCWD Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang
2014	—	`conf`	A Memory Management Mechanism for MSVL. SOFL+MSVL Kai Yang, Zhenhua Duan, Cong Tian
2014	J	`jnl`	A formal proof of the deadline driven scheduler in PPTL axiomatic system. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du
2014	J	`jnl`	A practical decision procedure for Propositional Projection Temporal Logic with infinite models. Theor. Comput. Sci. Zhenhua Duan, Cong Tian
2014	Misc	`conf`	An Axiomatization for Cylinder Computation Model. COCOON Nan Zhang, Zhenhua Duan, Cong Tian
2014	Misc	`conf`	An Improved Recursive Algorithm for Parity Games. TASE Yao Liu, Zhenhua Duan, Cong Tian
2014	J	`jnl`	Buchi Determinization Made Tighter. CoRR Cong Tian, Zhenhua Duan
2014	—	`conf`	Clustering and Partition Based Divide and Conquer for SAT Solving. MSN Quanrun Fan, Zhenhua Duan, Cong Tian, Hongwei Du
2014	C	`conf`	Extending MSVL with Function Calls. ICFEM Nan Zhang, Zhenhua Duan, Cong Tian
2014	C	`conf`	Improved Even Order Magic Square Construction Algorithms and Their Applications. COCOA Zhenhua Duan, Jin Liu, Jie Li, Cong Tian
2014	J	`jnl`	Making CEGAR More Efficient in Software Model Checking. IEEE Trans. Software Eng. Cong Tian, Zhenhua Duan, Zhao Duan
2014	B	`conf`	Model Checking Rate-Monotonic Scheduler with TMSVL. ICECCS Jin Cui, Zhenhua Duan, Cong Tian
2014	Misc	`conf`	Normal Form Expressions of Propositional Projection Temporal Logic. COCOON Zhenhua Duan, Cong Tian, Nan Zhang
2014	J	`jnl`	Secure communications with strange planet protocol. Optim. Lett. Cong Tian, Zhenhua Duan, Jin Liu
2014	C	`conf`	Simulation and verification of the virtual memory management system with MSVL. CSCWD Meng Wang, Zhenhua Duan, Cong Tian
2014	A	`conf`	Towards more accurate content categorization of API discussions. ICPC Bo Zhou, Xin Xia, David Lo, Cong Tian, Xinyu Wang
2014	—	`conf`	Unified Bounded Model Checking for MSVL. SOFL+MSVL Bin Yu, Zhenhua Duan, Cong Tian
2013	J	`jnl`	A cylinder computation model for many-core parallel computing. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2013	C	`conf`	An Extended Strange Planet Protocol. COCOA Jin Liu, Zhenhua Duan, Cong Tian
2013	Misc	`conf`	Bounded Model Checking for Propositional Projection Temporal Logic. COCOON Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He
2013	—	`conf`	Bounded Model Checking of Traffic Light Control System. TTSS Bin Yu, Zhenhua Duan, Cong Tian
2013	A*	`conf`	Detecting spurious counterexamples efficiently in abstract model checking. ICSE Cong Tian, Zhenhua Duan
2013	Misc	`conf`	Deternimization of Büchi Automata as Partitioned Automata. COCOON Cong Tian, Zhenhua Duan, Mengfei Yang
2013	—	`conf`	Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking. SOFL+MSVL Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang
2013	—	`conf`	Integrating Separation Logic with PPTL. SOFL+MSVL Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu
2013	—	`conf`	Modeling and Verification of RBC Handover Protocol. TTSS Kai Yang, Zhenhua Duan, Cong Tian
2013	—	`conf`	Present-Future Form of Linear Time $$\mu $$ -Calculus. SOFL+MSVL Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu
2013	C	`conf`	Simulation of CTCS-3 protocol with temporal logic programming. CSCWD Peng Zhang, Zhenhua Duan, Cong Tian
2013	—	`conf`	Some Fixed-Point Issues in PPTL. Theories of Programming and Formal Methods Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang
2013	C	`conf`	Translation from Workflow Nets to MSVL. ICFEM Ya Shi, Zhenhua Duan, Cong Tian
2012	—	`conf`	Abstract Model Checking with SOFL Hierarchy. SOFL Cong Tian, Shaoying Liu, Zhenhua Duan
2012	J	`jnl`	An efficient approach for abstraction-refinement in model checking. Theor. Comput. Sci. Cong Tian, Zhenhua Duan, Nan Zhang
2012	—	`conf`	Model Checking C Programs with MSVL. SOFL Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang
2012	—	`ch.`	Model Checking. Handbook of Finite State Based Models and Applications Zhenhua Duan, Cong Tian
2012	Misc	`conf`	Symbolic Model Checking for Propositional Projection Temporal Logic. TASE Tao Pang, Zhenhua Duan, Cong Tian
2011	J	`jnl`	Detecting Spurious Counterexamples Efficiently in Abstract Model Checking CoRR Cong Tian, Zhenhua Duan
2011	J	`jnl`	Expressiveness of propositional projection temporal logic with star. Theor. Comput. Sci. Cong Tian, Zhenhua Duan
2011	Misc	`conf`	Focus Game for Projection Temporal Logic. TASE Cong Tian, Zhenhua Duan
2011	Misc	`conf`	Making Abstraction-Refinement Efficient in Model Checking. COCOON Cong Tian, Zhenhua Duan
2010	—	`conf`	A Transformation from PPTL to S1S. COCOA (2) Cong Tian, Zhenhua Duan
2010	C	`conf`	Alternating Interval Based Temporal Logics. ICFEM Cong Tian, Zhenhua Duan
2010	—	`conf`	An Executable Concurrent Model for OWL-S Process Models. QSIC Zhenhua Duan, Cong Tian
2010	C	`conf`	An Improved Decision Procedure for Propositional Projection Temporal Logic. ICFEM Zhenhua Duan, Cong Tian
2010	J	`jnl`	Making Abstraction Refinement Efficient in Model Checking CoRR Cong Tian, Zhenhua Duan
2010	—	`conf`	Non-Functional Requirements Elicitation and Incorporation into Class Diagrams. IIP Xiaoyu Song, Zhenhua Duan, Cong Tian
2009	J	`jnl`	A note on stutter-invariant PLTL. Inf. Process. Lett. Cong Tian, Zhenhua Duan
2009	J	`jnl`	Complexity of propositional projection temporal logic with star. Math. Struct. Comput. Sci. Cong Tian, Zhenhua Duan
2008	C	`conf`	A Unified Model Checking Approach with Projection Temporal Logic. ICFEM Zhenhua Duan, Cong Tian
2008	J	`jnl`	A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica Zhenhua Duan, Cong Tian, Li Zhang
2008	C	`conf`	Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. TAMC Cong Tian, Zhenhua Duan
2007	C	`conf`	Decidability of Propositional Projection Temporal Logic with Infinite Models. TAMC Zhenhua Duan, Cong Tian
2007	C	`conf`	Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM Cong Tian, Zhenhua Duan