Jianhua Zhao

Ning Liu

A. Malov

J. Intell. Fuzzy Syst., 2018

Coastline carrying capacity monitoring and assessment based on GF-1 satellite remote sensing images.

[BibT_eX]

[DOI]

EURASIP J. Image Video Process., 2018

Dual-force: understanding WebView malware via cross-language forced execution.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Marine Aquaculture Targets Automatic Recognition Based on GF-3 PolSAR Imagery.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks - ISNN 2018, 2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.

[BibT_eX]

[DOI]

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Detection of Alone Stress and Combined Stress by CU and NI in Wheat Using Visible to Near-Infrared Spectroscopy.

[BibT_eX]

[DOI]

Proceedings of the 2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics), 2018

Land Use Pattern Evolution and Trend Simulation in Nansi Lake.

[BibT_eX]

[DOI]

Proceedings of the 2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics), 2018

Marine Floating Raft Aquaculture Dynamic Monitoring Based on Multi-source GF Imagery.

[BibT_eX]

[DOI]

Proceedings of the 2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics), 2018

2017

Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Automatic detection and validation of race conditions in interrupt-driven embedded software.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

Marine reclamation feature analysis based on GF-3 SAR remote sensing imagery.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

A Framework for Array Invariants Synthesis in Induction-Loop Programs.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Formal Verification of 'Programming to Interfaces' Programs.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2016

Case deletion diagnostics for GMM estimation.

[BibT_eX]

[DOI]

Comput. Stat. Data Anal., 2016

Precondition Calculation for Loops Iterating over Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automatic Invariant Synthesis for Arrays in Simple Programs.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

ACSPChecker: an ASP based CSP model checking tool.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Automatic model generation from documentation for Java API functions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Two-Stage Regularized Linear Discriminant Analysis for 2-D Data.

[BibT_eX]

[DOI]

Lei Shi

Ji Zhu

IEEE Trans. Neural Networks Learn. Syst., 2015

A declarative approach for Java code instrumentation.

[BibT_eX]

[DOI]

Softw. Qual. J., 2015

基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method).

[BibT_eX]

[DOI]

Yuchen Dong

计算机科学, 2015

Mixture model selection via hierarchical BIC.

[BibT_eX]

[DOI]

Libin Jin

Lei Shi

Comput. Stat. Data Anal., 2015

Assertion-Directed Precondition Synthesis for Loops over Data Structures.

[BibT_eX]

[DOI]

Juan Zhai

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Fault-Localization Approach Based on the Coincidental Correctness Probability.

[BibT_eX]

[DOI]

Xiaoli Zhou

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Node-Set Analysis for Linked Recursive Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Code Generation for Abstract Data Types Based on Program Analysis.

[BibT_eX]

[DOI]

Bin Li

Jun Liu

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.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Analyzing Inductively Defined Properties for Recursive Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data.

[BibT_eX]

[DOI]

Bin Li

Zhenhao Tang

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

2014

Efficient Model Selection for Mixtures of Probabilistic PCA Via Hierarchical BIC.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2014

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

[BibT_eX]

[DOI]

Remote. Sens., 2014

SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

Automated learning of factor analysis with complete and incomplete data.

[BibT_eX]

[DOI]

Lei Shi

Comput. Stat. Data Anal., 2014

Post-condition-Directed Invariant Inference for Loops over Data Structures.

[BibT_eX]

[DOI]

Juan Zhai

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Biomed. Eng., 2013

Verifying Aspect-Oriented Models against Crosscutting Properties.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2013

Supporting Automatic Code Review via Design.

[BibT_eX]

[DOI]

Jiantao He

Linzhang Wang

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.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Developing an Indicator System of ICT in Education: From Conceptual Model to Items Extraction.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Learning and Continuing Education - 6th International Conference, 2013

Research on Application of Collaborative Knowledge Building in Blended Language Classroom Teaching.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Learning and Continuing Education - 6th International Conference, 2013

2012

Bilinear Probabilistic Principal Component Analysis.

[BibT_eX]

[DOI]

James T. Kwok

IEEE Trans. Neural Networks Learn. Syst., 2012

Timing analysis of scenario-based specifications using linear programming.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

Separable linear discriminant analysis.

[BibT_eX]

[DOI]

Comput. Stat. Data Anal., 2012

A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking.

[BibT_eX]

[DOI]

Xiaoyu Zhou

Qian Li

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems.

[BibT_eX]

[DOI]

Xiaoyu Zhou

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.

[BibT_eX]

[DOI]

Yuchen Xing

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.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Influence of changes of underlying surface on the output of sand-dust model.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Geoscience and Remote Sensing Symposium, 2011

Introducing China: Expanding the CSCL Research Community.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Computer Supported Collaborative Learning, 2011

Discourse analysis of collaborative meaning making in CSCL.

[BibT_eX]

[DOI]

Shaoming Chai

Su Mu

Proceedings of the 9th International Conference on Computer Supported Collaborative Learning, 2011

2010

Thermal-Aware Task Scheduling for 3D Multicore Processors.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2010

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

[BibT_eX]

[DOI]

CoRR, 2010

Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.

[BibT_eX]

[DOI]

Lei Bu

Proceedings of the Verification, 2010

Extending Ada to support multi-core based monitoring and fault tolerance.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Qian Li

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Analyzing the robustness of FTSP with timed automata.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Test adequacy criterion based on coincidental correctness probability.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Enabling multi-core based monitoring and fault tolerance in C++/Java.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

Knowledge Construction through Discussion Forum in a Blended Learning Environment.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Learning, Third International Conference, 2010

McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Separable Two-Dimensional Linear Discriminant Analysis.

[BibT_eX]

[DOI]

Shulan Li

Proceedings of the 19th International Conference on Computational Statistics, 2010

2009

A note on variational Bayesian factor analysis.

[BibT_eX]

[DOI]

Neural Networks, 2009

Investigating critical thinking and knowledge construction in an interactive learning environment.

[BibT_eX]

[DOI]

Qiyun Wang

Huay Lit Woo

Interact. Learn. Environ., 2009

Scope Logic: Extending Hoare Logic for Pointer Program Verification

[BibT_eX]

[DOI]

CoRR, 2009

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.

[BibT_eX]

[DOI]

Comput. J., 2009

Verification of Population Ring Protocols in PAT.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

A Research on the Training Mode of University Administer.

[BibT_eX]

[DOI]

Xiaohua Li

Proceedings of the Fifth International Conference on Semantics, Knowledge and Grid, 2009

Design pattern directed clustering for understanding open source code.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

A Descriptive Method for Simulating a Group Knowledge Building Process.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Xiaohua Li

Ligang Fan

Proceedings of the ETT 2009, 2009

The International Comparison of Professionalization of University Administrators and the Related Apocalypse.

[BibT_eX]

[DOI]

Xiaohua Li

Junshuan Liu

Proceedings of the ETT 2009, 2009

2008

Fast ML Estimation for the Mixture of Factor Analyzers via an ECM Algorithm.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks, 2008

ML estimation for factor analysis: EM or non-EM?

[BibT_eX]

[DOI]

Qibao Jiang

Stat. Comput., 2008

Preface.

[BibT_eX]

[DOI]

Volker Stolz

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

A MDE Based Approach for Bridging Formal Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Linzhang Wang

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Sociogram Analysis on Group Interaction in an Online Discussion Forum.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web Based Learning, 2008

A case study for monitoring-oriented programming in multi-core architecture.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Multicore Software Engineering, 2008

Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Learning and Digital Entertainment, 2008

Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study.

[BibT_eX]

[DOI]

David McConnell

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Discussion on Teamwork Construction in Teaching of Universities and Colleges.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

A model-driven development framework for enterprise Web services.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2007

Towards a Model Driven Approach to Automatic BPEL Generation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

2006

Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Probabilistic PCA for t distributions.

[BibT_eX]

[DOI]

Qibao Jiang

Neurocomputing, 2006

Improve Model Checking Efficiency Using Specific Knowledge about the System.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Students' Understandings and Attitudes toward Group learning: An Empirical Study.

[BibT_eX]

[DOI]

David McConnell

Proceedings of the Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, 2006

Scenario-Based Timing Consistency Checking for Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Runtime Verification of Java Programs for Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2006

2005

A quadratic-time DBM-based successor algorithm for checking timed automata.

[BibT_eX]

[DOI]

Guoliang Zheng

Inf. Process. Lett., 2005

Consistency Checking of Concurrent Models for Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the SDL 2005: Model Driven, 2005

Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Fuzzy Programming Model for Lot Sizing Production Planning Problem.

[BibT_eX]

[DOI]

Weizhen Yan

Zhe Cao

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions.

[BibT_eX]

[DOI]

Jinwu Gao

Xiaoyu Ji

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

2004

Duration-constrained regular expressions.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Verifying Compositional Designs for Scenario-Based Timing Specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

STAD Modeling Method for Computer Supported Group Learning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computers in Education, 2002

Partial Order Path Technique for Checking Parallel Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Timing Analysis of UML Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Checking Timed Automata for Linear Duration Properties.

[BibT_eX]

[DOI]

Dang Van Hung

J. Comput. Sci. Technol., 2000

1998

Hybrid Regular Expressions.

[BibT_eX]

[DOI]

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

On Checking Parallel Real-Time Systems for Linear Duration Properties.

[BibT_eX]

[DOI]

Dang Van Hung

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

Message Conversion and A New Type System for OO Model.

[BibT_eX]

[DOI]