Weizhi Feng

According to our database, Weizhi Feng authored at least 6 papers between 2020 and 2024.

Collaborative distances:

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

2024

Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once.

Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

On the power of finite ambiguity in Büchi complementation.

Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Inf. Comput., June, 2023

2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Dataset, May, 2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Dataset, May, 2022

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition.

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

Modelling and Implementation of Unmanned Aircraft Collision Avoidance.

Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020