We stand with Ukraine

We stand with Ukraine

Jie Zhang

Affiliations:

University of Chemical Technology, College of Information Science and Technology, Beijing, China

According to our database¹, Jie Zhang authored at least 23 papers between 2008 and 2020.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems.

[BibT_eX]

[DOI]

,

,

,

,

J. Syst. Archit., 2020

Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

2019

Model Checking for the Goal-Feedback-Result Pattern in ROS.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

2018

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 2018 IEEE SmartWorld, 2018

Formal Analysis and Verification of DDS in ROS2.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

2016

函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).

[BibT_eX]

[DOI]

,

,

,

,

,

计算机科学, 2016

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).

[BibT_eX]

[DOI]

,

,

,

,

,

计算机科学, 2016

Formal Modelling and Analysis of TCP for Nodes Communication with ROS.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016

2015

连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).

[BibT_eX]

[DOI]

,

,

,

,

,

计算机科学, 2015

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Embedded System Design with Reliability-Centric Optimization.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

A Case Study on Formal Analysis of an Automated Guided Vehicle System.

[BibT_eX]

[DOI]

,

,

William N. N. Hung

,

,

,

J. Appl. Math., 2014

Formalization of Function Matrix Theory in HOL.

[BibT_eX]

[DOI]

,

,

,

,

,

J. Appl. Math., 2014

Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the Intelligent Information Processing VII, 2014

Timed automata based motion planning for a self-assembly robot system.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A framework of model checking guided test vector generation for the 6DOF manipulator.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Formal verification of a collision-free algorithm of dual-arm robot in HOL4.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Formalization of Linear Space Theory in the Higher-Order Logic Proving System.

[BibT_eX]

[DOI]

,

,

J. Appl. Math., 2013

Component-Based Formal Modeling of PLC Systems.

[BibT_eX]

[DOI]

,

,

,

,

J. Appl. Math., 2013

The Gauge Integral Theory in HOL4.

[BibT_eX]

[DOI]

,

,

,

,

,

,

J. Appl. Math., 2013

Formal Modelling of PLC Systems by BIP Components.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Model Checking for SpaceWire Link Interface Design Using Uppaal.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2008

Embedded Sensor of Forecast Conveyer Belt Breaks.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

Loading...