Jiawan Wang

According to our database, Jiawan Wang authored at least 7 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs.

Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022

PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS.

Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata.

Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization.

Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.

Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li

Proceedings of the Formal Methods - 24th International Symposium, 2021

2019

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT.

Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li

Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

2016

A Secure Finger Vein Recognition Algorithm Based on MB-GLBP and Logistic Mapping.

Lin You, Jiawan Wang, Bin Yan

J. Inf. Hiding Multim. Signal Process., 2016