
Cong Tian
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j46]Jin Liu, Zhenhua Duan, Cong Tian:
Multi-matching nested relations. Theor. Comput. Sci. 854: 77-93 (2021) - [j45]Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan:
Temporal logic specification mining of programs. Theor. Comput. Sci. 857: 29-42 (2021) - 2020
- [j44]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) - [j43]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) - [j42]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) - [j41]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. 809: 430-465 (2020) - [j40]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) - [j39]Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du:
Verify heaps via unified model checking. Theor. Comput. Sci. 819: 35-49 (2020) - [c70]Jin Liu, Zhenhua Duan, Cong Tian:
Transforming Multi-matching Nested Traceable Automata to Multi-matching Nested Expressions. COCOA 2020: 320-333 - [c69]Zeqian Dong, Long Tang, Cong Tian:
Distilling Knowledge in Adversarial Attack. DSA 2020: 226-233 - [c68]Cong Tian, Wensheng Wang, Zhenhua Duan:
Making Streett Determinization Tight. LICS 2020: 859-872 - [c67]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
- [j38]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) - [j37]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) - [j36]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) - [j35]Cong Tian, Zhenhua Duan:
Model checking open systems with alternating projection temporal logic. Theor. Comput. Sci. 774: 65-81 (2019) - [j34]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) - [j33]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) - [j32]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) - [c66]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
- [j31]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) - [j30]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) - [j29]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) - [j28]Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang:
A compiler for MSVL and its applications. Theor. Comput. Sci. 749: 2-16 (2018) - [j27]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) - [j26]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) - [c65]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du:
A Novel Approach to Verifying Context Free Properties of Programs. AAIM 2018: 74-87 - [c64]Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao:
Reducing Extension Edges of Concurrent Programs for Reachability Analysis. COCOA 2018: 386-401 - [c63]Cong Tian, Zhao Duan, Zhenhua Duan:
Accelerating counterexample detection in software model checking. ICSE (Companion Volume) 2018: 250-251 - [c62]Cong Tian, Congli Xia, Zhenhua Duan:
Android inter-component communication analysis with intent revision. ICSE (Companion Volume) 2018: 254-255 - [c61]Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao:
RFC-directed differential testing of certificate validation in SSL/TLS implementations. ICSE 2018: 859-870 - [c60]Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu:
A Blockchain Implementation of an Attendance Management System. SOFL+MSVL 2018: 169-182 - [c59]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
- [j25]Haiyang Wang, Zhenhua Duan, Cong Tian:
Model Checking Multi-agent Systems with APTL. Ad Hoc Sens. Wirel. Networks 37(1-4): 35-52 (2017) - [j24]Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao:
MSVL: a typed language for temporal logic programming. Frontiers Comput. Sci. 11(5): 762-785 (2017) - [j23]Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang:
Two-layer hybrid peer-to-peer networks. Peer Peer Netw. Appl. 10(6): 1304-1322 (2017) - [c58]Chu Chen, Zhenhua Duan, Cong Tian, Hongwei Du:
Cloning Automata: Simulation and Analysis of Computer Bacteria. COCOA (1) 2017: 401-416 - [c57]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang:
Modeling and Verifying Multi-core Programs. COCOA (2) 2017: 492-500 - [c56]Zhao Duan, Cong Tian, Zhenhua Duan:
Verifying Temporal Properties of C Programs via Lazy Abstraction. ICFEM 2017: 122-139 - [c55]Meng Wang, Cong Tian, Zhenhua Duan:
Full regular temporal property verification as dynamic program execution. ICSE (Companion Volume) 2017: 226-228 - [c54]Xu Lu, Cong Tian, Zhenhua Duan:
Temporalising Separation Logic for Planning with Search Control Knowledge. IJCAI 2017: 1167-1173 - [c53]Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong:
More effective interpolations in software model checking. ASE 2017: 183-193 - [c52]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
- [j22]Nan Zhang, Zhenhua Duan, Cong Tian:
Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59(11): 118101 (2016) - [j21]Ya Shi
, Cong Tian, Zhenhua Duan, Mengchu Zhou:
Model checking Petri nets with MSVL. Inf. Sci. 363: 274-291 (2016) - [j20]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) - [j19]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) - [j18]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) - [j17]Nan Zhang, Zhenhua Duan, Cong Tian:
A mechanism of function calls in MSVL. Theor. Comput. Sci. 654: 11-25 (2016) - [c51]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 - [c50]Xu Lu, Zhenhua Duan, Cong Tian:
Using Unified Model Checking to Verify Heaps. COCOA 2016: 735-743 - [c49]Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui:
Satisfiability of Linear Time Mu-Calculus on Finite Traces. COCOON 2016: 611-622 - [c48]Yao Liu, Zhenhua Duan, Cong Tian:
A Decision Procedure for a Fragment of Linear Time Mu-Calculus. IJCAI 2016: 1195-1201 - [c47]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 - [c46]Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian:
A Proof System for MSVL Programs in Coq. SOFL+MSVL 2016: 121-143 - 2015
- [j16]Ling Luo, Zhenhua Duan, Cong Tian, Xiaobing Wang:
A structural transformation from p-π to MSVL. J. Comb. Optim. 29(1): 308-329 (2015) - [j15]Cong Tian, Zhenhua Duan, Mengfei Yang:
Transformation from PLTL to automata via NFGs. J. Comb. Optim. 29(2): 406-417 (2015) - [j14]Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang:
An extended strange planet protocol. J. Comb. Optim. 30(2): 299-319 (2015) - [j13]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) - [c45]Haiyang Wang, Zhenhua Duan, Cong Tian:
Symbolic Model Checking for Alternating Projection Temporal Logic. COCOA 2015: 481-495 - [c44]Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang:
Model Checking MSVL Programs Based on Dynamic Symbolic Execution. COCOON 2015: 521-533 - [c43]Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang:
Verification of a real time scheduling protocol of safety-critical systems. CSCWD 2015: 286-291 - [c42]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 - [c41]Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang:
A Self-ORganizing Trust Model Based on HP2P. MSN 2015: 96-101 - [c40]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 - [c39]Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan:
LtlNfBa: Making LTL Translation More Practical. SOFL+MSVL 2015: 179-194 - [c38]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
- [j12]Kai Yang, Zhenhua Duan, Cong Tian:
Modeling and Verification of RBC Handover Protocol. Electron. Notes Theor. Comput. Sci. 309: 51-62 (2014) - [j11]Bin Yu, Zhenhua Duan, Cong Tian:
Bounded Model Checking of Traffic Light Control System. Electron. Notes Theor. Comput. Sci. 309: 63-74 (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]Cong Tian, Zhenhua Duan, Zhao Duan:
Making CEGAR More Efficient in Software Model Checking. IEEE Trans. Software Eng. 40(12): 1206-1223 (2014) - [c37]Zhenhua Duan, Jin Liu, Jie Li, Cong Tian:
Improved Even Order Magic Square Construction Algorithms and Their Applications. COCOA 2014: 666-680 - [c36]Nan Zhang, Zhenhua Duan, Cong Tian:
An Axiomatization for Cylinder Computation Model. COCOON 2014: 71-83 - [c35]Zhenhua Duan, Cong Tian, Nan Zhang:
Normal Form Expressions of Propositional Projection Temporal Logic. COCOON 2014: 84-93 - [c34]Meng Wang, Zhenhua Duan, Cong Tian:
Simulation and verification of the virtual memory management system with MSVL. CSCWD 2014: 360-365 - [c33]Jin Cui, Zhenhua Duan, Cong Tian:
Model Checking Rate-Monotonic Scheduler with TMSVL. ICECCS 2014: 202-205 - [c32]Nan Zhang, Zhenhua Duan, Cong Tian:
Extending MSVL with Function Calls. ICFEM 2014: 446-458 - [c31]Bo Zhou, Xin Xia
, David Lo
, Cong Tian, Xinyu Wang:
Towards more accurate content categorization of API discussions. ICPC 2014: 95-105 - [c30]Quanrun Fan, Zhenhua Duan, Cong Tian, Hongwei Du:
Clustering and Partition Based Divide and Conquer for SAT Solving. MSN 2014: 299-307 - [c29]Bin Yu, Zhenhua Duan, Cong Tian:
Unified Bounded Model Checking for MSVL. SOFL+MSVL 2014: 49-61 - [c28]Kai Yang, Zhenhua Duan, Cong Tian:
A Memory Management Mechanism for MSVL. SOFL+MSVL 2014: 179-188 - [c27]Yao Liu, Zhenhua Duan, Cong Tian:
An Improved Recursive Algorithm for Parity Games. TASE 2014: 154-161 - [i3]Cong Tian, Zhenhua Duan:
Buchi Determinization Made Tighter. CoRR abs/1404.1436 (2014) - 2013
- [j6]Nan Zhang, Zhenhua Duan, Cong Tian:
A cylinder computation model for many-core parallel computing. Theor. Comput. Sci. 497: 68-83 (2013) - [c26]Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang:
Some Fixed-Point Issues in PPTL. Theories of Programming and Formal Methods 2013: 151-165 - [c25]Jin Liu, Zhenhua Duan, Cong Tian:
An Extended Strange Planet Protocol. COCOA 2013: 214-225 - [c24]Cong Tian, Zhenhua Duan, Mengfei Yang:
Deternimization of Büchi Automata as Partitioned Automata. COCOON 2013: 158-168 - [c23]Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He:
Bounded Model Checking for Propositional Projection Temporal Logic. COCOON 2013: 591-602 - [c22]Peng Zhang, Zhenhua Duan, Cong Tian:
Simulation of CTCS-3 protocol with temporal logic programming. CSCWD 2013: 72-77 - [c21]Ya Shi, Zhenhua Duan, Cong Tian:
Translation from Workflow Nets to MSVL. ICFEM 2013: 281-296 - [c20]Cong Tian, Zhenhua Duan:
Detecting spurious counterexamples efficiently in abstract model checking. ICSE 2013: 202-211 - [c19]Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu:
Integrating Separation Logic with PPTL. SOFL+MSVL 2013: 35-47 - [c18]Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang:
Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking. SOFL+MSVL 2013: 48-61 - [c17]Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu:
Present-Future Form of Linear Time $$\mu $$ -Calculus. SOFL+MSVL 2013: 76-85 - 2012
- [j5]Cong Tian, Zhenhua Duan, Nan Zhang:
An efficient approach for abstraction-refinement in model checking. Theor. Comput. Sci. 461: 76-85 (2012) - [c16]Cong Tian, Shaoying Liu, Zhenhua Duan:
Abstract Model Checking with SOFL Hierarchy. SOFL 2012: 71-86 - [c15]Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang:
Model Checking C Programs with MSVL. SOFL 2012: 87-103 - [c14]Tao Pang, Zhenhua Duan, Cong Tian:
Symbolic Model Checking for Propositional Projection Temporal Logic. TASE 2012: 9-16 - [r1]Zhenhua Duan, Cong Tian:
Model Checking. Handbook of Finite State Based Models and Applications 2012: 337-369 - 2011
- [j4]Cong Tian, Zhenhua Duan:
Expressiveness of propositional projection temporal logic with star. Theor. Comput. Sci. 412(18): 1729-1744 (2011) - [c13]Cong Tian, Zhenhua Duan:
Making Abstraction-Refinement Efficient in Model Checking. COCOON 2011: 402-413 - [c12]Cong Tian, Shaoying Liu, Shin Nakajima:
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. ICST Workshops 2011: 304-309 - [c11]Cong Tian, Zhenhua Duan:
Focus Game for Projection Temporal Logic. TASE 2011: 45-51 - [c10]Sven Schewe
, Cong Tian:
Synthesising Classic and Interval Temporal Logic. TIME 2011: 64-71 - [i2]Cong Tian, Zhenhua Duan:
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking. CoRR abs/1109.5506 (2011) - 2010
- [c9]Cong Tian, Zhenhua Duan:
A Transformation from PPTL to S1S. COCOA (2) 2010: 374-386 - [c8]Zhenhua Duan, Cong Tian:
An Improved Decision Procedure for Propositional Projection Temporal Logic. ICFEM 2010: 90-105 - [c7]Cong Tian, Zhenhua Duan:
Alternating Interval Based Temporal Logics. ICFEM 2010: 694-709 - [c6]Xiaoyu Song, Zhenhua Duan, Cong Tian:
Non-Functional Requirements Elicitation and Incorporation into Class Diagrams. Intelligent Information Processing 2010: 72-81 - [c5]Zhenhua Duan, Cong Tian:
An Executable Concurrent Model for OWL-S Process Models. QSIC 2010: 405-413 - [i1]Cong Tian, Zhenhua Duan:
Making Abstraction Refinement Efficient in Model Checking. CoRR abs/1007.3569 (2010)
2000 – 2009
- 2009
- [j3]Cong Tian, Zhenhua Duan:
A note on stutter-invariant PLTL. Inf. Process. Lett. 109(13): 663-667 (2009) - [j2]Cong Tian, Zhenhua Duan:
Complexity of propositional projection temporal logic with star. Math. Struct. Comput. Sci. 19(1): 73-100 (2009) - 2008
- [j1]Zhenhua Duan, Cong Tian, Li Zhang:
A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45(1): 43-78 (2008) - [c4]Zhenhua Duan, Cong Tian:
A Unified Model Checking Approach with Projection Temporal Logic. ICFEM 2008: 167-186 - [c3]Cong Tian, Zhenhua Duan:
Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. TAMC 2008: 47-58 - 2007
- [c2]Cong Tian, Zhenhua Duan:
Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM 2007: 246-265 - [c1]Zhenhua Duan, Cong Tian:
Decidability of Propositional Projection Temporal Logic with Infinite Models. TAMC 2007: 521-532
Coauthor Index
[j46] [j45] [j43] [j42] [j41] [j40] [j39] [c70] [c68] [c67] [e5] [i8] [j38] [j37] [j36] [j35] [j34] [j33] [j32] [c66] [e4] [e3] [j31] [j30] [j29] [j28] [j27] [j26] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [e2] [i6] [j25] [j24] [j23] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [e1] [j22] [j21] [j20] [j19] [j18] [j17] [c50] [c49] [c48] [c46] [j16] [j15] [j14] [j13] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [i5] [i4] [j12] [j11] [j10] [j9] [j8] [j7] [c37] [c36] [c35] [c34] [c33] [c32] [c30] [c29] [c28] [c27] [i3] [j6] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [j5] [c16] [c15] [c14] [r1] [j4] [c13] [c11] [i2] [c9] [c8] [c7] [c6] [c5] [i1] [j3] [j2] [j1] [c4] [c3] [c2] [c1]