Shicheng Yi

Publication Activity (10 Years)

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

Top Topics

Semantic Information

Operational Semantics

Batch Processing

Attribute Grammars

Top Venues

Publications

Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan
Machine-Checked Executable Semantics of Stateflow. ICFEM (2022)
Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan
Machine-checked executable semantics of Stateflow. CoRR (2022)