Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCong Tian
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j60]Bin Yu
, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan:
Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. 117: 103034 (2023)- [j59]Zhenzhen Su, Long Liu, Hongbing Ji, Cong Tian:
A variational Bayesian approach for partly resolvable group tracking. Signal Process. 203: 108805 (2023) - [j58]Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian:
A proof system for unified temporal logic. Theor. Comput. Sci. 949: 113702 (2023) - [j57]Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan:
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. 34(1): 76-91 (2023) - [c87]Cong Tian, Dengpan Ye, Chuanxi Chen:
Tiny WFP: Lightweight and Effective Website Fingerprinting via Wavelet Multi-Resolution Analysis. ACNS (1) 2023: 237-259 - [c86]Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA 2023: 967-979 - [c85]Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin:
Adversarial Training of Deep Neural Networks Guided by Texture and Structural Information. ACM Multimedia 2023: 4958-4967 - [c84]Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan:
PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). TACAS (2) 2023: 571-576 - [c83]Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu:
Verifying Chips Design at RTL Level. TASE 2023: 146-163 - [c82]Chao Ni, Cong Tian, Kaiwen Yang, David Lo, Jiachi Chen, Xiaohu Yang:
Automatic Identification of Crash-inducing Smart Contracts. SANER 2023: 108-119 - [i10]Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
Using Experience Classification for Training Non-Markovian Tasks. CoRR abs/2310.11678 (2023) - 2022
- [j56]Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan:
Improving transferability of adversarial examples by saliency distribution and data augmentation. Comput. Secur. 120: 102811 (2022) - [j55]Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu:
A novel load balancing scheme for mobile edge computing. J. Syst. Softw. 186: 111195 (2022) - [j54]Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian:
PPTL specification mining based on LNFG. Theor. Comput. Sci. 937: 85-95 (2022) - [j53]Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian:
Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. 71(1): 321-338 (2022) - [c81]Fang Ren, Wei Hou, Mingyu Yu, Cong Tian:
High capacity reversible information hiding algorithm based on asymmetric prediction error histogram. AIPR 2022: 592-600 - [c80]Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan:
Prioritized Constraint-Aided Dynamic Partial-Order Reduction. ASE 2022: 78:1-78:13 - [c79]Xinghan Zhao, Cong Tian:
An Empirical Study on Software Defect Prediction using Function Point Analysis. QRS 2022: 167-176 - [c78]Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. SOFL+MSVL 2022: 106-116 - [c77]Hongwei Du, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du:
Formulate Full View Camera Sensor Coverage by Using Group Set Coverage. WiCON 2022: 76-90 - 2021
- [j52]Jie Zhang, Cong Tian, Zhenhua Duan:
An efficient approach for taint analysis of android applications. Comput. Secur. 104: 102161 (2021) - [j51]Cong Tian, Yuxin Deng, Yu Jiang:
Preface to the Topic of Formal Methods and Their Applications. Int. J. Softw. Informatics 11(4): 379-381 (2021) - [j50]Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
A dynamic approach to detecting, eliminating and fixing memory leaks. J. Comb. Optim. 42(3): 409-426 (2021) - [j49]Rong Wang, Cong Tian, Lin Yan:
Malware Detection Using CNN via Word Embedding in Cloud Computing Infrastructure. Sci. Program. 2021: 8381550:1-8381550:7 (2021) - [j48]Jin Liu, Zhenhua Duan, Cong Tian:
Multi-matching nested relations. Theor. Comput. Sci. 854: 77-93 (2021) - [j47]Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan:
Temporal logic specification mining of programs. Theor. Comput. Sci. 857: 29-42 (2021) - [j46]Nan Zhang, Zhenhua Duan, Cong Tian:
Unified temporal logic. Theor. Comput. Sci. 864: 58-69 (2021) - [j45]Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan:
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. 22(3): 1907-1918 (2021) - [j44]Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao:
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. IEEE Trans. Reliab. 70(3): 1295-1308 (2021) - [j43]Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. IEEE Trans. Reliab. 70(4): 1455-1467 (2021) - [c76]Cong Tian, Chang Su, Weiping Zhao:
The Study of Fuzzy Variable Frequency Control System for Constant Pressure. CSIA (1) 2021: 304-311 - [c75]Jie Zhang, Lin Yan, Rong Wang, Cong Tian, Zhenhua Duan:
Malware Detection using CNN via Word Embedding. DSA 2021: 600-607 - [c74]Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
Improving Quality of Counterexamples in Model Checking via Automated Planning. QRS 2021: 691-701 - [c73]Jie Su, Cong Tian, Zhenhua Duan:
Conditional interpolation: making concurrent program verification more effective. ESEC/SIGSOFT FSE 2021: 144-154 - [i9]Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu:
A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR abs/2112.10091 (2021) - 2020
- [j42]Shihua Luo, Cong Tian:
Financial High-Frequency Time Series Forecasting Based on Sub-Step Grid Search Long Short-Term Memory Network. IEEE Access 8: 203183-203189 (2020) - [j41]Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang:
P2P Network Based Smart Parking System Using Edge Computing. Mob. Networks Appl. 25(6): 2226-2239 (2020) - [j40]Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang:
ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(4): 830-842 (2020) - [j39]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. 809: 430-465 (2020) - [j38]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du:
A novel approach to verifying context free properties of programs. Theor. Comput. Sci. 809: 519-530 (2020) - [j37]Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du:
Verify heaps via unified model checking. Theor. Comput. Sci. 819: 35-49 (2020) - [c72]Jin Liu, Zhenhua Duan, Cong Tian:
Transforming Multi-matching Nested Traceable Automata to Multi-matching Nested Expressions. COCOA 2020: 320-333 - [c71]Zeqian Dong, Long Tang, Cong Tian:
Distilling Knowledge in Adversarial Attack. DSA 2020: 226-233 - [c70]Cong Tian, Wensheng Wang, Zhenhua Duan:
Making Streett Determinization Tight. LICS 2020: 859-872 - [c69]Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao:
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. QRS 2020: 121 - [e5]Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7 [contents] - [i8]Cong Tian, Wensheng Wang, Zhenhua Duan:
Making Streett Determinization Tight. CoRR abs/2006.16476 (2020) - [i7]Renzhi Wang, Tianwei Zhang, Xiaofei Xie, Lei Ma, Cong Tian, Felix Juefei-Xu, Yang Liu:
Generating Adversarial Examples withControllable Non-transferability. CoRR abs/2007.01299 (2020)
2010 – 2019
- 2019
- [j36]Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
Verifying schedulability of tasks in ROS-based systems. J. Comb. Optim. 37(3): 901-920 (2019) - [j35]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. 37(4): 1191-1215 (2019) - [j34]Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
A temporal logic programming approach to planning. J. Comb. Optim. 38(2): 402-420 (2019) - [j33]Cong Tian, Zhenhua Duan:
Model checking open systems with alternating projection temporal logic. Theor. Comput. Sci. 774: 65-81 (2019) - [j32]Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du:
Index set expressions can represent temporal logic formulas. Theor. Comput. Sci. 788: 21-38 (2019) - [j31]Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao:
Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. ACM Trans. Softw. Eng. Methodol. 28(4): 24:1-24:37 (2019) - [j30]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan:
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. 68(3): 1101-1116 (2019) - [c68]Jie Zhang, Cong Tian, Zhenhua Duan:
FastDroid: efficient taint analysis for Android applications. ICSE (Companion Volume) 2019: 236-237 - [e4]Ding-Zhu Du, Zhenhua Duan, Cong Tian:
Computing and Combinatorics - 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings. Lecture Notes in Computer Science 11653, Springer 2019, ISBN 978-3-030-26175-7 [contents] - [e3]Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11392, Springer 2019, ISBN 978-3-030-13650-5 [contents] - 2018
- [j29]Weili Wu, Hongwei Du, Huijuan Wang, Lidong Wu, Zhenhua Duan, Cong Tian:
On general threshold and general cascade models of social influence. J. Comb. Optim. 35(1): 209-215 (2018) - [j28]Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang:
Verifying temporal properties of programs: A parallel approach. J. Parallel Distributed Comput. 118(Part): 89-99 (2018) - [j27]Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang:
A Runtime Optimization Approach for FPGA Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(8): 1706-1710 (2018) - [j26]Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang:
A compiler for MSVL and its applications. Theor. Comput. Sci. 749: 2-16 (2018) - [j25]Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du:
Planning with Spatio-Temporal Search Control Knowledge. IEEE Trans. Knowl. Data Eng. 30(10): 1915-1928 (2018) - [j24]Jin Cui, Zhenhua Duan, Cong Tian, Hongwei Du:
A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability. IEEE Trans. Reliab. 67(2): 481-493 (2018) - [c67]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du:
A Novel Approach to Verifying Context Free Properties of Programs. AAIM 2018: 74-87 - [c66]Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao:
Reducing Extension Edges of Concurrent Programs for Reachability Analysis. COCOA 2018: 386-401 - [c65]Cong Tian, Zhao Duan, Zhenhua Duan:
Accelerating counterexample detection in software model checking. ICSE (Companion Volume) 2018: 250-251 - [c64]Cong Tian, Congli Xia, Zhenhua Duan:
Android inter-component communication analysis with intent revision. ICSE (Companion Volume) 2018: 254-255 - [c63]Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao:
RFC-directed differential testing of certificate validation in SSL/TLS implementations. ICSE 2018: 859-870 - [c62]Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu:
A Blockchain Implementation of an Attendance Management System. SOFL+MSVL 2018: 169-182 - [c61]Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong:
InterpChecker: Reducing State Space via Interpolations - (Competition Contribution). TACAS (2) 2018: 432-436 - [e2]Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10795, Springer 2018, ISBN 978-3-319-90103-9 [contents] - [i6]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating C programs to MSVL programs. CoRR abs/1809.00959 (2018) - 2017
- [j23]Haiyang Wang, Zhenhua Duan, Cong Tian:
Model Checking Multi-agent Systems with APTL. Ad Hoc Sens. Wirel. Networks 37(1-4): 35-52 (2017) - [j22]Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao:
MSVL: a typed language for temporal logic programming. Frontiers Comput. Sci. 11(5): 762-785 (2017) - [j21]Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang:
Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. 10(6): 1304-1322 (2017) - [c60]Chu Chen, Zhenhua Duan, Cong Tian, Hongwei Du:
Cloning Automata: Simulation and Analysis of Computer Bacteria. COCOA (1) 2017: 401-416 - [c59]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang:
Modeling and Verifying Multi-core Programs. COCOA (2) 2017: 492-500 - [c58]Zhao Duan, Cong Tian, Zhenhua Duan:
Verifying Temporal Properties of C Programs via Lazy Abstraction. ICFEM 2017: 122-139 - [c57]Meng Wang, Cong Tian, Zhenhua Duan:
Full regular temporal property verification as dynamic program execution. ICSE (Companion Volume) 2017: 226-228 - [c56]Xu Lu, Cong Tian, Zhenhua Duan:
Temporalising Separation Logic for Planning with Search Control Knowledge. IJCAI 2017: 1167-1173 - [c55]Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong:
More effective interpolations in software model checking. ASE 2017: 183-193 - [c54]Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui:
Implementing MapReduce with MSVL. SOFL+MSVL 2017: 148-167 - [e1]Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10189, 2017, ISBN 978-3-319-57707-4 [contents] - 2016
- [j20]Nan Zhang, Zhenhua Duan, Cong Tian:
Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59(11): 118101 (2016) - [j19]Ya Shi, Cong Tian, Zhenhua Duan, Mengchu Zhou:
Model checking Petri nets with MSVL. Inf. Sci. 363: 274-291 (2016) - [j18]Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian:
Verifying safety critical task scheduling systems in PPTL axiom system. J. Comb. Optim. 31(2): 577-603 (2016) - [j17]Zhenhua Duan, Cong Tian, Nan Zhang:
A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609: 544-560 (2016) - [j16]Nan Zhang, Zhenhua Duan, Cong Tian:
A complete axiom system for propositional projection temporal logic with cylinder computation model. Theor. Comput. Sci. 609: 639-657 (2016) - [j15]Nan Zhang, Zhenhua Duan, Cong Tian:
A mechanism of function calls in MSVL. Theor. Comput. Sci. 654: 11-25 (2016) - [c53]Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li:
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. ICIS 2016: 1-6 - [c52]Xu Lu, Zhenhua Duan, Cong Tian:
Using Unified Model Checking to Verify Heaps. COCOA 2016: 735-743 - [c51]Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui:
Satisfiability of Linear Time Mu-Calculus on Finite Traces. COCOON 2016: 611-622 - [c50]Yao Liu, Zhenhua Duan, Cong Tian:
A Decision Procedure for a Fragment of Linear Time Mu-Calculus. IJCAI 2016: 1195-1201 - [c49]Lingfeng Bao, David Lo, Xin Xia, Xinyu Wang, Cong Tian:
How android app developers manage power consumption?: an empirical study by mining power management commits. MSR 2016: 37-48 - [c48]Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian:
A Proof System for MSVL Programs in Coq. SOFL+MSVL 2016: 121-143 - 2015
- [j14]Ling Luo, Zhenhua Duan, Cong Tian, Xiaobing Wang:
A structural transformation from p-π to MSVL. J. Comb. Optim. 29(1): 308-329 (2015) - [j13]Cong Tian, Zhenhua Duan, Mengfei Yang:
Transformation from PLTL to automata via NFGs. J. Comb. Optim. 29(2): 406-417 (2015) - [j12]Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang:
An extended strange planet protocol. J. Comb. Optim. 30(2): 299-319 (2015) - [j11]Zhenhua Duan, Jin Liu, Jie Li, Cong Tian:
Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts. Theor. Comput. Sci. 607: 391-410 (2015) - [c47]Haiyang Wang, Zhenhua Duan, Cong Tian:
Symbolic Model Checking for Alternating Projection Temporal Logic. COCOA 2015: 481-495 - [c46]Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang:
Model Checking MSVL Programs Based on Dynamic Symbolic Execution. COCOON 2015: 521-533 - [c45]Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang:
Verification of a real time scheduling protocol of safety-critical systems. CSCWD 2015: 286-291 - [c44]Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou:
Model Checking \mu μ C/OS-III Multi-task System with TMSVL. ICFEM 2015: 187-200 - [c43]Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang:
A Self-ORganizing Trust Model Based on HP2P. MSN 2015: 96-101 - [c42]Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang:
Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. SOFL+MSVL 2015: 15-28 - [c41]Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan:
LtlNfBa: Making LTL Translation More Practical. SOFL+MSVL 2015: 179-194 - [c40]Xiaoming Zhang, Zhenhua Duan, Cong Tian:
PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic. SOFL+MSVL 2015: 195-205 - [i5]Yao Liu, Zhenhua Duan, Cong Tian:
An Improved Decision Procedure for Linear Time Mu-Calculus. CoRR abs/1507.05513 (2015) - [i4]Xu Lu, Zhenhua Duan, Cong Tian:
Extending PPTL for Verifying Heap Evolution Properties. CoRR abs/1507.08426 (2015) - 2014
- [j10]Cong Tian, Zhenhua Duan, Jin Liu:
Secure communications with strange planet protocol. Optim. Lett. 8(1): 201-209 (2014) - [j9]Zhenhua Duan, Cong Tian:
A practical decision procedure for Propositional Projection Temporal Logic with infinite models. Theor. Comput. Sci. 554: 169-190 (2014) - [j8]Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du:
A formal proof of the deadline driven scheduler in PPTL axiomatic system. Theor. Comput. Sci. 554: 229-253 (2014) - [j7]