Jian Guo

According to our database1, Jian Guo authored at least 113 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Global Stabilization of a Class of Switched Nonlinear Systems Under Sampled-Data Control.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2019

Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.
IEEE Trans. Reliability, 2019

Provable self-organizing pattern formation by a swarm of robots with limited knowledge.
Swarm Intelligence, 2019

SIFSpec: Measuring Solar-Induced Chlorophyll Fluorescence Observations for Remote Sensing of Photosynthesis.
Sensors, 2019

Atmospheric Correction for Tower-Based Solar-Induced Chlorophyll Fluorescence Observations at O2-A Band.
Remote Sensing, 2019

Global sampled-data output feedback stabilization for a class of stochastic nonlinear systems with time-varying delay.
J. Franklin Institute, 2019

Disturbance-observer-based sampled-data adaptive output feedback control for a class of uncertain nonlinear systems.
Int. J. Systems Science, 2019

Discovering objects and services in context-aware IoT environments.
IJSTM, 2019

A Novel Completion Algorithm for Color Images and Videos Based on Tensor Train Rank.
IEICE Transactions, 2019

PostMan: Rapidly Mitigating Bursty Traffic by Offloading Packet Processing.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Timing Modeling and Analysis for AUTOSAR Schedule Tables.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018
System reliability assessment with multilevel information using the Bayesian melding method.
Rel. Eng. & Sys. Safety, 2018

Upscaling Solar-Induced Chlorophyll Fluorescence from an Instantaneous to Daily Scale Gives an Improved Estimation of the Gross Primary Productivity.
Remote Sensing, 2018

Passivity Analysis of Stochastic Memristor-Based Complex-Valued Recurrent Neural Networks with Mixed Time-Varying Delays.
Neural Processing Letters, 2018

Person re-identification using salient region matching game.
Multimedia Tools Appl., 2018

Recovery behaviors in n-channel LTPS-TFTs under DC stress.
Microelectronics Reliability, 2018

Formal Analysis of the PKMv3 Protocol.
MONET, 2018

A mean-covariance decomposition method for battery capacity prognostics.
Journal of Intelligent and Fuzzy Systems, 2018

Optimal formation control and collision avoidance in environment with multiple rectangle obstacles.
J. Franklin Institute, 2018

CSI Frequency Domain Fingerprint-Based Passive Indoor Human Detection.
Information, 2018

Consensus control of networked multi-agent systems based on a novel hybrid transmission strategy.
IMA J. Math. Control & Information, 2018

Stabilisation for positive switched T-S fuzzy delayed systems under standard L1 and L∞ performance.
Int. J. Systems Science, 2018

Car-like mobile robot path planning in rough terrain using multi-objective particle swarm optimization algorithm.
Neurocomputing, 2018

Sampled-data adaptive prescribed performance control of a class of nonlinear systems.
Neurocomputing, 2018

Improved side information generation algorithm based on naive Bayesian theory for distributed video coding.
IET Image Processing, 2018

Study on rolling bearing on-line reliability analysis based on vibration information processing.
Computers & Electrical Engineering, 2018

Salient Region-Based Least-Squares Log-Density Gradient Clustering for Image-To-Video Person Re-Identification.
IEEE Access, 2018

A CSI Frequency Domain Fingerprint-Based Method for Passive Indoor Human Detection.
Proceedings of the 17th IEEE International Conference On Trust, 2018

Prediction Algorithm Based on Weather Forecast for Energy-Harvesting Wireless Sensor Networks.
Proceedings of the 17th IEEE International Conference On Trust, 2018

A Novel Bilateral Control Strategy for Master-slave Vascular Interventional Robots.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2018

Finger Vein Image Registration Based on Genetic Algorithm.
Proceedings of the Genetic and Evolutionary Computing, 2018

To Detect Stack Buffer Overflow with Polymorphic Canaries.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

End-to-End Automated Verification for OS Kernels.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
eBA: Efficient Bandwidth Guarantee Under Traffic Variability in Datacenters.
IEEE/ACM Trans. Netw., 2017

Approach Modeling and Control of an Autonomous Maneuverable Space Net.
IEEE Trans. Aerospace and Electronic Systems, 2017

Dexterous Tethered Space Robot: Design, Measurement, Control, and Experiment.
IEEE Trans. Aerospace and Electronic Systems, 2017

Modeling and Verifying HDFS Using Process Algebra.
MONET, 2017

Characteristic model-based adaptive controller with discrete extended state observer for servo systems.
J. Systems & Control Engineering, 2017

A Quick Artificial Bee Colony Algorithm for Image Thresholding.
Information, 2017

An Image Compression Scheme in Wireless Multimedia Sensor Networks Based on NMF.
Information, 2017

Adaptive finite-time control for a class of switched nonlinear systems using multiple Lyapunov functions.
Int. J. Systems Science, 2017

Formation control of networked multi-agent systems based on a novel event-triggered transmission strategy.
IJAAC, 2017

Wideband sub-harmonic mixer incorporating short-circuited band-pass filter.
IEICE Electronic Express, 2017

Design of a millimeter-wave third-harmonic mixer using substrate integrated waveguide balun.
IEICE Electronic Express, 2017

K-Storage-Node Problem of Distributed Data Storage for Internet of Things.
Intelligent Automation & Soft Computing, 2017

Modified Discrete Grey Wolf Optimizer Algorithm for Multilevel Image Thresholding.
Comp. Int. and Neurosc., 2017

Pricing Intra-Datacenter Networks with Over-Committed Bandwidth Guarantee.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Evaluation of Lithium Batteries Based on Continuous Hidden Markov Model.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Multilevel cooperative on-line computing architecture under dispatching cloud.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Prognostics of Lithium ion battery using functional principal component analysis.
Proceedings of the 2017 IEEE International Conference on Prognostics and Health Management, 2017

Modeling and Simulation of Time-Division Multiplexing Navigation Satellite Network based on OPNET.
Proceedings of the VI International Conference on Network, Communication and Computingm, 2017

Joint Optimization of Chain Placement and Request Scheduling for Network Function Virtualization.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Formalization and Verification of the PKMv3 Protocol Using CSP.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Fair Network Bandwidth Allocation in IaaS Datacenters via a Cooperative Game Approach.
IEEE/ACM Trans. Netw., 2016

A risk assessment approach for failure mode and effects analysis based on intuitionistic fuzzy sets and evidence theory.
Journal of Intelligent and Fuzzy Systems, 2016

Adaptive finite-time fault-tolerant consensus protocols for multiple mechanical systems.
J. Franklin Institute, 2016

Packet-Forwarding Algorithm in DTN Based on the Pheromone of Destination Node.
Information, 2016

Fuzzy Multilevel Image Thresholding Based on Modified Discrete Grey Wolf Optimizer and Local Information Aggregation.
IEEE Access, 2016

An Energy Efficiency Node Scheduling Model for Spatial-Temporal Coverage Optimization in 3D Directional Sensor Networks.
IEEE Access, 2016

Message prioritization support for space Delay/Disruption Tolerant Networks.
Proceedings of the 2016 IEEE International Conference on Wireless for Space and Extreme Environments, 2016

The Analysis of Crosstalk Noise Component in Wearable Device.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Dynamic SDN controller assignment in data center networks: Stable matching with transfers.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

Rotatable Sensor Scheduling for Multi-Demands of Coverage in Directional Sensor Networks.
Proceedings of the 25th International Conference on Computer Communication and Networks, 2016

A fault-tolerant scheme for SINS in-motion alignment based on federal structure.
Proceedings of the 12th IEEE International Conference on Control and Automation, 2016

Depth Dropout: Efficient Training of Residual Convolutional Neural Networks.
Proceedings of the 2016 International Conference on Digital Image Computing: Techniques and Applications, 2016

Modeling and Verifying HDFS Using CSP.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Formal Verification of PKMv3 Protocol Using DT-Spin.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Formalization and Verification of REST Architecture in Viewpoints.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

A Survey of Fall Detection Algorithm for Elderly Health Monitoring.
Proceedings of the Fifth IEEE International Conference on Big Data and Cloud Computing, 2015

2014
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.
STTT, 2014

Formalization and Verification of REST on HTTP Using CSP.
Electr. Notes Theor. Comput. Sci., 2014

Modeling and Verification of CAN Bus with Application Layer using UPPAAL.
Electr. Notes Theor. Comput. Sci., 2014

Modeling and Verifying the TTCAN Protocol Using Timed CSP.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

On efficient bandwidth allocation for traffic variability in datacenters.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Topology Optimization of Particle Swarm Optimization.
Proceedings of the Advances in Swarm Intelligence - 5th International Conference, 2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Research on Target Type Recognition Algorithm of Aerial Infrared Image.
Journal of Multimedia, 2013

Multisensor Data Fusion for Water Quality Evaluation Using Dempster-Shafer Evidence Theory.
IJDSN, 2013

A New Scheme Based on Pixel-Intense Motion Block Algorithm for Residual Distributed Video Coding.
IJDSN, 2013

A Coding and Postprocessing Framework of Multiview Distributed Video for Wireless Video Sensor Networks.
IJDSN, 2013

Modeling and Verification of AUTOSAR OS and EMS Application.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A cooperative game based allocation for sharing data center networks.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Falloc: Fair network bandwidth allocation in IaaS datacenters via a bargaining game approach.
Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

Mining frequent itemsets in data streams based on genetic algorithm.
Proceedings of the 15th IEEE International Conference on Communication Technology, 2013

Iterative location algorithm based on adaptive grid.
Proceedings of the 15th IEEE International Conference on Communication Technology, 2013

Research on Improved A Priori Algorithm Based on Coding and MapReduce.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

2012
A 65 nm CMOS Digital Phase Imager for Time-Resolved Fluorescence Imaging.
J. Solid-State Circuits, 2012

A Cross-layer and Multipath based Video Transmission Scheme for Wireless Multimedia Sensor Networks.
JNW, 2012

Novel Side Information Generation Algorithm of Multiview Distributed Video Coding for Multimedia Sensor Networks.
IJDSN, 2012

A Camera Nodes Correlation Model Based on 3D Sensing in Wireless Multimedia Sensor Networks.
IJDSN, 2012

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Formal Verification and Simulation: Co-verification for Subway Control Systems.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A 22-bit 110ps time-interpolated Time-to-Digital Converter.
Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012

Spectrum Sensing Algorithms in the Cognitive Radio Network.
Proceedings of the Emerging Intelligent Computing Technology and Applications, 2012

Cooperative Spectrum Detection Algorithm Based on Likelihood Ratio Law for Cognitive Radio Systems.
Proceedings of the Intelligent Computing Theories and Applications, 2012

xBIL - A Hardware Resource Oriented Binary Intermediate Language.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011
Integration of Chang'E-1 Imagery and Laser Altimeter Data for Precision Lunar Topographic Modeling.
IEEE Trans. Geoscience and Remote Sensing, 2011

Analysis of other spot-beam interference in TD-SCDMA compatible satellite system.
Proceedings of the 2011 International Conference on Wireless Communications & Signal Processing, 2011

Towards Denotational Semantics for Verilog in PVS.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

A CMOS imager with digital phase readout for fluorescence lifetime imaging.
Proceedings of the 37th European Solid-State Circuits Conference, 2011

Novel Algorithms to Restrain Deviation When Synthesizing Adjustable Frequency Signal Using DDS.
Proceedings of the Advances in Computer Science, 2011

Applicability of SysML to the Early Definition Phase of Space Missions in a Concurrent Environment.
Proceedings of the Complex Systems Design & Management, 2011

Formal Approaches to Mode Conversion and Positioning for Vehicle System.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Linear system finite-time stabilization under H∞ constraint.
Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011

2010
A learning-based anomaly detection model of SQL attacks.
Proceedings of the IEEE International Conference on Wireless Communications, 2010

A System Identification Using DRNN Based on Swarm Intelligence.
Proceedings of the Advances in Swarm Intelligence, First International Conference, 2010

On the Consideration of an UMTS/S-UMTS Based GEO-MSS System Architecture Design.
Proceedings of the Personal Satellite Services - Second International ICST Confernce, 2010

A Dynamic Evolutionary Algorithm for Multimodal Function Optimization.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

2009
Modelling and simulation of throttle slice stress of telescopic shock absorber.
IJMIC, 2009

An Improved Quantum Genetic Algorithm.
Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

High performance adaptive robust control for nonlinear system with unknown input backlash.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Witness and Counter-Example on 3-Valued Model Checking.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

2004
Minimum variance control for a class of nonlinear system.
Proceedings of the 8th International Conference on Control, 2004


  Loading...