The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Zhenhua Duan" ( http://dblp.L3S.de/Authors/Zhenhua_Duan )

  Author page on DBLP  Author page in RDF  Community of Zhenhua Duan in ASPL-2

Publication years (Num. hits)
1994-2007 (19) 2008-2009 (20) 2010-2011 (20) 2012-2013 (25) 2014 (18) 2015 (17) 2016-2017 (26) 2018 (15) 2019-2020 (24) 2021-2022 (21) 2023 (1)
Publication types (Num. hits)
article(78) incollection(2) inproceedings(112) phdthesis(1) proceedings(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 40 occurrences of 33 keywords

Results
Found 207 publication records. Showing 206 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bin Yu, Cong Tian, Xu Lu, Nan Zhang 0001, Zhenhua Duan A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Meng Wang 0021, Zhenhua Duan, Cong Tian Verifying Properties of MapReduce-Based Big Data Processing. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Xinya Ning, Nan Zhang 0001, Zhenhua Duan, Cong Tian PPTL specification mining based on LNFG. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan Improving transferability of adversarial examples by saliency distribution and data augmentation. Search on Bibsonomy Comput. Secur. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Cong Tian, Nan Zhang 0001, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu A novel load balancing scheme for mobile edge computing. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Guoyin Wang 0001, Qun Liu, Yan Shi USV Path Planning Based on Adaptive Fuzzy Reward. Search on Bibsonomy IJCRS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jiarui Wang, Nan Zhang, Zhenhua Duan Three Algorithms for Converting Control Flow Statements from Python to XD-M. Search on Bibsonomy AAIM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Xiaoting Zhong, Nan Zhang 0001, Zhenhua Duan An Approach for Automatically Generating Traces for Python Programs. Search on Bibsonomy DSA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jie Zhang 0084, Cong Tian, Zhenhua Duan, Liang Zhao RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Kai Yang, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du 0001 A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xu Lu, Nan Zhang 0001, Cong Tian, Bin Yu, Zhenhua Duan A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. Search on Bibsonomy IEEE Trans. Intell. Transp. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan Temporal logic specification mining of programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Zhenhua Duan, Cong Tian Unified temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jin Liu, Zhenhua Duan, Cong Tian Multi-matching nested relations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Cong Tian, Nan Zhang 0001, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu A Novel Load Balancing Scheme for Mobile Edge Computing. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Jie Zhang 0084, Cong Tian, Zhenhua Duan An efficient approach for taint analysis of android applications. Search on Bibsonomy Comput. Secur. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Bin Yu, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du 0001 A dynamic approach to detecting, eliminating and fixing memory leaks. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan Improving Quality of Counterexamples in Model Checking via Automated Planning. Search on Bibsonomy QRS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.) Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jie Su, Cong Tian, Zhenhua Duan Conditional interpolation: making concurrent program verification more effective. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yajie Wang, Nan Zhang 0001, Zhenhua Duan Design and Implementation of List and Dictionary in XD-M Language. Search on Bibsonomy AAIM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jie Zhang 0084, Lin Yan, Rong Wang, Cong Tian, Zhenhua Duan Malware Detection using CNN via Word Embedding. Search on Bibsonomy DSA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xinfeng Shu, Zhenhua Duan, Hongwei Du 0001 A decision procedure and complete axiomatization for projection temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Meng Wang 0021, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Chenguang Yao Translating Xd-C programs to MSVL programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 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 Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du 0001 Verify heaps via unified model checking. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang 0001 ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Cong Tian, Wensheng Wang, Zhenhua Duan Making Streett Determinization Tight. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Nan Zhang 0001, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang P2P Network Based Smart Parking System Using Edge Computing. Search on Bibsonomy Mob. Networks Appl. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Cong Tian, Wensheng Wang, Zhenhua Duan Making Streett Determinization Tight. Search on Bibsonomy LICS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jie Zhang 0084, Cong Tian, Zhenhua Duan, Liang Zhao RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds.) Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Xiaoshuai Yuan, Zhenhua Duan Propositional Projection Temporal Logic Specification Mining. Search on Bibsonomy COCOA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jin Liu, Zhenhua Duan, Cong Tian Transforming Multi-matching Nested Traceable Automata to Multi-matching Nested Expressions. Search on Bibsonomy COCOA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski From Box Algebra to Interval Temporal Logic. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Meng Wang 0021, Cong Tian, Nan Zhang 0001, Zhenhua Duan Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. Search on Bibsonomy IEEE Trans. Reliab. 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
1Liang Zhao, Xiaobing Wang, Zhenhua Duan Model checking of pushdown systems for projection temporal logic. 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 0021, 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 0084, 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. Reliab. 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 Distributed 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. Comput. Aided Des. Integr. Circuits Syst. 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 0021, 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 0001, 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 Sens. Wirel. 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 0126 Two-layer hybrid peer-to-peer networks. Search on Bibsonomy Peer-to-Peer Netw. Appl. 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
1Zhenhua Duan, Luke Ong (eds.) Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nan Zhang 0001, Meng Wang 0021, 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 0021, 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
1Xinmin Song, Zhenhua Duan, Ju H. Park 0001 Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping. Search on Bibsonomy Appl. Math. Comput. 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 Sci. China Inf. Sci. 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
1Man Zhang, Zhenhua Duan, Qingshan Li, Hua Chu Transformation from business process models to BPEL with overlapped patterns involved. Search on Bibsonomy Int. J. High Perform. Comput. Netw. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaoying Liu, Zhenhua Duan (eds.) Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers Search on Bibsonomy SOFL+MSVL 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 0010, 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
1Xinfeng Shu, Zhenhua Duan Extending MSVL with Semaphore. Search on Bibsonomy COCOON The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yao Liu 0010, 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 0010, 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
1Qian Ma, Zhenhua Duan, Nan Zhang 0001, Xiaobing Wang Verification of distributed systems with the axiomatic system of MSVL. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2015 DBLP  DOI  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
1Xinfeng Shu, Zhenhua Duan Model Checking Process Scheduling over Multi-core Computer System with MSVL. Search on Bibsonomy SOFL+MSVL 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
1Shaoying Liu, Zhenhua Duan (eds.) Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers 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
Displaying result #1 - #100 of 206 (100 per page; Change: )
Pages: [1][2][3][>>]
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