The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Cong Tian" ( http://dblp.L3S.de/Authors/Cong_Tian )

  Author page on DBLP  Author page in RDF  Community of Cong Tian in ASPL-2

Publication years (Num. hits)
2007-2011 (19) 2012-2013 (16) 2014 (18) 2015-2016 (26) 2017-2018 (26) 2019 (10)
Publication types (Num. hits)
article(44) incollection(1) inproceedings(66) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords

Results
Found 116 publication records. Showing 115 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Meng Wang, Cong Tian, Nan Zhang 0001, Zhenhua Duan Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Cong Tian, Nan Zhang 0001, Qian Ma, Hongwei Du 0001 Index set expressions can represent temporal logic formulas. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan Model checking open systems with alternating projection temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kai Yang, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du 0001 A temporal logic programming approach to planning. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Meng Wang, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du 0001 Verifying a scheduling protocol of safety-critical systems. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jin Cui, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du 0001 Verifying schedulability of tasks in ROS-based systems. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.) Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jie Zhang, Cong Tian, Zhenhua Duan FastDroid: efficient taint analysis for Android applications. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ding-Zhu Du, Zhenhua Duan, Cong Tian (eds.) Computing and Combinatorics - 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings Search on Bibsonomy COCOON The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jin Cui, Zhenhua Duan, Cong Tian, Hongwei Du 0001 A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang 0001 A compiler for MSVL and its applications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang 0001 Verifying temporal properties of programs: A parallel approach. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang 0001 A Runtime Optimization Approach for FPGA Routing. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du 0001 Planning with Spatio-Temporal Search Control Knowledge. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Meng Wang, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Chenguang Yao Translating C programs to MSVL programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Weili Wu, Hongwei Du 0001, Huijuan Wang, Lidong Wu, Zhenhua Duan, Cong Tian On general threshold and general cascade models of social influence. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang 0001, Ying Wu A Blockchain Implementation of an Attendance Management System. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.) Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong InterpChecker: Reducing State Space via Interpolations - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao Reducing Extension Edges of Concurrent Programs for Reachability Analysis. Search on Bibsonomy COCOA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cong Tian, Congli Xia, Zhenhua Duan Android inter-component communication analysis with intent revision. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao RFC-directed differential testing of certificate validation in SSL/TLS implementations. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhao Duan, Zhenhua Duan Accelerating counterexample detection in software model checking. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian, Hongwei Du 0001 A Novel Approach to Verifying Context Free Properties of Programs. Search on Bibsonomy AAIM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Haiyang Wang, Zhenhua Duan, Cong Tian Model Checking Multi-agent Systems with APTL. Search on Bibsonomy Ad Hoc & Sensor Wireless Networks The full citation details ... 2017 DBLP  BibTeX  RDF
1Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang 0001, Hongwei Du 0001, Lei Wang Two-layer hybrid peer-to-peer networks. Search on Bibsonomy Peer-to-Peer Networking and Applications The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao MSVL: a typed language for temporal logic programming. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhao Duan, Cong Tian, Zhenhua Duan Verifying Temporal Properties of C Programs via Lazy Abstraction. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui Implementing MapReduce with MSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.) Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian, Hongwei Du 0001, Kai Yang Modeling and Verifying Multi-core Programs. Search on Bibsonomy COCOA (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chu Chen, Zhenhua Duan, Cong Tian, Hongwei Du 0001 Cloning Automata: Simulation and Analysis of Computer Bacteria. Search on Bibsonomy COCOA (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong More effective interpolations in software model checking. Search on Bibsonomy ASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Meng Wang, Cong Tian, Zhenhua Duan Full regular temporal property verification as dynamic program execution. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xu Lu, Cong Tian, Zhenhua Duan Temporalising Separation Logic for Planning with Search Control Knowledge. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ya Shi, Cong Tian, Zhenhua Duan, Mengchu Zhou Model checking Petri nets with MSVL. Search on Bibsonomy Inf. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian A complete axiom system for propositional projection temporal logic with cylinder computation model. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Cong Tian, Nan Zhang 0001 A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian A mechanism of function calls in MSVL. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian Model checking concurrent systems with MSVL. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian Verifying safety critical task scheduling systems in PPTL axiom system. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li 0001 Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. Search on Bibsonomy ICIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lin Qian, Zhenhua Duan, Nan Zhang 0001, Cong Tian A Proof System for MSVL Programs in Coq. Search on Bibsonomy SOFL+MSVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xu Lu, Zhenhua Duan, Cong Tian Using Unified Model Checking to Verify Heaps. Search on Bibsonomy COCOA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui 0001 Satisfiability of Linear Time Mu-Calculus on Finite Traces. Search on Bibsonomy COCOON The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lingfeng Bao, David Lo 0001, Xin Xia 0001, Xinyu Wang 0001, Cong Tian How android app developers manage power consumption?: an empirical study by mining power management commits. Search on Bibsonomy MSR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yao Liu, Zhenhua Duan, Cong Tian A Decision Procedure for a Fragment of Linear Time Mu-Calculus. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Zhenhua Duan, Jin Liu, Jie Li, Cong Tian Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yao Liu, Zhenhua Duan, Cong Tian An Improved Decision Procedure for Linear Time Mu-Calculus. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Xu Lu, Zhenhua Duan, Cong Tian Extending PPTL for Verifying Heap Evolution Properties. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Cong Tian, Zhenhua Duan, Mengfei Yang Transformation from PLTL to automata via NFGs. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ling Luo, Zhenhua Duan, Cong Tian, Xiaobing Wang A structural transformation from p-π to MSVL. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang 0001 An extended strange planet protocol. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang 0001, Conghao Zhou Model Checking \mu μ C/OS-III Multi-task System with TMSVL. Search on Bibsonomy ICFEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang 0001 Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xiaoming Zhang, Zhenhua Duan, Cong Tian PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic. Search on Bibsonomy SOFL+MSVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan LtlNfBa: Making LTL Translation More Practical. Search on Bibsonomy SOFL+MSVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang 0001, Bohu Huang A Self-ORganizing Trust Model Based on HP2P. Search on Bibsonomy MSN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang 0001 Verification of a real time scheduling protocol of safety-critical systems. Search on Bibsonomy CSCWD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Haiyang Wang, Zhenhua Duan, Cong Tian Symbolic Model Checking for Alternating Projection Temporal Logic. Search on Bibsonomy COCOA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang 0001 Model Checking MSVL Programs Based on Dynamic Symbolic Execution. Search on Bibsonomy COCOON The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bin Yu, Zhenhua Duan, Cong Tian Bounded Model Checking of Traffic Light Control System. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kai Yang, Zhenhua Duan, Cong Tian Modeling and Verification of RBC Handover Protocol. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan, Jin Liu Secure communications with strange planet protocol. Search on Bibsonomy Optimization Letters The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Cong Tian A practical decision procedure for Propositional Projection Temporal Logic with infinite models. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian, Ding-Zhu Du A formal proof of the deadline driven scheduler in PPTL axiomatic system. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan, Zhao Duan Making CEGAR More Efficient in Software Model Checking. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan Buchi Determinization Made Tighter. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian Extending MSVL with Function Calls. Search on Bibsonomy ICFEM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bo Zhou, Xin Xia 0001, David Lo 0001, Cong Tian, Xinyu Wang 0001 Towards more accurate content categorization of API discussions. Search on Bibsonomy ICPC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bin Yu, Zhenhua Duan, Cong Tian Unified Bounded Model Checking for MSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kai Yang, Zhenhua Duan, Cong Tian A Memory Management Mechanism for MSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Quanrun Fan, Zhenhua Duan, Cong Tian, Hongwei Du 0001 Clustering and Partition Based Divide and Conquer for SAT Solving. Search on Bibsonomy MSN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Meng Wang, Zhenhua Duan, Cong Tian Simulation and verification of the virtual memory management system with MSVL. Search on Bibsonomy CSCWD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Jin Liu, Jie Li, Cong Tian Improved Even Order Magic Square Construction Algorithms and Their Applications. Search on Bibsonomy COCOA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian An Axiomatization for Cylinder Computation Model. Search on Bibsonomy COCOON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Cong Tian, Nan Zhang 0001 Normal Form Expressions of Propositional Projection Temporal Logic. Search on Bibsonomy COCOON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yao Liu, Zhenhua Duan, Cong Tian An Improved Recursive Algorithm for Parity Games. Search on Bibsonomy TASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jin Cui, Zhenhua Duan, Cong Tian Model Checking Rate-Monotonic Scheduler with TMSVL. Search on Bibsonomy ICECCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian A cylinder computation model for many-core parallel computing. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ya Shi, Zhenhua Duan, Cong Tian Translation from Workflow Nets to MSVL. Search on Bibsonomy ICFEM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang 0001 Some Fixed-Point Issues in PPTL. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu Present-Future Form of Linear Time $$\mu $$ -Calculus. Search on Bibsonomy SOFL+MSVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking. Search on Bibsonomy SOFL+MSVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu Integrating Separation Logic with PPTL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Peng Zhang, Zhenhua Duan, Cong Tian Simulation of CTCS-3 protocol with temporal logic programming. Search on Bibsonomy CSCWD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jin Liu, Zhenhua Duan, Cong Tian An Extended Strange Planet Protocol. Search on Bibsonomy COCOA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan Detecting spurious counterexamples efficiently in abstract model checking. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He Bounded Model Checking for Propositional Projection Temporal Logic. Search on Bibsonomy COCOON The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan, Mengfei Yang Deternimization of Büchi Automata as Partitioned Automata. Search on Bibsonomy COCOON The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Cong Tian Model Checking. Search on Bibsonomy Handbook of Finite State Based Models and Applications The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan, Nan Zhang 0001 An efficient approach for abstraction-refinement in model checking. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang Model Checking C Programs with MSVL. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cong Tian, Shaoying Liu, Zhenhua Duan Abstract Model Checking with SOFL Hierarchy. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tao Pang, Zhenhua Duan, Cong Tian Symbolic Model Checking for Propositional Projection Temporal Logic. Search on Bibsonomy TASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan Expressiveness of propositional projection temporal logic with star. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cong Tian, Zhenhua Duan Detecting Spurious Counterexamples Efficiently in Abstract Model Checking Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Cong Tian, Shaoying Liu, Shin Nakajima 0001 Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. Search on Bibsonomy ICST Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sven Schewe, Cong Tian Synthesising Classic and Interval Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 115 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license