Jianhua Zhao

According to our database1, Jianhua Zhao authored at least 114 papers between 1997 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Marine Floating Raft Aquaculture Detection of GF-3 PolSAR Images Based on Collective Multikernel Fuzzy Clustering.
IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 2019

Delimitating Urban Commercial Central Districts by Combining Kernel Density Estimation and Road Intersections: A Case Study in Nanjing City, China.
ISPRS Int. J. Geo-Information, 2019

Fast QR code detection based on BING and AdaBoost-SVM.
Proceedings of the 20th IEEE International Conference on High Performance Switching and Routing, 2019

2018
Model-based Construction and Verification of Cyber-Physical Systems.
ACM SIGSOFT Software Engineering Notes, 2018

Evaluating Metal Effects on the Reflectance Spectra of Plant Leaves during Different Seasons in Post-Mining Areas, China.
Remote Sensing, 2018

Safe semi-supervised classification algorithm combined with active learning sampling strategy.
Journal of Intelligent and Fuzzy Systems, 2018

Coastline carrying capacity monitoring and assessment based on GF-1 satellite remote sensing images.
EURASIP J. Image and Video Processing, 2018

Dual-force: understanding WebView malware via cross-language forced execution.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Marine Aquaculture Targets Automatic Recognition Based on GF-3 PolSAR Imagery.
Proceedings of the Advances in Neural Networks - ISNN 2018, 2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

2017
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Automatic detection and validation of race conditions in interrupt-driven embedded software.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Study on dew characteristics in Loess Plateau, China.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

Monitoring the thermal discharge of hongyanhe nuclear power plant with aerial remote sensing technology using a UAV platform.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

Marine reclamation feature analysis based on GF-3 SAR remote sensing imagery.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

A Framework for Array Invariants Synthesis in Induction-Loop Programs.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Case deletion diagnostics for GMM estimation.
Computational Statistics & Data Analysis, 2016

Precondition Calculation for Loops Iterating over Data Structures.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automatic Invariant Synthesis for Arrays in Simple Programs.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

ACSPChecker: an ASP based CSP model checking tool.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Coupling effects of nutrients and temperature for the hazard degree dynamic assessment of Karenia mikimotoi red tide disasters in the Wenzhou coastal waters.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Comparison of different spatial resolution thermal infrared data in monitoring thermal plume from the Hongyanhe nuclear power plant.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Automatic model generation from documentation for Java API functions.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Two-Stage Regularized Linear Discriminant Analysis for 2-D Data.
IEEE Trans. Neural Netw. Learning Syst., 2015

A declarative approach for Java code instrumentation.
Software Quality Journal, 2015

Mixture model selection via hierarchical BIC.
Computational Statistics & Data Analysis, 2015

Assertion-Directed Precondition Synthesis for Loops over Data Structures.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Fault-Localization Approach Based on the Coincidental Correctness Probability.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Node-Set Analysis for Linked Recursive Data Structures.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Code Generation for Abstract Data Types Based on Program Analysis.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Analyzing Inductively Defined Properties for Recursive Data Structures.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

2014
Efficient Model Selection for Mixtures of Probabilistic PCA Via Hierarchical BIC.
IEEE Trans. Cybernetics, 2014

Evaluation of Coastline Changes under Human Intervention Using Multi-Temporal High-Resolution Images: A Case Study of the Zhoushan Islands, China.
Remote Sensing, 2014

SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.
Formal Methods in System Design, 2014

Automated learning of factor analysis with complete and incomplete data.
Computational Statistics & Data Analysis, 2014

Post-condition-Directed Invariant Inference for Loops over Data Structures.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

A Novel Single-Carrier Digital Broadcasting System Based on LDPC Codes in Shortwave.
Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

2013
A Handheld Electromagnetically Actuated Fiber Optic Raster Scanner for Reflectance Confocal Imaging of Biological Tissues.
IEEE Trans. Biomed. Engineering, 2013

Verifying Aspect-Oriented Models against Crosscutting Properties.
International Journal of Software Engineering and Knowledge Engineering, 2013

Formal Verification of 'Programming to Interfaces' Programs.
CoRR, 2013

Supporting Automatic Code Review via Design.
Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Developing an Indicator System of ICT in Education: From Conceptual Model to Items Extraction.
Proceedings of the Hybrid Learning and Continuing Education - 6th International Conference, 2013

Research on Application of Collaborative Knowledge Building in Blended Language Classroom Teaching.
Proceedings of the Hybrid Learning and Continuing Education - 6th International Conference, 2013

2012
Bilinear Probabilistic Principal Component Analysis.
IEEE Trans. Neural Netw. Learning Syst., 2012

Timing analysis of scenario-based specifications using linear programming.
Softw. Test., Verif. Reliab., 2012

Separable linear discriminant analysis.
Computational Statistics & Data Analysis, 2012

A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems.
Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

An Integration of Several Different Data Flow Analysis Techniques.
Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

Time-leverage point detection for time sensitive software maintenance.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
SIGBED Review, 2011

Influence of changes of underlying surface on the output of sand-dust model.
Proceedings of the 2011 IEEE International Geoscience and Remote Sensing Symposium, 2011

2010
Thermal-Aware Task Scheduling for 3D Multicore Processors.
IEEE Trans. Parallel Distrib. Syst., 2010

Scope Logic with Local Reasoning and Pre/Post-State Properties
CoRR, 2010

Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.
Proceedings of the Verification, 2010

Extending Ada to support multi-core based monitoring and fault tolerance.
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Analyzing the robustness of FTSP with timed automata.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Test adequacy criterion based on coincidental correctness probability.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Knowledge Construction through Discussion Forum in a Blended Learning Environment.
Proceedings of the Hybrid Learning, Third International Conference, 2010

McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Proactive NBTI mitigation for busy functional units in out-of-order microprocessors.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
A note on variational Bayesian factor analysis.
Neural Networks, 2009

Investigating critical thinking and knowledge construction in an interactive learning environment.
Interactive Learning Environments, 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

Scope Logic: Extending Hoare Logic for Pointer Program Verification
CoRR, 2009

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.
Comput. J., 2009

Verification of Population Ring Protocols in PAT.
Proceedings of the TASE 2009, 2009

A Research on the Training Mode of University Administer.
Proceedings of the Fifth International Conference on Semantics, Knowledge and Grid, 2009

Design pattern directed clustering for understanding open source code.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

A Descriptive Method for Simulating a Group Knowledge Building Process.
Proceedings of the Hybrid Learning and Education, Second International Conference, 2009

A Discussion on the Training Mode of University Administrative Staffs under the Specialization View.
Proceedings of the ETT 2009, 2009

The International Comparison of Professionalization of University Administrators and the Related Apocalypse.
Proceedings of the ETT 2009, 2009

2008
Fast ML Estimation for the Mixture of Factor Analyzers via an ECM Algorithm.
IEEE Trans. Neural Networks, 2008

ML estimation for factor analysis: EM or non-EM?
Statistics and Computing, 2008

A MDE Based Approach for Bridging Formal Models.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Sociogram Analysis on Group Interaction in an Online Discussion Forum.
Proceedings of the Advances in Web Based Learning, 2008

Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2008

Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Discussion on Teamwork Construction in Teaching of Universities and Colleges.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
A model-driven development framework for enterprise Web services.
Information Systems Frontiers, 2007

Towards a Model Driven Approach to Automatic BPEL Generation.
Proceedings of the Model Driven Architecture- Foundations and Applications, 2007

2006
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.
J. Comput. Sci. Technol., 2006

Improve Model Checking Efficiency Using Specific Knowledge about the System.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Students' Understandings and Attitudes toward Group learning: An Empirical Study.
Proceedings of the Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, 2006

Scenario-Based Timing Consistency Checking for Time Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

A Model Driven Development Framework for Enterprise Web Services.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Runtime Verification of Java Programs for Scenario-Based Specifications.
Proceedings of the Reliable Software Technologies, 2006

2005
A quadratic-time DBM-based successor algorithm for checking timed automata.
Inf. Process. Lett., 2005

Consistency Checking of Concurrent Models for Scenario-Based Specifications.
Proceedings of the SDL 2005: Model Driven, 2005

Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Fuzzy Programming Model for Lot Sizing Production Planning Problem.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

2004
Duration-constrained regular expressions.
Formal Asp. Comput., 2004

Verifying Compositional Designs for Scenario-Based Timing Specifications.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

2003
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
Positive loop-closed automata: a decidable class of hybrid systems.
J. Log. Algebr. Program., 2002

STAD Modeling Method for Computer Supported Group Learning.
Proceedings of the International Conference on Computers in Education, 2002

Partial Order Path Technique for Checking Parallel Timed Automata.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
Timing Analysis of UML Activity Diagrams.
Proceedings of the «UML» 2001, 2001

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
Checking Timed Automata for Linear Duration Properties.
J. Comput. Sci. Technol., 2000

1998
Hybrid Regular Expressions.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

On Checking Parallel Real-Time Systems for Linear Duration Properties.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997
Message Conversion and A New Type System for OO Model.
SIGPLAN Notices, 1997


  Loading...