Panhua Guo

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Constraint Satisfaction Problems

Code Generation

Constraint Propagation

Optimization Problems

Top Venues

J. Syst. Archit.

Publications

Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun
Translating a large subset of stateflow to hybrid CSP with code optimization. J. Syst. Archit. 130 (2022)
Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. SETTA (2021)