Toggle navigation
Sign in
Sign up
conf.researchr.org
/
HUAN ZHANG
conf.researchr.org general profile
ICSE 2026 profile
ICST 2026 profile
Registered user since Wed 4 Feb 2026
Name:
HUAN ZHANG
Affiliation:
Maynooth university
Contributions
2026
ITEQS
Author of Verifying an Elevator Scheduling Control System within the ITEQS 2026-track
FormaliSE
Author of VeriROS: Verifiable ROS2 Navigation Execution Framework within the Research Track-track
Share
x
Mon 18 May 09:05