Jianchun Xing

Orcid: 0000-0001-6168-1434

According to our database1, Jianchun Xing authored at least 62 papers between 2004 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Inferring in-air gestures in complex indoor environment with less supervision.
Pervasive Mob. Comput., 2024

Formal modelling and validation of a novel building information model.
Adv. Eng. Softw., 2024

2023
LightGBM-Based Framework for Lithium-Ion Battery Remaining Useful Life Prediction Under Driving Conditions.
IEEE Trans. Ind. Informatics, November, 2023

An Improved Acoustic Diffusion Equation Model for Long-Channel Underground Spaces.
Sensors, September, 2023

2021
Application of VSG Control in Microgrids with Unknown Frequency Dynamic of Diesel Generator.
Proceedings of the IECON 2021, 2021

2020
Finite-time stability and asynchronously switching control for a class of time-varying switched nonlinear systems.
Trans. Inst. Meas. Control, 2020

INR: A Programming Model for Developing APPs of Insect Intelligent Building.
Sci. Program., 2020

A Graphical Programming Language and Its Supporting Tool for Insect Intelligent Building.
Sci. Program., 2020

Touch: A Textual Programming Language for Developing APPs of Insect Intelligent Building.
Sci. Program., 2020

EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software.
J. Comput. Sci. Technol., 2020

Deep activity recognition in smart buildings with commercial Wi-Fi devices.
Int. J. Simul. Process. Model., 2020

Test Case Prioritization for Service-Oriented Workflow Applications: A Perspective of Modification Impact Analysis.
IEEE Access, 2020

2019
Enabling Noninvasive Physical Assault Monitoring in Smart School with Commercial Wi-Fi Devices.
Wirel. Commun. Mob. Comput., 2019

Measuring Business Process Consistency Across Different Abstraction Levels.
IEEE Trans. Netw. Serv. Manag., 2019

基于核相关滤波器和分层卷积特征的长时间目标跟踪 (Long-term Object Tracking Based on Kernelized Correlation Filter and Hierarchical Convolution Features).
计算机科学, 2019

A Decentralized Swarm Intelligence Algorithm for Global Optimization of HVAC System.
IEEE Access, 2019

A Decentralized State Estimation Algorithm for Building Electrical Distribution Network Based on ADMM.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
A novel finite-time average consensus protocol for multi-agent systems with switching topology.
Trans. Inst. Meas. Control, 2018

From Signal to Image: Enabling Fine-Grained Gesture Recognition with Commercial Wi-Fi Devices.
Sensors, 2018

Decentralized Optimization Algorithms for Variable Speed Pumps Operation Based on Local Interaction Game.
J. Control. Sci. Eng., 2018

Finite-time stability and stabilization of switched nonlinear systems with asynchronous switching.
Appl. Math. Comput., 2018

Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs.
IEEE Access, 2018

Device-Free Activity Recognition for Underground Spaces Based on Convolutional Neural Network.
Proceedings of the Advancements in Smart City and Intelligent Building, 2018

Graphical Programming Language Design for Decentralized Building Intelligent System.
Proceedings of the Advancements in Smart City and Intelligent Building, 2018

Open-Neutral Fault Detection in Underground Space Based on Genetic Support Vector Machine.
Proceedings of the Advancements in Smart City and Intelligent Building, 2018

A Fully Distributed Genetic Algorithm for Global Optimization of HVAC Systems.
Proceedings of the Advancements in Smart City and Intelligent Building, 2018

Research on Underground Device Operation and Maintenance Management System Based on BIMserver.
Proceedings of the Advancements in Smart City and Intelligent Building, 2018

2017
Optimal control based regression test selection for service-oriented workflow applications.
J. Syst. Softw., 2017

设备自动巡检控制逻辑的层级时间自动机建模与验证 (Modeling and Verifying Device Automatic Polling Control Logic Using Hierarchical Timed Automata).
计算机科学, 2017

A Particle Swarm Optimization Technique-Based Parametric Wavelet Thresholding Function for Signal Denoising.
Circuits Syst. Signal Process., 2017

Wi-Dog: Monitoring School Violence with Commodity WiFi Devices.
Proceedings of the Wireless Algorithms, Systems, and Applications, 2017

A Similarity-Based Approach to Recognizing Voice-Based Task Goals in Self-Adaptive Systems.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Integrating Goal Models and Problem Frames for Requirements Analysis of Self-Adaptive CPS.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications.
Softw. Test. Verification Reliab., 2016

On-Chip Correlator for Passive Wireless SAW Multisensor Systems.
J. Sensors, 2016

FAME: A UML-based framework for modeling fuzzy self-adaptive software.
Inf. Softw. Technol., 2016

Finite-time quantised feedback asynchronously switched control of sampled-data switched linear systems.
Int. J. Syst. Sci., 2016

Path Feasibility Analysis of BPEL Processes under Dead Path Elimination Semantics.
IEICE Trans. Inf. Syst., 2016

Recognizing Voice-Based Requirements to Drive Self-Adaptive Software Systems.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Handling Uncertainty in Self-Adaptive Software Using Self-Learning Fuzzy Neural Network.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A Device-Free Number Gesture Recognition Approach Based on Deep Learning.
Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016

2015
数据感知过程之间差异的检测和解决 (Detection and Resolution of Differences of Data Aware Processes).
计算机科学, 2015

A novel identification method of multiple OFC SAW sensor tags.
Proceedings of the 10th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2015

A novel passive SAW temperature sensor with anti-collision.
Proceedings of the 10th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2015

Modification Impact Analysis Based Test Case Prioritization for Regression Testing of Service-Oriented Workflow Applications.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Finite-Time Asynchronously Switched Control of Switched Systems with Sampled-Data Feedback.
Circuits Syst. Signal Process., 2014

Robust H ∞ Finite-Time Fault-Tolerant Control of switched Systems with Asynchronous Switching1.
Control. Intell. Syst., 2014

FuAET: a tool for developing fuzzy self-adaptive software systems.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

2013
Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty.
J. Comput. Sci. Technol., 2013

Object tracking using particle filter in the wavelet subspace.
Neurocomputing, 2013

A Combined Optimal Sensor Placement Strategy for the Structural Health Monitoring of Bridge Structures.
Int. J. Distributed Sens. Networks, 2013

Behavioral Consistency Measurement and Analysis of WS-BPEL Processes.
Proceedings of the Web-Age Information Management - 14th International Conference, 2013

BPEL Similarity - A Metric Based on Activity Constraint Graphs.
Proceedings of the Asia Pacific Business Process Management, 2013

2012
An agent-based framework for collaboration among critical mechanical devices working in a cluster.
J. Syst. Control. Eng., 2012

Registration of infrared and visible images based on improved SIFT.
Proceedings of the 4th International Conference on Internet Multimedia Computing and Service, 2012

Robust control for a class of uncertain switched time delay systems using delta operator.
Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012

Safe Regression Test Selection Based on Program Dependence Graphs.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011
A message-array-based mechanism for tracking control effects in supervisory control software.
Int. J. Autom. Comput., 2011

Fuzzy Control-Based Software Self-Adaptation: A Case Study in Mission Critical Systems.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2004
Fieldbus based distributed control system.
Proceedings of the 8th International Conference on Control, 2004


  Loading...