Jiyuan Lv

Publication Activity (10 Years)

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

Top Topics

Design Methodologies

Formal Verification

Simulation Tools

Top Venues

Publications

Yupeng Li, Hailian Zhang, Jiyuan Lv, Yusheng Liu
XMI-Based SysML Model Transformation. CRC (2022)
Bo Huang, Yubiao Liu, Xinfeng Wu, Jiyuan Lv, Yusheng Liu
Design and Implementation of SysML Activity Diagram Simulation Function Based on fUML Specification. CRC (2022)
Minghui Liu, Chenchu Zhou, Xinfeng Wu, Jiyuan Lv, Yusheng Liu
Command Pattern-based MOF Design and Testing. CRC (2022)
Jiyuan Lv, Zhonghao Bai, Xianping Du, Feng Zhu, Clifford C. Chou, Binhui Jiang, Shiwei Xu
Crashworthiness design of 3D lattice-structure filled thin-walled tubes based on data mining. CoRR (2021)