The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Huibiao Zhu" ( http://dblp.L3S.de/Authors/Huibiao_Zhu )

  Author page on DBLP  Author page in RDF  Community of Huibiao Zhu in ASPL-2

Publication years (Num. hits)
2001-2007 (24) 2008-2009 (17) 2010-2011 (25) 2012 (21) 2013 (15) 2014 (18) 2015-2016 (24) 2017-2018 (32) 2019 (13)
Publication types (Num. hits)
article(43) inproceedings(138) phdthesis(1) proceedings(7)
Venues (Conferences, Journals, ...)
TASE(22) HASE(14) ICFEM(11) SEW(10) UTP(10) ICECCS(8) SEKE(6) APSEC(5) COMPSAC (1)(5) ISSE(5) MONET(5) Sci. Comput. Program.(5) ABZ(4) ICTAC(4) ACM Trans. Softw. Eng. Methodo...(3) ECBS(3) More (+10 of total 66)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 35 occurrences of 23 keywords

Results
Found 190 publication records. Showing 189 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xiaoran Zhu, Min Zhang 0002, Jian Guo, Xin Li 0010, Huibiao Zhu, Jifeng He Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shuangqing Xiang, Xi Wu 0005, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh Modeling and Verifying Basic Modules of Floodlight. Search on Bibsonomy MONET The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Xi Wu 0005, Phan Cong Vinh Formal Verification of mCWQ Using Extended Hoare Logic. Search on Bibsonomy MONET The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong Isolation Modeling and Analysis Based on Mobility. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang Modeling and Verifying Spark on YARN Using Process Algebra. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao Modeling and Verifying Storm Using CSP. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin A Security Calculus for Wireless Networks of Named Data Networking. Search on Bibsonomy ICFEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu PDNet: A Programming Language for Software-Defined Networks with VLAN. Search on Bibsonomy ICFEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin Modeling and Verifying TESAC Using CSP. Search on Bibsonomy SEKE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu Formalization and Verification of RTPS StatefulWriter Module Using CSP. Search on Bibsonomy SEKE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu Verifying Static Aspects of UML models using Prolog (S). Search on Bibsonomy SEKE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Huibiao Zhu, Wanling Xie UTP Semantics of a Calculus for Mobile Ad Hoc Networks. Search on Bibsonomy UTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuan Fei, Huibiao Zhu, Xi Wu 0005, Huixing Fang, Shengchao Qin Comparative modelling and verification of Pthreads and Dthreads. Search on Bibsonomy Journal of Software: Evolution and Process The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yifan Zhang 0005, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen 0027, Xuandong Li Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaoran Zhu, Yuanmin Xu, Xin Li 0010, Jian Guo, Huibiao Zhu, Phan Cong Vinh Formal Analysis of the PKMv3 Protocol. Search on Bibsonomy MONET The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Huibiao Zhu Formal analysis of a calculus for WSNs from quality perspective. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Shuangqing Xiang, Huibiao Zhu A UTP approach for rTiMo. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuan Fei, Huibiao Zhu Modeling and Verifying NDN Access Control Using CSP. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Shengchao Qin UTP Semantics for BigrTiMo. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuan Fei, Huibiao Zhu, Huiwen Wang Security Analysis of the Access Control Solution of NDN Using BAN Logic (S). Search on Bibsonomy SEKE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yucheng Fang, Huibiao Zhu, Huiwen Wang Modeling and Verifying Leader Election Algorithm in CSP (S). Search on Bibsonomy SEKE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. Search on Bibsonomy SEKE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lili Xiao, Shuangqing Xiang, Huibiao Zhu Modeling and verifying SDN with multiple controllers. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Longfei Zhu, Qiwen Xu, Huibiao Zhu Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. Search on Bibsonomy FedCSIS (Communication Papers) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie Modeling and Verifying MooseFS in CSP. Search on Bibsonomy COMPSAC (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Min Zhang 0002, Gang Lu, Yucheng Fang Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. Search on Bibsonomy COMPSAC (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP. Search on Bibsonomy COMPSAC (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. Search on Bibsonomy TASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuan Fei, Huibiao Zhu, Xin Li Modeling and Verification of NLSR Protocol using UPPAAL. Search on Bibsonomy TASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wenjun Du, Zhengfeng Yang, Huibiao Zhu A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. Search on Bibsonomy TASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen Event-Based Mobility Modeling and Analysis. Search on Bibsonomy TCPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Xi Wu 0005, Shuangqing Xiang, Jian Guo, Phan Cong Vinh Modeling and Verifying HDFS Using Process Algebra. Search on Bibsonomy MONET The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei A Proof System for MDESL. Search on Bibsonomy FedCSIS (Communication Papers) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ailun Liu, Miroslav Popovic, Huibiao Zhu Formalization and Verification of the PSTM Architecture. Search on Bibsonomy APSEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chao Xu, Huibiao Zhu, Wanling Xie Modeling and Verifying Identity Authentication Security of HDFS Using CSP. Search on Bibsonomy APSEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luyao Wang, Wanling Xie, Huibiao Zhu Assertion-Based Reasoning Method for Calculus of Wireless System. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jonathan P. Bowen, Huibiao Zhu (eds.) Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers Search on Bibsonomy UTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu 0005, Jian Guo, Gang Lu Formalization and Verification of the PKMv3 Protocol Using CSP. Search on Bibsonomy COMPSAC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. Search on Bibsonomy COMPSAC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Xi Wu 0005, Huibiao Zhu, Gang Lu, Ailun Liu A Proof System for mCWQ. Search on Bibsonomy COMPSAC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, Huibiao Zhu RunDroid: recovering execution call graphs for Android applications. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Qiwen Xu BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu Developments in concurrent Kleene algebra. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ming Xu 0010, Lijun Zhang 0001, David N. Jansen, Huibiao Zhu, Zongyuan Yang Multiphase until formulas over Markov reward models: An algebraic approach. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Huixing Fang, Huibiao Zhu, Jifeng He SMT-Based Symbolic Encoding and Formal Analysis of HML Models. Search on Bibsonomy MONET The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Huibiao Zhu Formalization and analysis of the REST architecture from the process algebra perspective. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Yongxin Zhao, Huibiao Zhu Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuan Fei, Huibiao Zhu, Xi Wu 0005, Huixing Fang Comparative Modeling and Verification of Pthreads and Dthreads. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Min Zhang 0002, Frédéric Mallet, Huibiao Zhu An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Richard Banach, Huibiao Zhu Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. Search on Bibsonomy FTSCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lingling Fan, Sen Chen, Lihua Xu, Zongyuan Yang, Huibiao Zhu Model-Based Continuous Verification. Search on Bibsonomy APSEC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Xi Wu 0005, Shuangqing Xiang, Jian Guo Modeling and Verifying HDFS Using CSP. Search on Bibsonomy COMPSAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong Analyzing Event-Based Scheduling in Concurrent Reactive Systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin Semantic theories of programs with nested interrupts. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu Core Hybrid Event-B I: Single Hybrid Event-B machines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke Denotational semantics and its algebraic derivation for an event-driven system-level language. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song Modeling and Verifying Google File System. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Huibiao Zhu A Calculus for Wireless Sensor Networks from Quality Perspective. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Huixing Fang, Huibiao Zhu, Jianqi Shi An Object-Oriented Language for Modeling of Hybrid Systems. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu Modeling and Verifying the Ballooning in Xen with CSP. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu Verification for OAuth Using ASLan++. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yiting Tang, Xi Wu 0005, Huibiao Zhu, Jian Guo Formalization and Verification of REST Architecture in Viewpoints. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Huibiao Zhu Probabilistic Analysis of a Calculus for Wireless Sensor Networks. Search on Bibsonomy FTSCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Hanne Riis Nielson, Huibiao Zhu A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. Search on Bibsonomy TASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu 0005, Huibiao Zhu, Weikai Miao Formal Verification of PKMv3 Protocol Using DT-Spin. Search on Bibsonomy TASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou Modeling and Verification of CAN Bus with Application Layer using UPPAAL. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ting Yuan, Yiting Tang, Xi Wu 0005, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin Formalization and Verification of REST on HTTP Using CSP. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Yanhong Huang, Qin Li 0002, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu 0005 Investigating System Survivability from a Probabilistic Perspective. Search on Bibsonomy IEICE Transactions The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Search on Bibsonomy STTT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Search on Bibsonomy STTT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu A Continuous ASM Modelling Approach to Pacemaker Sensing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Qin Li, Jianqi Shi, Huibiao Zhu A formal framework for service mashups with dynamic service selection. Search on Bibsonomy ISSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Qin Li 0002, Yongxin Zhao, Huibiao Zhu, Jifeng He A UTP semantic model for Orc language with execution status and fault handling. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wen Su, Jean-Raymond Abrial, Huibiao Zhu Formalizing hybrid systems with Event-B and the Rodin Platform. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu ASM, controller synthesis, and complete refinement. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn Developments in Concurrent Kleene Algebra. Search on Bibsonomy RAMICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. Search on Bibsonomy APSEC (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xiaofeng Wu, Huibiao Zhu, Xi Wu 0005 Observation-Oriented Semantics for Calculus of Wireless Systems. Search on Bibsonomy UTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu A Formal Model for a Hybrid Programming Language. Search on Bibsonomy UTP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Si Liu 0001, Huibiao Zhu, Yongxin Zhao Reasoning about Group-Based Mobility in MANETs. Search on Bibsonomy PRDC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong Configuration of Services Based on Virtualization. Search on Bibsonomy TASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Qinwen Ran, Xi Wu 0005, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu Modeling and Verifying the TTCAN Protocol Using Timed CSP. Search on Bibsonomy TASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu 0001 Modeling and verifying the Ariadne protocol using process algebra. Search on Bibsonomy Comput. Sci. Inf. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Huixing Fang, Huibiao Zhu, Jianqi Shi Apricot - An Object-Oriented Modeling Language for Hybrid Systems Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Xiaofeng Wu, Huibiao Zhu Linking Operational Semantics and Algebraic Semantics for Wireless Networks. Search on Bibsonomy ICFEM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aditya K. Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin 0001, Jianmin Wang 0001, Yan Wang 0002 (eds.) Service-Oriented Computing - ICSOC 2012 Workshops - ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers Search on Bibsonomy ICSOC Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhiming Liu 0001, Jim Woodcock, Huibiao Zhu (eds.) Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures Search on Bibsonomy ICTAC Training School on Software Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhiming Liu 0001, Jim Woodcock, Huibiao Zhu (eds.) Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings Search on Bibsonomy ICTAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu 0005 Linking the Semantics of BPEL Using Maude. Search on Bibsonomy APSEC (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu Towards a Modeling Language for Cyber-Physical Systems. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhiming Liu 0001, Jim Woodcock, Huibiao Zhu (eds.) Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu A Denotational Model for Interrupt-Driven Programs. Search on Bibsonomy ICST Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nehul Jain, Saikat Dutta 0001, Ansuman Banerjee, Anil K. Ghosh, Lihua Xu, Huibiao Zhu Using Daikon to Prioritize and Group Unit Bugs. Search on Bibsonomy FACS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. Search on Bibsonomy TASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xiaofeng Wu, Qiwen Xu, Huibiao Zhu Formal Analysis of AODV Using Rely-Guarantee. Search on Bibsonomy TASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 189 (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