APSEC 2025
Tue 2 - Fri 5 December 2025
Macao, China
Toggle navigation
Attending
Venue: Wynn Palace
Registration
Transportation
Accommodation
Traval Grant
Tracks
APSEC 2025
Keynotes
Technical Track
Early Research Achievements (ERA)
Software Engineering in Practices (SEIP)
Tutorials
Doctoral Symposium
Student Research Competition
Tool Demonstration
Workshops
Organization
APSEC 2025 Committees
Organizing Committee
Steering Committee
Track Committees
Technical Track
Early Research Achievements (ERA)
Software Engineering in Practices (SEIP)
Tutorials
Doctoral Symposium
Student Research Competition
Tool Demonstration
Workshops
Contributors
People Index
Search
Series
Series
APSEC 2025
APSEC 2024
APSEC 2023
APSEC 2022
Sign in
Sign up
APSEC 2025
(
series
) /
Sini Chen
APSEC 2025 profile
conf.research.org general profile
ECBS 2023 profile
NASA Formal Methods 2024 profile
Not registered as user
Name:
Sini Chen
Contributions
2025
APSEC
BDafny: A Formal Execution and Verification Framework of the BPMN 2.0 in Dafny
Show activities from other conferences
Share
Using general profile
x
Mon 27 Oct 09:43