Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jianhua Zhao
2010 – today
- 2013
[j14]Hadi Mansoor, Haishan Zeng, Isabella T. Tai, Jianhua Zhao, Mu Chiao: A Handheld Electromagnetically Actuated Fiber Optic Raster Scanner for Reflectance Confocal Imaging of Biological Tissues. IEEE Trans. Biomed. Engineering 60(5): 1431-1438 (2013)- 2012
- [j13]Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao: Timing analysis of scenario-based specifications using linear programming. Softw. Test., Verif. Reliab. 22(2): 121-143 (2012)
- [c41]Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li: Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS 2012: 237
- [c40]Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li: Time-leverage point detection for time sensitive software maintenance. ICSM 2012: 567-570
- [c39]Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li: Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE 2012: 369-374
- [c38]Xiaoyu Zhou, Qian Li, Jianhua Zhao: A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking. SERE (Companion) 2012: 158-167
- 2011
- [j12]Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li: Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Review 8(2): 7-10 (2011)
- [c37]Dihua Cai, Jianhua Zhao, Yaohui Li, Ni Guo, Haixia Duan, Hui Han, Jing Wang: Influence of changes of underlying surface on the output of sand-dust model. IGARSS 2011: 720-723
- 2010
- [j11]Xiuyi Zhou, Jun Yang, Yi Xu, Youtao Zhang, Jianhua Zhao: Thermal-Aware Task Scheduling for 3D Multicore Processors. IEEE Trans. Parallel Distrib. Syst. 21(1): 60-71 (2010)
- [c36]Lin Li, Youtao Zhang, Jun Yang, Jianhua Zhao: Proactive NBTI mitigation for busy functional units in out-of-order microprocessors. DATE 2010: 411-416
- [c35]Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li: McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. ICECCS 2010: 255-256
- [c34]Jianhua Zhao, Yinjian Jiang: Knowledge Construction through Discussion Forum in a Blended Learning Environment. ICHL 2010: 395-406
- [c33]Qian Li, Jianhua Zhao, Xuandong Li: Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. ISoLA (1) 2010: 564-578
- [c32]You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li: Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda 2010: 53-62
- [c31]Lei Bu, Jianhua Zhao, Xuandong Li: Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. VMCAI 2010: 78-94
- [i2]Jianhua Zhao, Xuandong Li: Scope Logic with Local Reasoning and Pre/Post-State Properties. CoRR abs/1012.2553 (2010)
2000 – 2009
- 2009
- [j10]Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li: UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. Comput. J. 52(5): 545-556 (2009)
- [j9]
- [j8]Qiyun Wang, Huay Lit Woo, Jianhua Zhao: Investigating critical thinking and knowledge construction in an interactive learning environment. Interactive Learning Environments 17(1): 95-104 (2009)
- [c30]Xiaohua Li, Jianhua Zhao, Ligang Fan: A Discussion on the Training Mode of University Administrative Staffs under the Specialization View. ETT 2009: 146-149
- [c29]Xiaohua Li, Junshuan Liu, Jianhua Zhao: The International Comparison of Professionalization of University Administrators and the Related Apocalypse. ETT 2009: 154-158
- [c28]Jianhua Zhao, Yinjian Jiang: A Descriptive Method for Simulating a Group Knowledge Building Process. ICHL 2009: 249-259
- [c27]Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li: Design pattern directed clustering for understanding open source code. ICPC 2009: 295-296
- [c26]
- [i1]Jianhua Zhao, Xuandong Li: Scope Logic: Extending Hoare Logic for Pointer Program Verification. CoRR abs/0912.4184 (2009)
- 2008
- [c25]Jianhua Zhao, Chaoying Liu, Xueling Song, Zheying Song: Discussion on Teamwork Construction in Teaching of Universities and Colleges. CSSE (5) 2008: 5-8
- [c24]Jianhua Zhao, David McConnell: Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study. CSSE (5) 2008: 392-395
- [c23]Jianhua Zhao: An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education. Edutainment 2008: 162-170
- [c22]Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao: Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE 2008: 487-490
- [c21]Jianhua Zhao: A Sociogram Analysis on Group Interaction in an Online Discussion Forum. ICWL 2008: 377-389
- [c20]Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276
- [c19]Tian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao: A MDE Based Approach for Bridging Formal Models. TASE 2008: 113-116
- 2007
- [j7]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li: A model-driven development framework for enterprise Web services. Information Systems Frontiers 9(4): 391-409 (2007)
- [c18]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li: Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218
- 2006
- [j6]Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21(1): 41-51 (2006)
- [c17]Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng: Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105
- [c16]Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li: A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84
- [c15]Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
- [c14]Jianhua Zhao, David McConnell: Students' Understandings and Attitudes toward Group learning: An Empirical Study. ICCE 2006: 205-208
- [c13]Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng: Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396
- 2005
- [j5]Jianhua Zhao, Xuandong Li, Guoliang Zheng: A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. 96(3): 101-105 (2005)
- [c12]Weizhen Yan, Jianhua Zhao, Zhe Cao: Fuzzy Programming Model for Lot Sizing Production Planning Problem. FSKD (1) 2005: 285-294
- [c11]Jinwu Gao, Jianhua Zhao, Xiaoyu Ji: Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions. FSKD (1) 2005: 304-311
- [c10]Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
- [c9]Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng: Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312
- 2004
- [j4]Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
- [c8]Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
- 2003
- [c7]Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
- 2002
- [j3]Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng: Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebr. Program. 52-53: 79-108 (2002)
- [c6]Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
- [c5]Jianhua Zhao, David McConnell, Kedong Li, Kanji Akahori: STAD Modeling Method for Computer Supported Group Learning. ICCE 2002: 344-348
- 2001
- [c4]Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng: Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480
- [c3]Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
- 2000
- [j2]Jianhua Zhao, Dang Van Hung: Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
1990 – 1999
- 1998
- [c2]Jianhua Zhao, Dang Van Hung: On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250
- [c1]Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. HSCC 1998: 384-399
- 1997
- [j1]Jianhua Zhao, Chen Jiajun, Guoliang Zheng: Message Conversion and A New Type System for OO Model. SIGPLAN Notices 32(9): 61-67 (1997)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-25 21:52 CEST by the dblp team