Jiapeng Wang

According to our database, Jiapeng Wang authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny.

Ziqing Su, Sini Chen, Ran Li, Huibiao Zhu, Jiapeng Wang

Proceedings of the 32nd Asia-Pacific Software Engineering Conference, 2025

2024

Verification of Scapegoat Trees Using Dafny.

Jiapeng Wang, Sini Chen, Huibiao Zhu

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs.

Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024