Cong Tian

According to our database, Cong Tian authored at least 173 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian

ACM Trans. Knowl. Discov. Data, August, 2024

Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring.

Hongwei Du, Jingfang Su, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du

ACM Trans. Sens. Networks, May, 2024

A multi-granularity CNN pruning framework via deformable soft mask with joint training.

Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan

Neurocomputing, March, 2024

Neuron importance based verification of neural networks via divide and conquer.

Yansong Dong, Yuehao Liu, Liang Zhao, Cong Tian, Zhenhua Duan

Neurocomputing, January, 2024

Intermediate-grained kernel elements pruning with structured sparsity.

Peng Zhang, Liang Zhao, Cong Tian, Zhenhua Duan

Neural Networks, 2024

Multi-keyword ranked search with access control for multiple data owners in the cloud.

Jiaqi Guo, Cong Tian, Xu Lu, Liang Zhao, Zhenhua Duan

J. Inf. Secur. Appl., 2024

Efficient adversarial training with multi-fidelity optimization for robust neural network.

Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin

Neurocomputing, 2024

Using experience classification for training non-Markovian tasks.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan

Expert Syst. Appl., 2024

StructuralSleight: Automated Jailbreak Attacks on Large Language Models Utilizing Uncommon Text-Encoded Structure.

Bangxin Li, Hengrui Xing, Chao Huang, Jin Qian, Huangqing Xiao, Linfeng Feng, Cong Tian

CoRR, 2024

Dual sparse training framework: inducing activation map sparsity via Transformed ℓ1 regularization.

Xiaolong Yu, Cong Tian

CoRR, 2024

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.

Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian

CoRR, 2024

CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features.

Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian

Proceedings of the Theoretical Aspects of Software Engineering, 2024

TensorRT Acceleration and SuperGlue Feature Matching in SFM: Performance Improvement and Dense 3D Reconstruction.

Qiang Yang, Chen Zhang, Na Bu, Zhenghui Yan, Tong Ye, Yicong Li, Cong Tian, Chuanlei Zhang

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2024

Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective.

Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin

Proceedings of the Computer Vision - ECCV 2024, 2024

DACPara: A Divide-and-Conquer Parallel Approach for High-Quality Logic Rewriting in Large-Scale Circuits.

Nanjiang Qu, Cong Tian, Zhenhua Duan

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.

Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Adaptively parallel runtime verification based on distributed network for temporal properties.

Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan

Parallel Comput., September, 2023

A proof system for unified temporal logic.

Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., March, 2023

A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.

Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan

IEEE Trans. Parallel Distributed Syst., 2023

A variational Bayesian approach for partly resolvable group tracking.

Zhenzhen Su, Long Liu, Hongbing Ji, Cong Tian

Signal Process., 2023

Using Experience Classification for Training Non-Markovian Tasks.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

CoRR, 2023

Automatic Identification of Crash-inducing Smart Contracts.

Chao Ni, Cong Tian, Kaiwen Yang, David Lo, Jiachi Chen, Xiaohu Yang

Proceedings of the IEEE International Conference on Software Analysis, 2023

Verifying Chips Design at RTL Level.

Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu

Proceedings of the Theoretical Aspects of Software Engineering, 2023

PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).

Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.

Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Adversarial Training of Deep Neural Networks Guided by Texture and Structural Information.

Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin

Proceedings of the 31st ACM International Conference on Multimedia, 2023

SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations.

Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

An Approach to Agent Path Planning Under Temporal Logic Constraints.

Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Computing and Combinatorics - 29th International Conference, 2023

A Dynamic Parameter Adaptive Path Planning Algorithm.

Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2023

IWT-based robust medical image watermarking for tamper detection and ROI recovery.

Fang Ren, Cong Tian, Yuge Liu

Proceedings of the 6th International Conference on Artificial Intelligence and Pattern Recognition, 2023

Tiny WFP: Lightweight and Effective Website Fingerprinting via Wavelet Multi-Resolution Analysis.

Cong Tian, Dengpan Ye, Chuanxi Chen

Proceedings of the Applied Cryptography and Network Security, 2023

2022

Verifying Properties of MapReduce-Based Big Data Processing.

Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian

IEEE Trans. Reliab., 2022

PPTL specification mining based on LNFG.

Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2022

A novel load balancing scheme for mobile edge computing.

Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu

J. Syst. Softw., 2022

Improving transferability of adversarial examples by saliency distribution and data augmentation.

Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan

Comput. Secur., 2022

Formulate Full View Camera Sensor Coverage by Using Group Set Coverage.

Hongwei Du, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du

Proceedings of the Wireless Internet - 15th EAI International Conference, 2022

Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.

Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

An Empirical Study on Software Defect Prediction using Function Point Analysis.

Xinghan Zhao, Cong Tian

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Prioritized Constraint-Aided Dynamic Partial-Order Reduction.

Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

High capacity reversible information hiding algorithm based on asymmetric prediction error histogram.

Fang Ren, Wei Hou, Mingyu Yu, Cong Tian

Proceedings of the 5th International Conference on Artificial Intelligence and Pattern Recognition, 2022

2021

RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model.

Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao

IEEE Trans. Reliab., 2021

A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs.

Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

IEEE Trans. Reliab., 2021

A Knowledge-Based Temporal Planning Approach for Urban Traffic Control.

Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan

IEEE Trans. Intell. Transp. Syst., 2021

Temporal logic specification mining of programs.

Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan

Theor. Comput. Sci., 2021

Unified temporal logic.

Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2021

Multi-matching nested relations.

Jin Liu, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2021

Malware Detection Using CNN via Word Embedding in Cloud Computing Infrastructure.

Rong Wang, Cong Tian, Lin Yan

Sci. Program., 2021

A dynamic approach to detecting, eliminating and fixing memory leaks.

Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 2021

Preface to the Topic of Formal Methods and Their Applications.

Cong Tian, Yuxin Deng, Yu Jiang

Int. J. Softw. Informatics, 2021

A Novel Load Balancing Scheme for Mobile Edge Computing.

Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu

CoRR, 2021

An efficient approach for taint analysis of android applications.

Jie Zhang, Cong Tian, Zhenhua Duan

Comput. Secur., 2021

Conditional interpolation: making concurrent program verification more effective.

Jie Su, Cong Tian, Zhenhua Duan

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Improving Quality of Counterexamples in Model Checking via Automated Planning.

Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Malware Detection using CNN via Word Embedding.

Jie Zhang, Lin Yan, Rong Wang, Cong Tian, Zhenhua Duan

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

The Study of Fuzzy Variable Frequency Control System for Constant Pressure.

Cong Tian, Chang Su, Weiping Zhao

Proceedings of the Cyber Security Intelligence and Analytics, 2021

2020

A novel approach to verifying context free properties of programs.

Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du

Theor. Comput. Sci., 2020

Translating Xd-C programs to MSVL programs.

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao

Theor. Comput. Sci., 2020

Verify heaps via unified model checking.

Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du

Theor. Comput. Sci., 2020

ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach.

Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

P2P Network Based Smart Parking System Using Edge Computing.

Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang

Mob. Networks Appl., 2020

Generating Adversarial Examples withControllable Non-transferability.

Renzhi Wang, Tianwei Zhang, Xiaofei Xie, Lei Ma, Cong Tian, Felix Juefei-Xu, Yang Liu

CoRR, 2020

Financial High-Frequency Time Series Forecasting Based on Sub-Step Grid Search Long Short-Term Memory Network.

Shihua Luo, Cong Tian

IEEE Access, 2020

Making Streett Determinization Tight.

Cong Tian, Wensheng Wang, Zhenhua Duan

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Distilling Knowledge in Adversarial Attack.

Zeqian Dong, Long Tang, Cong Tian

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

Transforming Multi-matching Nested Traceable Automata to Multi-matching Nested Expressions.

Jin Liu, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2020

2019

Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution.

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan

IEEE Trans. Reliab., 2019

Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach.

Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao

ACM Trans. Softw. Eng. Methodol., 2019

Model checking open systems with alternating projection temporal logic.

Cong Tian, Zhenhua Duan

Theor. Comput. Sci., 2019

Index set expressions can represent temporal logic formulas.

Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du

Theor. Comput. Sci., 2019

A temporal logic programming approach to planning.

Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 2019

Verifying a scheduling protocol of safety-critical systems.

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 2019

Verifying schedulability of tasks in ROS-based systems.

Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 2019

FastDroid: efficient taint analysis for Android applications.

Jie Zhang, Cong Tian, Zhenhua Duan

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability.

Jin Cui, Zhenhua Duan, Cong Tian, Hongwei Du

IEEE Trans. Reliab., 2018

Planning with Spatio-Temporal Search Control Knowledge.

Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du

IEEE Trans. Knowl. Data Eng., 2018

A compiler for MSVL and its applications.

Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang

Theor. Comput. Sci., 2018

A Runtime Optimization Approach for FPGA Routing.

Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Verifying temporal properties of programs: A parallel approach.

Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang

J. Parallel Distributed Comput., 2018

On general threshold and general cascade models of social influence.

Weili Wu, Hongwei Du, Huijuan Wang, Lidong Wu, Zhenhua Duan, Cong Tian

J. Comb. Optim., 2018

Translating C programs to MSVL programs.

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao

CoRR, 2018

InterpChecker: Reducing State Space via Interpolations - (Competition Contribution).

Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A Blockchain Implementation of an Attendance Management System.

Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Android inter-component communication analysis with intent revision.

Cong Tian, Congli Xia, Zhenhua Duan

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Accelerating counterexample detection in software model checking.

Cong Tian, Zhao Duan, Zhenhua Duan

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

RFC-directed differential testing of certificate validation in SSL/TLS implementations.

Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao

Proceedings of the 40th International Conference on Software Engineering, 2018

Reducing Extension Edges of Concurrent Programs for Reachability Analysis.

Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao

Proceedings of the Combinatorial Optimization and Applications, 2018

2017

Two-layer hybrid peer-to-peer networks.

Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang

Peer-to-Peer Netw. Appl., 2017

MSVL: a typed language for temporal logic programming.

Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao

Frontiers Comput. Sci., 2017

Model Checking Multi-agent Systems with APTL.

Haiyang Wang, Zhenhua Duan, Cong Tian

Ad Hoc Sens. Wirel. Networks, 2017

Implementing MapReduce with MSVL.

Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

More effective interpolations in software model checking.

Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Temporalising Separation Logic for Planning with Search Control Knowledge.

Xu Lu, Cong Tian, Zhenhua Duan

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Full regular temporal property verification as dynamic program execution.

Meng Wang, Cong Tian, Zhenhua Duan

Proceedings of the 39th International Conference on Software Engineering, 2017

Verifying Temporal Properties of C Programs via Lazy Abstraction.

Zhao Duan, Cong Tian, Zhenhua Duan

Proceedings of the Formal Methods and Software Engineering, 2017

Cloning Automata: Simulation and Analysis of Computer Bacteria.

Chu Chen, Zhenhua Duan, Cong Tian, Hongwei Du

Proceedings of the Combinatorial Optimization and Applications, 2017

Modeling and Verifying Multi-core Programs.

Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang

Proceedings of the Combinatorial Optimization and Applications, 2017

2016

A mechanism of function calls in MSVL.

Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2016

A complete axiom system for propositional projection temporal logic with cylinder computation model.

Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2016

A canonical form based decision procedure and model checking approach for propositional projection temporal logic.

Zhenhua Duan, Cong Tian, Nan Zhang

Theor. Comput. Sci., 2016

Verifying safety critical task scheduling systems in PPTL axiom system.

Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian

J. Comb. Optim., 2016

Model checking Petri nets with MSVL.

Ya Shi, Cong Tian, Zhenhua Duan, Mengchu Zhou

Inf. Sci., 2016

Model checking concurrent systems with MSVL.

Nan Zhang, Zhenhua Duan, Cong Tian

Sci. China Inf. Sci., 2016

A Proof System for MSVL Programs in Coq.

Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

How android app developers manage power consumption?: an empirical study by mining power management commits.

Lingfeng Bao, David Lo, Xin Xia, Xinyu Wang, Cong Tian

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

A Decision Procedure for a Fragment of Linear Time Mu-Calculus.

Yao Liu, Zhenhua Duan, Cong Tian

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Satisfiability of Linear Time Mu-Calculus on Finite Traces.

Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui

Proceedings of the Computing and Combinatorics - 22nd International Conference, 2016

Using Unified Model Checking to Verify Heaps.

Xu Lu, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2016

Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach.

Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015

Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts.

Zhenhua Duan, Jin Liu, Jie Li, Cong Tian

Theor. Comput. Sci., 2015

Transformation from PLTL to automata via NFGs.

Cong Tian, Zhenhua Duan, Mengfei Yang

J. Comb. Optim., 2015

A structural transformation from p-π to MSVL.

Ling Luo, Zhenhua Duan, Cong Tian, Xiaobing Wang

J. Comb. Optim., 2015

An extended strange planet protocol.

Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang

J. Comb. Optim., 2015

Extending PPTL for Verifying Heap Evolution Properties.

Xu Lu, Zhenhua Duan, Cong Tian

CoRR, 2015

An Improved Decision Procedure for Linear Time Mu-Calculus.

Yao Liu, Zhenhua Duan, Cong Tian

CoRR, 2015

PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic.

Xiaoming Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

LtlNfBa: Making LTL Translation More Practical.

Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL.

Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

A Self-ORganizing Trust Model Based on HP2P.

Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang

Proceedings of the 11th International Conference on Mobile Ad-hoc and Sensor Networks, 2015

Model Checking \mu μ C/OS-III Multi-task System with TMSVL.

Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou

Proceedings of the Formal Methods and Software Engineering, 2015

Verification of a real time scheduling protocol of safety-critical systems.

Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang

Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Model Checking MSVL Programs Based on Dynamic Symbolic Execution.

Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang

Proceedings of the Computing and Combinatorics - 21st International Conference, 2015

Symbolic Model Checking for Alternating Projection Temporal Logic.

Haiyang Wang, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2015

2014

Making CEGAR More Efficient in Software Model Checking.

Cong Tian, Zhenhua Duan, Zhao Duan

IEEE Trans. Software Eng., 2014

A formal proof of the deadline driven scheduler in PPTL axiomatic system.

Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du

Theor. Comput. Sci., 2014

A practical decision procedure for Propositional Projection Temporal Logic with infinite models.

Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2014

Secure communications with strange planet protocol.

Cong Tian, Zhenhua Duan, Jin Liu

Optim. Lett., 2014

Buchi Determinization Made Tighter.

Cong Tian, Zhenhua Duan

CoRR, 2014

An Improved Recursive Algorithm for Parity Games.

Yao Liu, Zhenhua Duan, Cong Tian

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Unified Bounded Model Checking for MSVL.

Bin Yu, Zhenhua Duan, Cong Tian

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

A Memory Management Mechanism for MSVL.

Kai Yang, Zhenhua Duan, Cong Tian

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Clustering and Partition Based Divide and Conquer for SAT Solving.

Quanrun Fan, Zhenhua Duan, Cong Tian, Hongwei Du

Proceedings of the 10th International Conference on Mobile Ad-hoc and Sensor Networks, 2014

Towards more accurate content categorization of API discussions.

Bo Zhou, Xin Xia, David Lo, Cong Tian, Xinyu Wang

Proceedings of the 22nd International Conference on Program Comprehension, 2014

Extending MSVL with Function Calls.

Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2014

Model Checking Rate-Monotonic Scheduler with TMSVL.

Jin Cui, Zhenhua Duan, Cong Tian

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Simulation and verification of the virtual memory management system with MSVL.

Meng Wang, Zhenhua Duan, Cong Tian

Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014

An Axiomatization for Cylinder Computation Model.

Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Computing and Combinatorics - 20th International Conference, 2014

Normal Form Expressions of Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian, Nan Zhang

Proceedings of the Computing and Combinatorics - 20th International Conference, 2014

Improved Even Order Magic Square Construction Algorithms and Their Applications.

Zhenhua Duan, Jin Liu, Jie Li, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2014

2013

A cylinder computation model for many-core parallel computing.

Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2013

Bounded Model Checking of Traffic Light Control System.

Bin Yu, Zhenhua Duan, Cong Tian

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Modeling and Verification of RBC Handover Protocol.

Kai Yang, Zhenhua Duan, Cong Tian

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking.

Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Integrating Separation Logic with PPTL.

Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Present-Future Form of Linear Time $$\mu $$ -Calculus.

Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Detecting spurious counterexamples efficiently in abstract model checking.

Cong Tian, Zhenhua Duan

Proceedings of the 35th International Conference on Software Engineering, 2013

Translation from Workflow Nets to MSVL.

Ya Shi, Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2013

Simulation of CTCS-3 protocol with temporal logic programming.

Peng Zhang, Zhenhua Duan, Cong Tian

Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013

Deternimization of Büchi Automata as Partitioned Automata.

Cong Tian, Zhenhua Duan, Mengfei Yang

Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

Bounded Model Checking for Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He

Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

An Extended Strange Planet Protocol.

Jin Liu, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2013

Some Fixed-Point Issues in PPTL.

Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Model Checking.

Zhenhua Duan, Cong Tian

Proceedings of the Handbook of Finite State Based Models and Applications., 2012

An efficient approach for abstraction-refinement in model checking.

Cong Tian, Zhenhua Duan, Nan Zhang

Theor. Comput. Sci., 2012

Symbolic Model Checking for Propositional Projection Temporal Logic.

Tao Pang, Zhenhua Duan, Cong Tian

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Model Checking C Programs with MSVL.

Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Abstract Model Checking with SOFL Hierarchy.

Cong Tian, Shaoying Liu, Zhenhua Duan

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

2011

Expressiveness of propositional projection temporal logic with star.

Cong Tian, Zhenhua Duan

Theor. Comput. Sci., 2011

Synthesising Classic and Interval Temporal Logic.

Sven Schewe, Cong Tian

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Focus Game for Projection Temporal Logic.

Cong Tian, Zhenhua Duan

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates.

Cong Tian, Shaoying Liu, Shin Nakajima

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Making Abstraction-Refinement Efficient in Model Checking.

Cong Tian, Zhenhua Duan

Proceedings of the Computing and Combinatorics - 17th Annual International Conference, 2011

2010

An Executable Concurrent Model for OWL-S Process Models.

Zhenhua Duan, Cong Tian

Proceedings of the 10th International Conference on Quality Software, 2010

Non-Functional Requirements Elicitation and Incorporation into Class Diagrams.

Xiaoyu Song, Zhenhua Duan, Cong Tian

Proceedings of the Intelligent Information Processing V, 2010

Alternating Interval Based Temporal Logics.

Cong Tian, Zhenhua Duan

Proceedings of the Formal Methods and Software Engineering, 2010

An Improved Decision Procedure for Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2010

A Transformation from PPTL to S1S.

Cong Tian, Zhenhua Duan

Proceedings of the Combinatorial Optimization and Applications, 2010

2009

Complexity of propositional projection temporal logic with star.

Cong Tian, Zhenhua Duan

Math. Struct. Comput. Sci., 2009

A note on stutter-invariant PLTL.

Cong Tian, Zhenhua Duan

Inf. Process. Lett., 2009

2008

A decision procedure for propositional projection temporal logic with infinite models.

Zhenhua Duan, Cong Tian, Li Zhang

Acta Informatica, 2008

Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.

Cong Tian, Zhenhua Duan

Proceedings of the Theory and Applications of Models of Computation, 2008

A Unified Model Checking Approach with Projection Temporal Logic.

Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Decidability of Propositional Projection Temporal Logic with Infinite Models.

Zhenhua Duan, Cong Tian

Proceedings of the Theory and Applications of Models of Computation, 2007

Model Checking Propositional Projection Temporal Logic Based on SPIN.

Cong Tian, Zhenhua Duan

Proceedings of the Formal Methods and Software Engineering, 2007